ML for the working programmer
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Business Process Engineering: Reference Models for Industrial Enterprises
Business Process Engineering: Reference Models for Industrial Enterprises
Communication and Concurrency
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Execution Algorithm for UML Activity Graphs
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Timing Analysis of UML Activity Diagrams
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Semantics of Control-Flow in UML 2.0 Activities
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Semantics of interactions in UML 2.0
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Verifying Interaction Protocol Compliance of Service Orchestrations
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
A formalism for reasoning about UML activity diagrams
Nordic Journal of Computing
A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
Formal definition of syntax and semantics for documenting variability in activity diagrams
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Simplified bi-directional transformation of UML activities into Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Defining variability in activity diagrams and Petri nets
Science of Computer Programming
Hi-index | 0.01 |
The upcoming major revision of the UML (see [OMG 2003b]) 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 (StructuredActivityNodes in the metamodel). This concept includes features like loops, expansion regions, collection valued parameters, and data streaming.Building on substantial previous work by the author, the purpose of this paper is to understand better these new concepts and notations, and actually defines a semantics for them. Since the UML standard is still immature in some parts, this article is restricted to those concepts, for which a reliable interpretation is currently possible. This article is followup to [Störrle 2004d].