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.
Supported by NWO/SION, grant nr. 612-62-02 (DAEMON).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
W.M.P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Advanced workflow patterns. In O. Etzion and P. Scheuermann, editors, Proc. CoopIS 2000, LNCS 1901. Springer, 2000. Workflow pattern home page: http://www.mincom.com/mtrspirt/workflow.
G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Sci. of Comp. Prog., 19(2):87–152, 1992.
C. Bolton and J. Davies. Activity graphs and processes. In W. Grieskamp, T. Santen, and B. Stoddart, editors, Proc. Integrated Formal Methods 2000, LNCS 1945. Springer, 2000.
E. Borger, A. Cavarra, and E. Riccobene. An ASM Semantics for UML Activity Diagrams. In T. Rus, editor, Proc. Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, LNCS 1826. Springer, 2000.
F. Dehne, R. Wieringa, and H. van der Zandschulp. Toolkit for conceptual modeling (TCM) — user’s guide and reference. Technical report, University of Twente, 2000. http://www.cs.utwente.nl/~tcm.
R. Elmasri and S. Navathe. Fundamentals of Database Systems. Benjamins/Cummings, Redwood City, 1989.
R. Eshuis and R. Wieringa. A formal semantics for UML activity diagrams, 2001. Available at http://www.cs.utwente.nl/~eshuis/adsem.ps.
R. Eshuis and R. Wieringa. Requirements-level semantics for UML statecharts. In S.F. Smith and C.L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems IV, pages 121–140. Kluwer Academic Publishers, 2000.
T. Gehrke, U. Goltz, and H. Wehrheim. The dynamic models of UML: Towards a semantics and its application in the development process. Hildesheimer Informatik-Bericht 11/98, 1998.
D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, 1996.
D. Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, editor, Logics and Models of Concurrent Systems, NATO/ASI 13. Springer, 1985.
D. N. Jansen and R. J. Wieringa. Extending CTL with actions and real-time. In Proc. International Conference on Temporal Logic 2000, 2000.
F. Leymann and D. Roller. Production Workflow — Concepts and Techniques. Prentice Hall, 2000.
S. McMenamin and J. Palmer. Essential Systems Analysis. Yourdon Press, New York, New York, 1984.
OMG. Unified Modeling Language version 1.3. OMG, July 1999.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 1992.
D. Wodtke and G. Weikum. A formal foundation for distributed workflow execution based on state charts. In F. N. Afrati and P. Kolaitis, editors, 6th International Conference on Database Theory (ICDT), LNCS 1186. Springer, 1997.
Workflow Management Coalition. Workflow management coalition specification — terminology & glossary (WFMC-TC-1011), 1999. http://www.wfmc.org.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eshuis, R., Wieringa, R. (2001). A Real-Time Execution Semantics for UML Activity Diagrams. In: Hussmann, H. (eds) Fundamental Approaches to Software Engineering. FASE 2001. Lecture Notes in Computer Science, vol 2029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45314-8_7
Download citation
DOI: https://doi.org/10.1007/3-540-45314-8_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41863-4
Online ISBN: 978-3-540-45314-7
eBook Packages: Springer Book Archive