Essential systems analysis
Fundamentals of database systems
Fundamentals of database systems
On the development of reactive systems
Logics and models of concurrent systems
The Z notation: a reference manual
The Z notation: a reference manual
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Requirements-level semantics for UML statecharts
Fourth International Conference on Formal methods for open object-based distributed systems IV
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
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
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
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
An approach to workflow modeling and analysis
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Pitfalls of UML 2 Activity Modeling
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Checking Interaction Consistency in MARMOT Component Refinements
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A method for validating the compliance of business processes to business rules
Proceedings of the 2010 ACM Symposium on Applied Computing
Hi-index | 0.00 |
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that software state changes do not take time. It is based upon the STATEMATE semantics of statecharts, extended with some transactional properties to deal with data manipulation. Our semantics also deals with real-time and multiple state instances. We first give an informal description of our semantics and then formalise this in terms of transition systems.