Advertisement

Pattern Based Workflow Design Using Reference Nets

  • Daniel Moldt
  • Heiko Rölke
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2678)

Abstract

The development of workflow applications requires satisfactory concepts and tools. Workflow patterns cover the conceptual part. To base the patterns on high-level Petri nets allows for the tight integration of the modelling editor with the actual execution engine. The development process of workflow applications gains from this.

We propose to use Reference nets as the modelling technique, Renew as the basic execution engine, and our workflow modelling tool for the design of workflows. The latter is a plug-in for the Renew editor, which is based on the use of workflow patterns. The development process is based on prototyping.

Keywords

IDE high-level Petri nets nets within nets patterns Reference nets Renew workflow workflow patterns 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Workflow management coalition homepage. URL: http://www.wfmc.org/, 2003.
  2. 2.
    Workflow pattern homepage. URL: http://tmitwww.tm.tue.nl/research/patterns/, 2003.
  3. 3.
    Workflow reference model. URL: http://www.wfmc.org/standards/docs/tc003v11.pdf, 2003.
  4. 4.
    Wil M.P. van der Aalst. Verification of workflow nets. Number 1248 of Lecture Notes in Computer Science, pages 407–426, Springer Verlag, Berlin, 1997.Google Scholar
  5. 5.
    Wil M.P. van der Aalst. WOFLAN: A Petri-net-based workflow analyser. In International Conference on Application and Theory of Petri Nets in Lisbon 1998, number 1420 in Lecture Notes in Computer Science, Springer Verlag, Berlin, 1998.Google Scholar
  6. 6.
    Wil M.P. van der Aalst, Jörg Desel, and Andreas Oberweis (Eds.). Business Process Management: Models, Techniques, and Empirical Studies. Number 1806 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000.Google Scholar
  7. 7.
    Wil M.P. van der Aalst, Daniel Moldt, Rüdiger Valk, and Frank Wienberg. Enacting Interorganizational Workflows Using Nets in Nets. In J. Becker, M. zur Mühlen, and M. Rosemann (Eds.), Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, Working Paper Series of the Department of Information Systems, pages 117–136, University of Münster, Department of Information Systems, Münster, 1999. Working Paper No. 70.Google Scholar
  8. 8.
    Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In Kurt Jensen (Ed.), Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1–20, Aarhus, Denmark, August 2002. University of Aarhus.Google Scholar
  9. 9.
    Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. YAWL: Yet Another Workflow Language. QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002.Google Scholar
  10. 10.
    Søren Christensen and Niels Damgaard Hansen. Coloured Petri nets extended with channels for synchronous communication. In Robert Valette (Ed.), Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994, LNCS, pages 159–178, Springer Verlag, Berlin, June 1994.Google Scholar
  11. 11.
    Thomas Jacob, Olaf Kummer, and Daniel Moldt. Persistent Petri Net Execution. Petri Net Newsletter, 61:18–26, October 2001.Google Scholar
  12. 12.
    Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche. Implementation of Workflow Systems using Reference Nets — Security and Operability Aspects. pages 139–154, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark, 2002. Computer Science Department, University of Aarhus. see also: http://www.daimi.au.dk/CPnets/workshop02/cpn/papers/.
  13. 13.
    Kurt Jensen. Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1992.zbMATHGoogle Scholar
  14. 14.
    Eike Jessen and Rüdiger Valk. Rechensysteme; Grundlagen der Modellbildung. Springer Verlag, Berlin, 1987.Google Scholar
  15. 15.
    Michael Köhler and Heiko Rölke. Mobile object net systems: Concurrency and mobility. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke (Eds.), Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), 2002.Google Scholar
  16. 16.
    Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis (Eds.), Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 73–78. University of Dortmund, Computer Science Department, 1998.Google Scholar
  17. 17.
    Olaf Kummer. Referenznetze. Dissertation, University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2002.Google Scholar
  18. 18.
    Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew-User Guide. University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 1.6 edition, 2002.Google Scholar
  19. 19.
    Stefan Müller-Wilken. Mobile Geräte in verteilten Anwendungsumgebungen: Ein Integrationsansatz zwischen Abstraktion und Migration. Dissertation, University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2002.Google Scholar
  20. 20.
    Stefan Müller-Wilken, Frank Wienberg, and Wilfried Lamersdorf. On integrating mobile devices into a workflow management scenario.In A. Al-Zobaidie, A. M. Tjoa, and R. R. Wagner (Eds.), Proc. 11th International Workshop on Database and Expert Systems Applications (DEXA 2000), pages 186–192, Hamburg, October 2000. IEEE Computer Society.Google Scholar
  21. 21.
    Daniel Moldt. Using workflows to structure systems based on object-oriented coloured Petri nets. In J. Desel, A. Oberweis, W. Reisig, and G. Rozenberg (Eds.), Petri Nets and Business Process Management, number 217 in Dagstuhl Seminar-Report, Saarbrücken, 1998.Google Scholar
  22. 22.
    Wolfgang Reisig. Petri Nets: An Introduction. Springer Verlag, Berlin, 1985.zbMATHGoogle Scholar
  23. 23.
    Wolfgang Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80(1–2):1–34, 1991.zbMATHCrossRefMathSciNetGoogle Scholar
  24. 24.
    Renew homepage. URL: http://www.renew.de, University of Hamburg, Department for Computer Science, Vogt-Köolln Str. 30, 22527 Hamburg, Germany, 2003.
  25. 25.
    Rüdiger Valk. Concurrency in communicating object Petri nets. In G. Agha, F. De Cindio, and G. Rozenberg (Eds.), Concurrent Object-Oriented Programming and Petri Nets, number 2001 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 2001.CrossRefGoogle Scholar
  26. 26.
    Rüdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In Jörg Desel (Ed.), 19th International Conference on Application and Theory of Petri nets, number 1420 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1998.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Daniel Moldt
    • 1
  • Heiko Rölke
    • 1
  1. 1.Computer Science DepartmentUniversity of HamburgHamburg

Personalised recommendations