An ASM Semantics of Token Flow in UML 2 Activity Diagrams

The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are considered for the first time in a comprehensive and rigorous way. The formalisation provides insight into problems with the UML specification, and their solutions. It also serves as a basis for an integrated environment supporting the simulation and debugging of activity diagrams.

[1]  Luis Gomes,et al.  Actions as Activities and Activities as Petri nets , 2003 .

[2]  Peter Liggesmeyer,et al.  Software Engineering 2005 , 2005 .

[3]  Harald Störrle,et al.  Semantics and Verification of Data Flow in UML 2.0 Activities , 2005, VLFM.

[4]  Stefan Sarstedt.  Overcoming The Limitations of Signal Handling when Simulating UML 2 Activity Charts , 2005 .

[5]  Nikolai Tillmann,et al.  Partial Updates: Exploration , 2001, J. Univers. Comput. Sci..

[6]  Angelo Gargantini,et al.  Encoding Abstract State Machines in PVS , 2000, Abstract State Machines.

[7]  Egon Börger,et al.  Abstract State Machines , 2003 .

[8]  Jan Hendrik Hausmann,et al.  Dynamic META modeling: a semantics description technique for visual modeling languages , 2005 .

[9]  Egon Börger,et al.  Abstract State Machines , 2003 .

[10]  Harald Störrle,et al.  Towards a Formal Semantics of UML 2.0 Activities , 2005, Software Engineering.

[11]  Harald Störrle,et al.  Semantics of Control-Flow in UML 2.0 Activities , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[12]  Martin Odersky,et al.  Abstract State Machines - Theory and Applications , 2002, Lecture Notes in Computer Science.

[13]  Audris Kalnins,et al.  Semantics of UML 2.0 activity diagram for business modeling by means of virtual machine , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[14]  Elvinia Riccobene,et al.  An ASM Semantics for UML Activity Diagrams , 2000, AMAST.

[15]  Stefan Sarstedt.  Semantic foundation and tool support for model-driven development with UML 2 activity diagrams , 2006 .

[16]  Kirsten Winter,et al.  Model Checking for Abstract State Machines , 2008, J. Univers. Comput. Sci..

[17]  Conrad E. Bock.  UML 2 Activity and Action Models, Part 4: Object Nodes. , 2004 .

[18]  R. Stärk,et al.  Abstract State Machines , 2003, Springer Berlin Heidelberg.

[19]  Bernhard Rumpe,et al.  T U M I N S T I T U T F ¨ U R I N F O R M A T I K Critical Systems Development with UML - Proceedings of the UML'03 workshop , 2003 .