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)

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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, http://www.xasm.org
  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, http://www.omg.org/cwm/
  6. 6.
    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
  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), http://www.first.gmd.de/ma/asmdtd.html
  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, http://research.microsoft.com/foundations/AsmL/
  11. 11.
    The Object Managment Group (OMG), http://www.omg.org
  12. 12.
    Petri Net Markup Laguage (PNML), http://www.informatik.hu-berlin.de/top/pnml
  13. 13.
    Schmid, J.: AsmGofer, http://www.tydo.de/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), http://www.uml.org
  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