• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Abstract:

Abstract. We provide a rigorous semantics for one of the central diagram types which are used in UML for the description of dynamical system behavior, namely activity diagrams. We resolve for these diagrams some of the ambiguities which arise from dierent interpretations of UML models. Since we phrase our denition in terms of Abstract State Machines, we dene at the same time an interesting subclass of ASMs, oering the possibility to exploit the UML tool support for using these special ASMs in the practice of software design. We apply these Activity Diagram Machines for a succinct denition of the semantics of OCCAM. 1

Citations

No citations identified.