Properties of Business Processes

  • Mathias WeskeEmail author


Properties of business processes are investigated in Chapter 6. After investigating the role of data in business processes, the discussion is extended to data objects that contain behaviour. In particular, the relationships between object lifecycles and business processes are investigated, introducing the notion of object lifecycle conformance. In the second part of that chapter, soundness criteria are discussed, ranging from classical soundness to advanced concepts like relaxed soundness and lazy soundness. An overview of the relationships between the soundness criteria complete this chapter.


  1. van der Aalst W (1998) The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1):21–66 CrossRefGoogle Scholar
  2. van der Aalst W (1999) Woflan: A Petri-net-based Workflow Analyzer. Systems Analysis – Modelling – Simulation 35(3):345–357 zbMATHGoogle Scholar
  3. van der Aalst WMP (2000) Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst et al. (2000), pp 161–183 Google Scholar
  4. Dehnert J, Rittgen P (2001) Relaxed Soundness of Business Processes. In: Dittrich K, Geppert A, Norrie (eds) Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE), Springer, Lecture Notes in Computer Science, vol 2068, pp 157–170 CrossRefGoogle Scholar
  5. Kunze M, Luebbe A, Weidlich M, Weske M (2011) Towards Understanding Process Modeling – The Case of the BPM Academic Initiative. In: Dijkman et al. (2011), pp 44–58 Google Scholar
  6. Küster JM, Ryndina K, Gall H (2007) Generation of business process models for object life cycle compliance. In: Alonso et al. (2007), pp 165–181 Google Scholar
  7. Lohmann N, Wolf K (2010) How to Implement a Theory of Correctness in the Area of Business Processes and Services. In: Hull et al. (2010), pp 61–77 Google Scholar
  8. Martens A (2003a) On Compatibility of Web Services. In: 10th Workshop on Algorithms and Tools for Petri Nets (AWPN 2003), Eichstätt, Germany Google Scholar
  9. Martens A (2003b) On Usability of Web Services. In: Calero C, Daz O, Piattini M (eds) Proceedings of 1st Web Services Quality Workshop Google Scholar
  10. Puhlmann F (2007) On the Application of a Theory for Mobile Systems to Business Process Management. PhD thesis, Hasso Plattner Institute for IT Systems Engineering at the University of Potsdam Google Scholar
  11. Puhlmann F, Weske M (2006a) Interaction Soundness for Service Orchestrations. In: Dan A, Lamersdorf W (eds) Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 2006), Springer Verlag, LNCS, vol 4294, pp 302–313 Google Scholar
  12. Puhlmann F, Weske M (2006b) Investigations on Soundness Regarding Lazy Activities. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 145–160 CrossRefGoogle Scholar
  13. Siegeris J, Zimmermann A (2006) Workflow Model Compositions Preserving Relaxed Soundness. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 177–192 CrossRefGoogle Scholar
  14. Verbeek H, Basten T, van der Aalst W (2001) Diagnosing Workflow Processes using Woflan. The Computer Journal 44(4):246–279 CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Hasso Plattner Institute (HPI)Universität PotsdamPotsdamGermany

Personalised recommendations