A real-time execution semantics for UML activity diagrams

H. Eshuis; Roelf J. Wieringa

doi:10.1007/3-540-45314-8_7

A real-time execution semantics for UML activity diagrams

H. Eshuis, Roelf J. Wieringa

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

17 Citations (Scopus)

1 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	4th International Conference on Fundamental Approaches to Software Engineering FASE 2001
Editors	Heinrich Hussmann
Place of Publication	Berlin/Heidelberg, Germany
Publisher	Springer
Pages	76-90
Number of pages	15
ISBN (Print)	978-3-540-41863-4
DOIs	https://doi.org/10.1007/3-540-45314-8_7
Publication status	Published - Apr 2001
Event	4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001 - Genova, Italy Duration: 2 Apr 2001 → 6 Apr 2001

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2029
ISSN (Print)	0302-9743

Conference

Conference	4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001
Period	2/04/01 → 6/04/01
Other	2-6 Apr 2001

Keywords

SCS-Services
IR-61810
METIS-204972
EWI-10537

Access to Document

10.1007/3-540-45314-8_7

http://eprints.eemcs.utwente.nl/secure2/10537/01/fulltext.pdf

Cite this

@inproceedings{5e9bd04db5bc4d8197ca69691d9337bc,

title = "A real-time execution semantics for UML activity diagrams",

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.",

keywords = "SCS-Services, IR-61810, METIS-204972, EWI-10537",

author = "H. Eshuis and Wieringa, {Roelf J.}",

year = "2001",

month = apr,

doi = "10.1007/3-540-45314-8_7",

language = "Undefined",

isbn = "978-3-540-41863-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "76--90",

editor = "Heinrich Hussmann",

booktitle = "4th International Conference on Fundamental Approaches to Software Engineering FASE 2001",

address = "Germany",

note = "4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001 ; Conference date: 02-04-2001 Through 06-04-2001",

}

Eshuis, H & Wieringa, RJ 2001, A real-time execution semantics for UML activity diagrams. in H Hussmann (ed.), 4th International Conference on Fundamental Approaches to Software Engineering FASE 2001. Lecture Notes in Computer Science, vol. 2029, Springer, Berlin/Heidelberg, Germany, pp. 76-90, 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, 2/04/01. https://doi.org/10.1007/3-540-45314-8_7

A real-time execution semantics for UML activity diagrams. / Eshuis, H.; Wieringa, Roelf J.
4th International Conference on Fundamental Approaches to Software Engineering FASE 2001. ed. / Heinrich Hussmann. Berlin/Heidelberg, Germany: Springer, 2001. p. 76-90 (Lecture Notes in Computer Science; Vol. 2029).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A real-time execution semantics for UML activity diagrams

AU - Eshuis, H.

AU - Wieringa, Roelf J.

PY - 2001/4

Y1 - 2001/4

N2 - 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.

AB - 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.

KW - SCS-Services

KW - IR-61810

KW - METIS-204972

KW - EWI-10537

U2 - 10.1007/3-540-45314-8_7

DO - 10.1007/3-540-45314-8_7

M3 - Conference contribution

SN - 978-3-540-41863-4

T3 - Lecture Notes in Computer Science

SP - 76

EP - 90

BT - 4th International Conference on Fundamental Approaches to Software Engineering FASE 2001

A2 - Hussmann, Heinrich

PB - Springer

CY - Berlin/Heidelberg, Germany

T2 - 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001

Y2 - 2 April 2001 through 6 April 2001

ER -