Back to University of Twente portal
A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models
Eshuis, Rik and Wieringa, Roel (2001) A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 1011Kb |
| Abstract: | In this report we define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our workflow models express software requirements and therefore assume a perfect implementation. In our semantics, 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 with multiple state instances. We first give an informal description of our semantics and then formalise this in terms of labelled transition systems. We compare our semantics with other semantics for UML activity diagrams and workflow modelling by analysing the different choices made in those semantics. |
| Item Type: | Report |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/37504 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 204968