2004 | OriginalPaper | Buchkapitel
Towards an Interchange Language for ASMs
verfasst von : Elvinia Riccobene, Patrizia Scandurra
Erschienen in: Abstract State Machines 2004. Advances in Theory and Practice
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper presents an interchange language for Abstract State Machine (ASM) models based upon a metamodel, called ASM-Metamodel (AsmM), reflecting the ASMs modelling constructs and semantics as described in [4]. The AsmM is intended to be an abstract (i.e. tool’s language independent) representation of ASMs related concepts (abstract machines, signatures, terms, rules, etc.) in order to get a standard interchange format for a systematic integration of a number of a loosely-coupled ASMs tools. The efficacy of the ASM-Metamodel in representing ASMs models is showed by means of some ASM specification examples taken from [4].