Informatik - Forschung und Entwicklung

, Volume 20, Issue 1–2, pp 90–101

Kommunizierende Workflow-Services modellieren und analysieren

  • Wolfgang Reisig
  • Karsten Schmidt
  • Christian Stahl
Original Article

Zusammenfassung

Zur adäquaten Nutzung von Workflow-Implementierungen kommunizierender Geschäftsprozesse werden Konzepte vorgeschlagen, die von konkreten Implementierungen abstrahieren. Auf der Basis von Petrinetzen werden unterschiedliche Varianten der Bedienbarkeit von Workflows charakterisiert und dafür Entscheidungsalgorithmen vorgestellt. Die Angemessenheit des Ansatzes wird am Beispiel der Semantik von Komponenten der Geschäftsprozess-Modellierungssprache BPEL demonstriert.

Abstract

We consider workflow implementations of communicating business processes. We propose theoretic concepts for their adequate use. Based on a class of Petri nets, we characterize different versions of usability (or controllability) of workflows and present decision procedures for these properties. Through a Petri net semantics for the web service description language BPEL, we link our concepts to a practically relevant domain.

Keywords

Petri nets Open workflow nets Workflow services BPEL Controllability 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 1.
    Aalst W (1998) The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1):21–66Google Scholar
  2. 2.
    Aalst W, Hofstede A, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1):5–51Google Scholar
  3. 3.
    Badouel E, Darondeau P (1998) Theory of regions. LNCS: Lectures on Petri Nets I: Basic Models 1491:529–586Google Scholar
  4. 4.
    Casati F, Ceri S, Pernici B, Pozzi G (1995) Conceptual Modeling of Workflows. In: Papazoglou MP (ed) Proceedings of the OOER’95, 14th International Object-Oriented and Entity-Relationship Modelling Conference, Springer-Verlag, vol 1021, pp 341–354Google Scholar
  5. 5.
    Clarke E, Grumberg O, Jha S, Lu Y, Veith H (2003) Counterexample-guided abstraction refinement for symbolic model checking. J ACM 50(5):752–794Google Scholar
  6. 6.
    Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A (1998) Deriving petri nets from finite transition systems. IEEE Trans Comput 47(8):859–882Google Scholar
  7. 7.
    Curbera F, Goland Y, Klein J, Leymann F, Roller D, Weerawarana S (2003) Business Process Execution Language for Web Services, Version 1.1. Tech. rep., BEA Systems, International Business Machines Corporation, Microsoft CorporationGoogle Scholar
  8. 8.
    Dehnert J, Rittgen P (2001) Relaxed soundness of business processes. LNCS: Advanced Information System Engineering, CAISE 2001 2068:157–170Google Scholar
  9. 9.
    Desel J, Reisig W (1996) The Synthesis Problem of Petri Nets. Acta Informatica 33(4):297–315Google Scholar
  10. 10.
    Fahland D (2005) Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Tech. Rep. 190, Humboldt-Universität zu BerlinGoogle Scholar
  11. 11.
    Farahbod R, Glässer U, Vajihollahi M (2004) Specification and Validation of the Business Process Execution Language for Web Services. In: Abstract State Machines, Springer, LNCS, vol 3052, pp 78–94Google Scholar
  12. 12.
    Ferrara A (2004) Web services: a process algebra approach. In: ICSOC, ACM, pp 242–251Google Scholar
  13. 13.
    Fisteus JA, Fernández LS, Kloos CD (2004) Formal Verification of BPEL4WS Business Collaborations. In: Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web ’04), Springer, LNCSGoogle Scholar
  14. 14.
    Fu X, Bultan T, Su J (2004) Analysis of interacting BPEL web services. In: WWW ’04: Proceedings of the 13th international conference on World Wide Web, ACM Press, pp 621–630Google Scholar
  15. 15.
    Hinz S (2005) Implementation einer Petrinetz-Semantik für BPEL4WS. Diplomarbeit, Humboldt-Universität zu BerlinGoogle Scholar
  16. 16.
    Hinz S, Schmidt K, Stahl C (2005) Transforming BPEL to Petri Nets. In: accepted for Third International Conference on Business Process Management (BPM 2005), Nancy, France, September 2005Google Scholar
  17. 17.
    Hollingsworth D (1995) The workflow reference model. Tech. Rep. TC00-1003, Workflow Management CoalitionGoogle Scholar
  18. 18.
    Foster H, Magee J, Uchitel S, Kramer J (2003) Model-based Verification of Web Service Compositions. In: 18th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, pp 152–163Google Scholar
  19. 19.
    Nielsen M, Rozenberg G, Thiagarajan PS (1992) Elementary transition systems. Theoretical Computer Science 96Google Scholar
  20. 20.
    Oberweis A (1996) Modellierung und Ausführung von Workflows mit Petri-Netzen. Teubner Reihe Wirtschaftsinformatik, B.G. Teubner Verlag, Stuttgart, GermanyGoogle Scholar
  21. 21.
    Schmelzer HJ, Sesselmann W (2004) Geschäftsprozessmanagement in der Praxis, 4th edn. HanserGoogle Scholar
  22. 22.
    Schmidt K (2000) Lola – a low level analyser. In: Nielsen M, Simpson D (eds) International Conference on Application and Theory of Petri Nets, Springer-Verlag, LNCS, vol 1825, p 465 ffGoogle Scholar
  23. 23.
    Schmidt K (2004) Controlability of Business Processes. Tech. Rep. 180, Humboldt-Universität zu BerlinGoogle Scholar
  24. 24.
    Schmidt K, Stahl C (2004) A Petri net semantic for BPEL4WS – validation and application. In: Kindler E (ed) Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN’04), Universität Paderborn, pp 1–6Google Scholar
  25. 25.
    Stahl C (2004) Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universität zu BerlinGoogle Scholar
  26. 26.
    Stahl C (June, 2005) A Petri Net Semantic for BPEL. Tech. Rep. 188, Humboldt-Universität zu BerlinGoogle Scholar
  27. 27.
    Weinberg D (2004) Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universität zu BerlinGoogle Scholar
  28. 28.
    White SA (2004) Business Process Modelling Notation Version 1.0. Tech. rep., Business Process Management Initiative (BPMI)Google Scholar

Copyright information

© Springer-Verlag 2005

Authors and Affiliations

  • Wolfgang Reisig
    • 1
  • Karsten Schmidt
    • 1
  • Christian Stahl
    • 1
  1. 1.Institut für InformatikHumboldt-Universität zu BerlinBerlinDeutschland

Personalised recommendations