A Metamodel-based Language and a Simulation Engine for Abstract State Machines
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
复制标题
基于元模型的语言和抽象状态机仿真引擎
DOI：
10.3217/jucs-014-12-1949
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
P. Scandurra
中科院分区：
文献类型：
--
作者：
A. Gargantini;E. Riccobene;P. Scandurra
在本文中，我们提出了一个具体的文本符号，称为AsmetaL，和一个通用的模拟引擎，称为AsmetaS，抽象状态机（ASM）规范。它们是作为ASMETA（ASMs mETAmodeling）工具集的一部分开发的，ASMETA是一套基于模型驱动工程的元建模方法的ASMs工具。我们简要介绍了ASMETA框架，并讨论了如何利用元建模方法提供的优势开发该语言和模拟器。我们介绍的语言Asmetal用于编写ASM规范，我们提供的Asmetal编码的ASM规范的复杂性不断增加。我们解释了AsmetaS架构，它的内核引擎，以及如何模拟器的ASMETA工具集内的工作。我们将讨论模拟器目前支持的功能以及它是如何被验证的。
In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They have been developed as part of the ASMETA (ASMs mETAmodelling) toolset, which is a set of tools for ASMs based on the metamod- elling approach of the Model-driven Engineering. We briefly present the ASMETA framework, and we discuss how the language and the simulator have been developed exploiting the advantages offered by the metamodelling approach. We introduce the language AsmetaL used to write ASM specifications, and we provide the AsmetaL encoding of ASM specifications of increasing complexity. We explain the AsmetaS ar- chitecture, its kernel engine, and how the simulator works within the ASMETA tool set. We discuss the features currently supported by the simulator and how it has been validated.