Skip to main content
SpringerLink
Log in

An Execution Algorithm for UML Activity Graphs

  • Conference paper
  • First Online:
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (UML 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2185))

Included in the following conference series:

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.

Supported by NWO/SION, grant nr. 612-62-02 (DAEMON).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  3. C. Bolton and J. Davies. Activity graphs and processes. In W. Grieskamp, T. Santen, and B. Stoddart, editors, Proc. IFM2000, LNCS 1945. Springer, 2000.

    Google Scholar 

  4. E. Börger, A. Cavarra, and E. Riccobene. An ASM Semantics for UML Activity Diagrams. In T. Rus, editor, Proc. AMAST 2000, LNCS 1826. Springer, 2000.

    Google Scholar 

  5. H.-E. Eriksson and M. Penker. Business Modeling With UML: Business Patterns at Work. Wiley Computer Publishing, 2000.

    Google Scholar 

  6. R. Eshuis and R. Wieringa. A formal semantics for UML activity diagrams. Technical Report TR-CTIT-01-04, University of Twente, 2001.

    Google Scholar 

  7. R. Eshuis and R. Wieringa. A real-time execution semantics for UML activity diagrams. In H. Hussmann, editor, Proc. FASE 2001, LNCS 2029. Springer, 2001.

    Google Scholar 

  8. P. Grefen and R. Remmerts de Vries. A reference architecture for workflow management systems. Journal of Data & Knowledge Engineering, 27(1):31–57, 1998.

    Article  MATH  Google Scholar 

  9. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, 1996.

    Article  Google Scholar 

  10. I-Logix. Rhapsody. http://www.ilogix.com.

  11. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice Hall, 2000.

    Google Scholar 

  12. J. Lilius and I. Porres Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, Proc. UML’99, LNCS 1723. Springer, 1999.

    Google Scholar 

  13. B. Paech. On the role of activity diagrams in UML. In Jean Bézivin and Pierre-Alain Muller, editors, Proc. UML’98, LNCS 1618. Springer, 1999.

    Google Scholar 

  14. UML Revision Taskforce. OMG UML Specification v. 1.3. Object Management Group, 1999.

    Google Scholar 

  15. Workflow Management Coalition. The workflow reference model (WFMC-TC-1003), 1995. http://www.wfmc.org.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Rik Eshuis & Roel Wieringa

Authors
  1. Rik Eshuis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roel Wieringa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science Database Systems Group, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Martin Gogolla

  2. Telelogic Technologies, P.O. Box 23 20, Fallbrook, CA, 92088, USA

    Cris Kobryn

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Eshuis, R., Wieringa, R. (2001). An Execution Algorithm for UML Activity Graphs. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-45441-1_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42667-7

  • Online ISBN: 978-3-540-45441-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation