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