Specifying Flexible Business Processes Using Pre and Post Conditions

  • Jeroen C. van Grondelle
  • Menno Gülpers
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 92)


Today’s business processes have to address many, complex requirements. Mass customization leads to personalized, contextual products being offered by governments and enterprises and, as a result, the business processes for selling and offering these products are divers and contextual as well. At the same time, regulations in the area of compliance and a growing rate of change introduce additional complexity. These developments pose major challenges to the field of business process modeling. Conventional process modeling, in terms of activities and the flow they are executed in, has proven to lead to complex and often rigid business processes.

In this paper, we present our experiences with specifying business processes based on activities and their pre and post conditions instead of flow. The resulting business processes are flexible: they allow knowledge workers to influence their own process and they do not require the explicit modeling of flows to deal with exceptions and switching between straight through and human processing.

Our formalism facilitates an agile modeling process. The formalism helps involving business users in modeling as it can be expressed well into natural language. Furthermore, it allows for separation of concerns in modeling by having an algorithm consolidate the different areas of requirements into an executable business process. Analysts can focus on modeling the different concerns and are no longer required to manually consolidate all the requirements into a business process that is believed to address all of them.


Business Processes Adaptive Processes Goal Orientation Business Rules Complexity Natural Language Generation 


  1. 1.
    Business Process Modeling Notation 2.0,
  2. 2.
    Business Process Execution Language 2.0
  3. 3.
    Le Clair, C., Moore, C.: Dynamic Case Management - An Old Catches New Fire, Forrester Research (2009)Google Scholar
  4. 4.
    Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press, Tampa (2010)Google Scholar
  5. 5.
    Goedertier, S., Vanthienen, J.: Declarative process modeling with business vocabulary and business rules. In: Meersman, R., Tari, Z., Herrero, P., et al. (eds.) OTM-WS 2007, Part I. LNCS, vol. 4805, pp. 603–612. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Pesic, M., van der Aalst, W.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Schonenberg, H., Mans, R., Russell, N., Mulyar, N., Aalst, W.: Process flexibility: A survey of contemporary approaches. In: Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M.J., Szyperski, C., Dietz, J.L.G., Albani, A., Barjis, J. (eds.) Advances in Enterprise Engineering I. LNCS, vol. 10, pp. 16–30. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Andersson, B., Bergholtz, M., Edirisuriya, A., Ilayperuma, T., Johannesson, P.: A declarative foundation of process models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 233–247. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    van Grondelle, J. C., Heller, R., van Haandel, E., Verburg, T.: Involving business users in formal modeling using natural language pattern sentences. In: Cimiano, P., Pinto, H.S. (eds.) EKAW 2010. LNCS, vol. 6317, pp. 31–43. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. 10.
    Kaljurand, K., Fuchs, N.E.: Verbalizing OWL in Attempto Controlled English. In: Proceedings of Third International Workshop on OWL: Experiences and Directions, Innsbruck, Austria (2007)Google Scholar
  11. 11.
    Funk, A., Tablan, V., Bontcheva, K., Cunningham, H., Davis, B., Handschuh, S.: CLOnE: Controlled Language for Ontology Editing. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 142–155. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2011

Authors and Affiliations

  • Jeroen C. van Grondelle
    • 1
  • Menno Gülpers
    • 1
  1. 1.Be Informed BVApeldoornThe Netherlands

Personalised recommendations