UNIVERSITÄTSBIBLIOTHEK

An Introduction to Abstract State Machines

  • This report explains basic notions and concepts of Abstract State Machines (ASM) as well as notation for defining ASM models. The objective here is to provide an intuitive understanding of the formalism; for a rigorous definition of the mathematical foundations of ASM, the reader is referred to [2] and [3]. Further references on ASM-related material can be found on the ASM Web Pages [1].

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
URN (permanent link):urn:nbn:de:hbz:386-kluedo-49314
Serie (Series number):Interner Bericht des Fachbereich Informatik (326)
Document Type:Report
Language of publication:English
Publication Date:2017/10/24
Year of Publication:2003
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/24
Number of page:19
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)