Towards an Interchange Language for ASMs

  • Elvinia Riccobene
  • Patrizia Scandurra
Conference paper

DOI: 10.1007/978-3-540-24773-9_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3052)
Cite this paper as:
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

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.

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