@inproceedings{78c740ed3d054b1eb0d6bc307d7e7268,
title = "An Execution Algorithm for UML Activity Graphs",
abstract = "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.",
keywords = "IR-61809, SCS-Services, EWI-10536, METIS-204959",
author = "H. Eshuis and Wieringa, {Roelf J.}",
year = "2001",
month = oct,
doi = "10.1007/3-540-45441-1_5",
language = "Undefined",
isbn = "978-3-540-42667-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "47--61",
editor = "Martin Gogolla and Cris Kobryn",
booktitle = "4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001)",
address = "Germany",
note = "Modeling Languages, Concepts and Tools 4th International Conference ; Conference date: 01-10-2001 Through 05-10-2001",
}