The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A reference architecture for workflow management systems
Data & Knowledge Engineering
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Business Modeling With UML: Business Patterns at Work
Business Modeling With UML: Business Patterns at Work
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
On the Role of Activity Diagrams in UML - A User Task Centered Development Process for UML
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
A unified approach to code generation from behavioral diagrams
Languages for system specification
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Support for early verification of embedded real-time systems through UML models simulation
ACM SIGOPS Operating Systems Review
Hi-index | 0.00 |
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define how components of a workflow system execute an activity graph. The semantics stays close to the semantics of UML state machines, but differs from it in some minor points. Our semantics deals with real time. The semantics provides a basis for verification of UML activity graphs, for example using model checking, and also for executing UML activity graphs using simulation tools. We illustrate an execution by means of a small example.