KIT | KIT-Bibliothek | Impressum | Datenschutz

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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/2322000
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2000
Sprache Englisch
Identifikator ISSN: 1432-7864
urn:nbn:de:swb:90-AAA23220003
KITopen-ID: 2322000
Verlag Universität Karlsruhe (TH)
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