×

图形扩展BNF中形式元建模的制度理论。 (英语) Zbl 1251.68080号

概要:元建模在模型驱动的软件开发中起着重要作用。本文提出了BNF的图形扩展(GEBNF),以定义图形建模语言的抽象语法。根据GEBNF语法定义,可以引入形式谓词逻辑语言,以便通过在语法有效模型的域上指定谓词来正式执行元建模。在本文中,我们研究了这种元建模方法的理论基础。我们形式化地定义了GEBNF及其诱导谓词逻辑语言的语义,然后应用Goguen和Burstall的制度理论证明了它们构成了一种合理有效的元建模形式化规范语言。

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
60年第68季度 规范和验证(程序逻辑、模型检查等)

软件:

HOL-OCL公司
PDF格式BibTeX公司 XML格式引用