A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
复制标题
UML类和序列图抽象语法的继承类型化属性图文法
DOI：
10.1016/j.entcs.2008.04.048
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
G. Taentzer
中科院分区：
文献类型：
--
作者：
F. Hermann;H. Ehrig;G. Taentzer
根据UML标准2.0，类图和序列图是通过MOF元模型和半形式化约束以描述性的方式定义的。本文基于定义良好的带继承和应用条件的类型化属性图转换理论，给出了UML类图和序列图抽象语法的形式化构造性定义。生成的语言涵盖了UML图的这些部分的所有重要特征，并通过构造来满足所有相应的约束。一个显式的模型转换演示了UML类图和序列图的图语法和MOF定义之间的紧密对应。图形语法验证良好建立的基准测试表明，所有重要的功能的MOF定义的UML覆盖。UML类和序列图的这种形式化的构造性语法定义是语法指导编辑、形式化分析、形式化操作和指称语义以及模型转换正确性的基础。
According to the UML Standard 2.0 class and sequence diagrams are defined in a descriptive way by a MOF meta-model and semi-formal constraints. This paper presents a formal and constructive definition of the abstract syntax of UML class and sequence diagrams based on the well-defined theory of typed attributed graph transformation with inheritance and application conditions. The generated language covers all important features of these parts of UML diagrams and is shown to satisfy all of the corresponding constraints by construction. An explicit model transformation demonstrates the close correspondence between the graph grammar and the MOF definition of UML class and sequence diagrams. The graph grammar is validated by well-established benchmarks showing that all important features of the MOF definition of UML are covered. This formal constructive syntax definition of UML class and sequence diagrams is the basis for syntax directed editing, formal analysis, formal operational and denotational semantics and correctness of model transformations.