This site is dedicated to the Abstract State Machine Metamodel (AsmM, in brief), a metamodel for the Abstract State Machines (ASMs) formal method developed by following the guidelines of the Model-Driven Engineering (MDE).
We exploit the metamodelling approach suggested by MDE to achieve the goals of developing a unique notation for ASM, a notation independent from any specific implementation syntax and allowing a more direct encoding of the ASM mathematical concepts and constructs, and tacking the problem of ASM tool interoperability.
The AsmM can be seen as a pivot metamodel towards a definition of a standard family of languages for the ASMs and a systematic integration of ASM tools. Through metamodels and model transformations, the metamodel of each tool (usually not given explicitly, but is built-in into the tool that provide it) is linked to those of other tools by the logical pivot metamodel which abstracts a certain number of general concepts about ASMs.
The AsmM is defined by using EMF, the modelling framework proposed by eclipse. It was originally has been defined by using the MOF (v. 1.4) meta-language of the Object Management Group (OMG) framework.
The AsmM definition comprises:
For the metamodel semantics, we adopt the ASMs semantics given in the ASM book.
A standard AsmM Library containing predefined ASM domains and functions is also provided.
Asmeta tool set
Around the AsmM we have developed and we are developing a set of tools:
Jul 11: we present the SCA-ASM modeling language at the EUROMICRO SEAA 2011
Apr 10: we present the asmeta model advisor at the NFM 2010