A real-time execution semantics for UML activity diagrams


Eshuis, Rik and Wieringa, Roel (2001) A real-time execution semantics for UML activity diagrams. In: 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, 2-6 Apr 2001, Genova, Italy (pp. pp. 76-90).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract: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.
Item Type:Conference or Workshop Item
Copyright:© 2001 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61810
Official URL:https://doi.org/10.1007/3-540-45314-8_7
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 204972