Unified Syntax for Abstract State Machines

  • Paolo Arcaini
  • Silvia Bonfanti
  • Marcel Dausend
  • Angelo Gargantini
  • Atif Mashkoor
  • Alexander Raschke
  • Elvinia Riccobene
  • Patrizia Scandurra
  • Michael Stegmaier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9675)

Abstract

The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and verification tools.

References

  1. 1.
    Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Experience 41, 155–166 (2011)CrossRefGoogle Scholar
  2. 2.
    Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)CrossRefMATHGoogle Scholar
  3. 3.
    Dausend, M., Stegmaier, M., Raschke, A.: Debugging abstract state machine specifications: an extension of coreASM. In: Proceedings of the Posters and Tool Demos Session, iFM 2012 and ABZ 2012. pp. 21–25 (2012)Google Scholar
  4. 4.
    Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae 77(1–2), 71–104 (2007)MathSciNetMATHGoogle Scholar
  5. 5.
    Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14(12), 1949–1983 (2008)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Paolo Arcaini
    • 2
  • Silvia Bonfanti
    • 3
  • Marcel Dausend
    • 1
  • Angelo Gargantini
    • 3
  • Atif Mashkoor
    • 4
  • Alexander Raschke
    • 1
  • Elvinia Riccobene
    • 5
  • Patrizia Scandurra
    • 3
  • Michael Stegmaier
    • 1
  1. 1.Ulm UniversityUlmGermany
  2. 2.Faculty of Mathematics and PhysicsCharles University in PraguePragueCzech Republic
  3. 3.Università degli Studi di BergamoBergamoItaly
  4. 4.Software Competence Center HagenbergHagenberg im MühlkreisAustria
  5. 5.Università degli Studi di MilanoMilanoItaly

Personalised recommendations