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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

UML Activity Diagrams


Citation: E. Börger, A. Cavarra, and E. Riccobene, "An ASM Semantics for UML Activity Diagrams", in Teodor Rus, ed., Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, Springer LNCS 1816, 2000, 293--308.
Summary: ASMs are used to provide semantics for activity diagrams in UML, defining a special subclass of ASMs appropriate to modeling such diagrams.
Subjects: Other Models of Computation
Download: PostScript, PDF, Compressed PostScript.
Notes: (Courtesy of Springer-Verlag.)
[an error occurred while processing this directive]