穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 在莫德原型化SOS元理论。 （英语） Zbl 1273.68212号 Peter Mosses等人，《结构操作语义学第二次研讨会论文集》（SOS 2005），葡萄牙里斯本，2005年7月10日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》156，第1期，135-150（2006）。 摘要：我们用Maude术语重写语言展示了SOS元理论的原型实现。原型定义了莫德SOS元理论的基本概念（例如，转换公式、演绎规则和转换系统规范）。除了基本定义之外，我们还实现了在这个框架中检查一些SOS元理论前提（例如GSOS同余元理论）的方法。此外，我们定义了一个通用策略，用于为元语言中的语义规范设置程序和模型的动画。这一系列研究的总体目标是开发一个通用工具，通过检查定义中的语言的有用属性，并提供一个快速原型环境，以便根据定义的语义仔细检查程序的实际行为，从而帮助语言设计者。关于整个系列，请参见[Zbl 1272.68031号]. 引用于3文件 MSC公司： 68问题55 计算理论中的语义学 68号30 软件工程的数学方面（规范、验证、度量、需求等） 2012年第68季度 语法和重写系统 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：米兰达;莱索斯;莫德 PDF格式BibTeX公司 XML格式引用 \textit{M.R.穆萨维}和\textit{M.A.雷尼尔}，电子。注释Theor。计算。科学。156，第1号，135-150（2006；Zbl 1273.68212） 全文： 链接