Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation
Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation
复制标题
多范式建模和仿真的基础：计算机自动化多范式建模：元建模和图转换
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
J. Lara
中科院分区：
文献类型：
--
作者：
H. Vangheluwe;J. Lara
我们提出了基于元建模和图转换的模型驱动开发的计算机自动化多范式建模（CAMPaM）（Mosterman和Vangheluwe 2002）。感兴趣的一类模型的语法是图形化的元建模在一个适当的形式主义，如语义关系图。从这种描述的抽象语法，具体的（视觉）语法信息增强，一个交互式的，可视化的建模环境自动生成。由于模型的抽象语法（不管它们是以何种形式描述的）是类似于图的，因此可以使用图重写来执行模型转换。因此，图形语法模型允许模型转换规范。图形语法形式主义可以在其自身的权利元建模，因此，也可以自动生成用于操纵转换模型的可视化环境。图重写为指定和分析模型转换（如简化、模拟和代码生成）提供了严格的基础。在这篇文章中，我们介绍了ATOM<sup>3</sup>，一个多形式主义和元建模的工具。我们通过一个简单的反应式系统的例子：交通灯的时间自动机模型的元建模和图形转换的概念。元建模时间自动机，生成可视化建模环境，并建模转换为图形语法，以及执行它们，都在AToM<sup>3</sup>环境中执行。模型转换包括仿真、转换为时间变迁Petri网和代码生成。
We present Computer Automated Multi-Paradigm Modelling (CAMPaM) (Mosterman and Vangheluwe 2002) for Model-Driven Development based on Meta-Modelling and Graph Transformation. The syntax of a class of models of interest is graphically meta-modelled in an appropriate formalism such as Entity-Relationship Diagrams. From this description of abstract syntax, augmented with concrete (visual) syntax information, an interactive, visual modelling environment is automatically generated. As the abstract syntax of models, irrespective of the formalism they are described in, is graph-like, graph rewriting can be used to perform model transformation. Graph Grammar models thus allow for model transformation specification. The Graph Grammar formalism can be meta-modelled in its own right and hence a visual environment for manipulating transformation models can also be automatically generated. Graph rewriting provides a rigourous basis for specifying and analyzing model transformations such as simplification, simulation, and code generation. In this article, we introduce AToM<sup>3</sup>, A Tool for Multi-formalism and Meta-Modelling. We present the meta-modelling and graph transformation concepts through a simple reactive system example: a Timed Automata model of a traffic light. Meta-modelling Timed Automata, generating the visual modelling environment, and modelling transformations as graph grammers, as well as executing them, are all performed in the AToM<sup>3</sup> environment. The model transformations include simulation, transformation into Timed Transition Petri Nets, and code generation.