Abstract
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].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
OMG, The Meta Object Facility Specification, document formal/2002-04-03, version 1.4
Varró, G., Pataricza, A., Varró, D.: Towards an XMI-based Model Interchange Format for Graph Transformation Systems. Technical report, Budapest University of Technology and Economics Department of Measurement and Information Systems (2000)
Anlauff, M., Kutter, P.: Xasm: The Open Source ASM Language, http://www.xasm.org
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
OMG, The Common Warehouse Metamodel, http://www.omg.org/cwm/
Del Castillo, G.: The ASM Workbench, a general-purpose ASM tool set based on the ASM-SL language, http://www.uni-paderborn.de/fachbereich/AG/rammig/DE/gruppe/giusp/workbench/index.html
Bézivin, J., Breton, E.: Towards an Understanding of Model Executability. In: Proc. FOIS 2001 (2001)
Huggins, J., Janneck, J., Schmid, J., Schulte, W., Anlauff, M., Del Castillo, G.: The ASM-Interchange Format XML Document Type Definition (ASM-DTD), http://www.first.gmd.de/ma/asmdtd.html
OMG, Response to the UML 2.0 OCL RfP (ad/2000-09-03), Document ad/2003- 01-07, version 1.6
Microsoft Research Foundations of Software Engineering Group. AsmL: The Abstract State Machine Language, http://research.microsoft.com/foundations/AsmL/
The Object Managment Group (OMG), http://www.omg.org
Petri Net Markup Laguage (PNML), http://www.informatik.hu-berlin.de/top/pnml
Schmid, J.: AsmGofer, http://www.tydo.de/AsmGofer
Taentzer, G.: Towards common exchange formats for graphs and graph transformation systems. In: Padberg, J. (ed.) UNIGRA 2001: Uniform Approaches to Graphical Process Speci0cation Techniques (2001)
OMG, The Unified Modeling Language (UML), http://www.uml.org
OMG, XML Metadata Interchange (XMI) Specification, v1.2
OMG, XML Metadata Interchange (XMI) Specification, v2.0
W3C, The Extensible Markup Language (XML)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Riccobene, E., Scandurra, P. (2004). Towards an Interchange Language for ASMs. In: Zimmermann, W., Thalheim, B. (eds) Abstract State Machines 2004. Advances in Theory and Practice. ASM 2004. Lecture Notes in Computer Science, vol 3052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24773-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-24773-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22094-7
Online ISBN: 978-3-540-24773-9
eBook Packages: Springer Book Archive