Skip to main content
SpringerLink
Log in

Unified Syntax for Abstract State Machines

  • Conference paper
  • First Online:
Book cover Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,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.

The research reported in this paper has been partly supported by the Charles University research funds PRVOUK, and by the Austrian Ministry for Transport, Innovation and Technology, the Federal Ministry of Science, Research and Economy, and the Province of Upper Austria in the frame of the COMET center SCCH.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The syntax of our language definition is conform to the W3C EBNF notation.

  2. 2.

    We use the web service http://www.bottlecaps.de/rr/ui.

  3. 3.

    https://github.com/uasm/uasm-reference-parser.

References

  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)

    Article  Google Scholar 

  2. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  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. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae 77(1–2), 71–104 (2007)

    MathSciNet  MATH  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Ulm University, Ulm, Germany

    Marcel Dausend, Alexander Raschke & Michael Stegmaier

  2. Faculty of Mathematics and Physics, Charles University in Prague, Prague, Czech Republic

    Paolo Arcaini

  3. Università degli Studi di Bergamo, Bergamo, Italy

    Silvia Bonfanti, Angelo Gargantini & Patrizia Scandurra

  4. Software Competence Center Hagenberg, Hagenberg im Mühlkreis, Austria

    Atif Mashkoor

  5. Università degli Studi di Milano, Milano, Italy

    Elvinia Riccobene

Authors
  1. Paolo Arcaini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Silvia Bonfanti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marcel Dausend
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Angelo Gargantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Atif Mashkoor
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Alexander Raschke
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Elvinia Riccobene
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Patrizia Scandurra
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Michael Stegmaier
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Paolo Arcaini .

Editor information

Editors and Affiliations

  1. University of Southampton, Southampton, United Kingdom

    Michael Butler

  2. Software Competence Center, Hagenberg, Austria

    Klaus-Dieter Schewe

  3. Software Competence Center, Hagenberg, Austria

    Atif Mashkoor

  4. Software Competence Center, Hagenberg, Austria

    Miklos Biro

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Arcaini, P. et al. (2016). Unified Syntax for Abstract State Machines. In: Butler, M., Schewe, KD., Mashkoor, A., Biro, M. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2016. Lecture Notes in Computer Science(), vol 9675. Springer, Cham. https://doi.org/10.1007/978-3-319-33600-8_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-33600-8_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-33599-5

  • Online ISBN: 978-3-319-33600-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation