标签： lightning-workbench f-alloy
初始化steps.fals时的语义部分应该选择哪个部分作为源模块和目标模块 - 抽象或具体语法？
答案 0 :(得分：0)
通常，语义在Lightning中定义为从/到语义域模型的内生转换