Semantics of Structured Nodes in UML 2 . 0 Activities

The recent major revision of the UML [21] has introduced significant changes and additions to “ the lingua franca of Software Engineering ”. Within the UML, Activity Diagrams are particularly prominent, since they are the natural choice when it comes to the modeling of web-services, workflows, and service-oriented architectures. One of the most novel concepts introduced are so called structured nodes (including loops, collection parameters, and streaming). Building on [29–32], this paper explores the meaning of StructuredActivityNodes, as it is called in the metamodel, by defining them mathematically in terms of procedural colored Petri nets.

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

[2]  Harald Störrle,et al.  Trace Semantics of Interactions in UML 2.0 , 2004 .

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

[4]  Astrid Kiehn,et al.  A structuring mechanism for Petri nets , 1989 .

[5]  Harald Störrle.  Semantics of interactions in UML 2.0 , 2003, HCC.

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Rik Eshuis,et al.  Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets , 2003, Petri Net Technology for Communication-Based Systems.

[8]  Paulo Pinheiro da Silva.  A Proposal for a LOTOS-Based Semantics for UML , 2001 .

[9]  Samuil Angelov,et al.  Petri Net Technology for Communication-Based Systems , 2003, Lecture Notes in Computer Science.

[10]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[11]  Harald Störrle,et al.  Towards a Petri-net Semantics of Data Flow in UML 2 . 0 Activities , 2004 .

[12]  Jim Davies,et al.  Activity Graphs and Processes , 2000, IFM.

[13]  Rik Eshuis,et al.  Verification support for workflow design with UML activity graphs , 2002, ICSE '02.

[14]  Rik Eshuis,et al.  An Execution Algorithm for UML Activity Graphs , 2001, UML.

[15]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[16]  Rik Eshuis,et al.  A Real-Time Execution Semantics for UML Activity Diagrams , 2001, FASE.

[17]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[18]  Ludovic Apvrille,et al.  A New UML Profile for Real-Time System Formal Design and Validation , 2001, UML.

[19]  Guoliang Zheng,et al.  Timing Analysis of UML Activity Diagrams , 2001, UML.

[20]  Harald Sẗorrle Ludwig-Maximilians-Universiẗat.  Semantics of Exceptions in UML 2 . 0 Activities , 2004 .

[21]  Dorina C. Petriu,et al.  Consistent Behaviour Representation in Activity and Sequence Diagrams , 2000, UML.

[22]  Roberto W. S. Rodrigues.  Formalising UML Activity Diagrams using Finite State Processes , 2000 .

[23]  Rik Eshuis,et al.  A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models , 2001 .