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.

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