KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA23220003

Embedding ASMs into state transition diagrams

Sattler, Theo; Ahrendt, Wolfgang

Abstract:
This report relates Abstract State Machines (ASMs)
with a particular diagram type of UML, the
Sate Transition Diagrams (STDs).
The principles of translating ASMs
into STDs are discussed and demonstrated in four case studies.


Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Forschungsbericht
Jahr 2000
Sprache Englisch
Identifikator ISSN: 1432-7864

KITopen-ID: 2322000
Verlag Karlsruhe
Umfang 23 S.
Serie Interner Bericht. Universität Karlsruhe, Fakultät für Informatik ; 2000,20
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page