A real-time execution semantics for UML activity diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2029, Issue , 2001, Pages 76-90

  Eshuis, Rik ^a   Wieringa, Roel ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS; SEMANTICS;

DATA MANIPULATIONS; EXECUTION SEMANTICS; MULTIPLE STATE; REAL TIME EXECUTION; TRANSACTIONAL PROPERTIES; TRANSITION SYSTEM; UML ACTIVITY DIAGRAMS; WORKFLOW MODELLING;

SOFTWARE ENGINEERING;

EID: 84944272444     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45314-8_7     Document Type: Article

References (19)

1. 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.
2. 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.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Sci. of Comp. Prog., 19(2):87-152, 1992.
4. C. Bolton and J. Davies. Activity graphs and processes. In W. Grieskamp, T. San- ten, and B. Stoddart, editors, Proc. Integrated Formal Methods 2000, LNCS 1945. Springer, 2000.
5. 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.
6. F. Dehne, R. Wieringa, and H. van de Zandschulp. Toolkit for conceptual modeling (TCM) — user’s guide and reference. Technical report, University of Twente, 2000. http://www.cs.utwente.nl/~tcm.
7. R. Elmasri and S. Navathe. Fundamentals of Database Systems. Benjamins/Cummings, Redwood City, 1989.
8. R. Eshuis and R. Wieringa. A formal semantics for UML activity diagrams, 2001. Available at http://www.cs.utwente.nl/~eshuis/adsem.ps.
9. 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.
10. 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.
11. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996.
12. 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.
13. D. N. Jansen and R. J. Wieringa.Extending CTL with actions and real-time. In Proc. International Conference on Temporal Logic 2000, 2000.
14. F. Leymann and D. Roller. Production Workflow — Concepts and Techniques. Prentice Hall, 2000.
15. S. McMenamin and J. Palmer.Essential Systems Analysis. Yourdon Press, New York, New York, 1984.
16. OMG. Unified Modeling Language version 1.3. OMG, July 1999.
17. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 1992.
18. 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.
19. Workflow Management Coalition. Workflow management coalition specification — terminology & glossary (WFMC-TC-1011), 1999. http://www.wfmc.org