[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

UML State Machines


Citation: Kevin Compton, James K. Huggins, and Wuwei Shen, "A Semantic Model for the State Machine in the Unified Modeling Language". In Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, and Roel Wieringa, eds., "Dynamic Behaviour in UML Models: Semantic Questions", Workshop Proceedings, UML 2000 Workshop, Ludwig-Maximilians-Universität München, Institut für Informatik, Bericht 0006, October 2000, 25-31.
Summary: ASMs are used to give semantics for UML state machines.
Subjects: Other Models of Computation
Download: From Jim Huggins' home page in PostScript.
Notes: More details are given in the full paper.
[an error occurred while processing this directive]