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].
Verfasser*innenangaben: | Uwe Glässer, Reinhard Gotzhein, Andreas Prinz |
---|---|
URN: | urn:nbn:de:hbz:386-kluedo-49314 |
Schriftenreihe (Bandnummer): | Interner Bericht des Fachbereich Informatik (326) |
Dokumentart: | Bericht |
Sprache der Veröffentlichung: | Englisch |
Datum der Veröffentlichung (online): | 24.10.2017 |
Jahr der Erstveröffentlichung: | 2003 |
Veröffentlichende Institution: | Technische Universität Kaiserslautern |
Datum der Publikation (Server): | 24.10.2017 |
Seitenzahl: | 19 |
Fachbereiche / Organisatorische Einheiten: | Kaiserslautern - Fachbereich Informatik |
DDC-Sachgruppen: | 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik |
Lizenz (Deutsch): | Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0) |