Skip to main content
SpringerLink
Log in

Use Cases as Workflows

  • Conference paper
  • First Online:
Business Process Management (BPM 2003)

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

Included in the following conference series:

Abstract

In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspects to be modeled: the data aspect and the process aspect of the system. There are many techniques available to describe these aspects but it is always difficult to integrate these views in a consistent way. Last decade two techniques are used frequently in requirements engineering: use cases and workflow models. We show that these techniques can be integrated in a natural way, using the framework of colored Petri nets. We only sketch the underlying formal framework and focus on the practical application of the approach by a case study.

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 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.00
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. Aalst, W. van der: Verification of Workflow Nets. In: Azema, P., Balbo, G. (eds.): Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science, Vol. 1248. Springer-Verlag, Berlin (1997) 407–426

    Google Scholar 

  2. Aalst, W. van der, Desel, J., Oberweis, A.: Business Process Management, Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science, Vol. 1806. Springer-Verlag, Berlin (2000)

    Google Scholar 

  3. Aalst, W.M.P. van der: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, Vol. 8, no. 1 (1998) 21–66

    Article  Google Scholar 

  4. Aalst, W. van der, Hee, K. van: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

    Google Scholar 

  5. Aalst, W. van der, Hee, K. van, Toorn, R. van der: Component-based Software Architectures: a Framework Based on Inheritance of Behavior. Science of Computer Programming, Vol. 42 (2002) 129–171

    Article  MATH  MathSciNet  Google Scholar 

  6. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, Vol. 40. Cambridge University Press (1995)

    Google Scholar 

  7. Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language. 2nd edn. Addison Wesley (2000)

    Google Scholar 

  8. Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag, Berlin (2002)

    Google Scholar 

  9. Hee, K. van: Information Systems Engineering: A Formal Approach. Cambridge University Press (1994)

    Google Scholar 

  10. Hee, K. van, Sidorova, N., Voorhoeve, M.: Soundness and Separability of workflow nets. Submitted for publication

    Google Scholar 

  11. Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic concepts. 2nd corrected printing. Springer-Verlag, Berlin (1997)

    MATH  Google Scholar 

  12. Kindler, E., Martens, A., Reisig, W.: Inter-Operability of Workflow Applications: Local Criteria for Global Soundness. In: Aalst, W. van der, Desel, J., Oberweis, A.: Business Process Management, Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science, Vol. 1806. Springer-Verlag, Berlin (2000) 235–253

    Google Scholar 

  13. Kruchten, P.: The Rational Unified Process: An Introduction. 2nd edn. Addison-Wesley (2000)

    Google Scholar 

  14. Fernandez, E. B., Liu, Y., Pan, R.Y.: Patterns for Internet shops. In: Procs. of PLoP 2001, http://jerry.cs.uiuc.edu/~plop/plop2001/accepted_submissions/PLoP2001/ebfernandez0/PLoP2001_ebfernandez0_1.pdf

  15. Reisig, W.: Petri Nets, An Introduction. Springer-Verlag, Berlin (1985)

    MATH  Google Scholar 

  16. Sommerville, I.: Software Engineering. 6th edn. Addision-Wesley (2000)

    Google Scholar 

  17. Mazza, C., Fairclough, J., Melton, B., de Pablo, D., Scheffer, A., Stevens, R.: ESA Software Engineering Standards. Prentice-Hall (1994)

    Google Scholar 

  18. Verbeek, H., Aalst, W. van der: Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. In: Nielsen, M. Simpson, D.: Procs. 21st International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, Vol. 1825. Springer-Verlag, Berlin (2000) 475–484

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Math. & Comp.Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

    Michel Chaudron, Kees van Hee & Lou Somers

Authors
  1. Michel Chaudron
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kees van Hee
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lou Somers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Technology, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Hasso Plattner Institute for Software Systems Engineering, Potsdam University, Prof.-Dr.-Helmert-Str. 2-3, 14482, Potsdam, Germany

    Mathias Weske

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chaudron, M., van Hee, K., Somers, L. (2003). Use Cases as Workflows. In: van der Aalst, W.M.P., Weske, M. (eds) Business Process Management. BPM 2003. Lecture Notes in Computer Science, vol 2678. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44895-0_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-44895-0_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40318-0

  • Online ISBN: 978-3-540-44895-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation