Towards an Interchange Language for ASMs

  • Elvinia Riccobene
  • Patrizia Scandurra
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3052)


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].


Object Constraint Language Abstract Syntax Object Managment Group Concrete Syntax Abstract Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    OMG, The Meta Object Facility Specification, document formal/2002-04-03, version 1.4Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Anlauff, M., Kutter, P.: Xasm: The Open Source ASM Language,
  4. 4.
    Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)MATHGoogle Scholar
  5. 5.
    OMG, The Common Warehouse Metamodel,
  6. 6.
    Del Castillo, G.: The ASM Workbench, a general-purpose ASM tool set based on the ASM-SL language,
  7. 7.
    Bézivin, J., Breton, E.: Towards an Understanding of Model Executability. In: Proc. FOIS 2001 (2001)Google Scholar
  8. 8.
    Huggins, J., Janneck, J., Schmid, J., Schulte, W., Anlauff, M., Del Castillo, G.: The ASM-Interchange Format XML Document Type Definition (ASM-DTD),
  9. 9.
    OMG, Response to the UML 2.0 OCL RfP (ad/2000-09-03), Document ad/2003- 01-07, version 1.6 Google Scholar
  10. 10.
    Microsoft Research Foundations of Software Engineering Group. AsmL: The Abstract State Machine Language,
  11. 11.
    The Object Managment Group (OMG),
  12. 12.
    Petri Net Markup Laguage (PNML),
  13. 13.
    Schmid, J.: AsmGofer,
  14. 14.
    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)Google Scholar
  15. 15.
    OMG, The Unified Modeling Language (UML),
  16. 16.
    OMG, XML Metadata Interchange (XMI) Specification, v1.2 Google Scholar
  17. 17.
    OMG, XML Metadata Interchange (XMI) Specification, v2.0 Google Scholar
  18. 18.
    W3C, The Extensible Markup Language (XML)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Elvinia Riccobene
    • 1
  • Patrizia Scandurra
    • 1
  1. 1.Dipartimento di Matematica e InformaticaUniversità di CataniaCataniaItaly

Personalised recommendations