Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

UML and Generic Behaviors


Citation: Ileana Ober, Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics. PhD thesis, Institut National Polytechnique de Toulouse, April 2001.
Summary: Extensions to SDL and UML, each inspired by the other language, are defined and analyzed. The UML extensions, concerning a generic behavior description mechanism based on UML actions, are given formal semantics by ASMs.
Subjects: UML
Download: See Ileana Ober's thesis page.
Notes: