如何快速开始使用伊莎贝尔的正式语言标准来正式描述建模语言？
如何快速开始使用伊莎贝尔的正式语言标准来正式描述建模语言？
提问于 2020-05-01 08:21:06
我目前正致力于解决模型转换的正确性问题，。我读了很多文章，发现伊莎贝尔定理证明器是解决这个问题的好选择。现在我想用伊莎贝尔定理证明器进行分析和验证。但是我不知道如何用伊莎贝尔自己的语言标准来形式化我的建模语言(包括源模型、目标模型、转换本身)。换句话说，我想快速学习伊莎贝尔的正式语言来描述我的建模语言。我在官方网站上下载了很多文档，但我无法确定如何快速开始。我希望这一领域的研究人员能给初学者一些建议，非常感谢。
回答 1
Stack Overflow用户
回答已采纳
发布于 2020-05-01 15:14:14
我推荐具体的语义学书：
http://concrete-semantics.org/
它教您如何在Isabelle中建模一种小型编程语言，以及如何指定它的语义。
我想这种方法对于建模语言来说是相似的。
1.使用代数数据类型描述源语言和目标语言的抽象语法。2.定义两种语言的语义。3.将转换定义为函数。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/61539040
复制相关文章
相似问题
腾讯云开发者
