This paper addresses the problem of managing business process change at the level of design-time artifacts, such as BPMN process models. Our approach relies on a sophisticated scheme for annotating BPMN models with functional effects as well as non-functional properties. This permits us to assess the extent of change being made, as well as the performance characteristics of the resulting processes.


business process redesign conceptual modeling conceptual framework change management 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    White, S.: Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (February 2006),
  2. 2.
    van der Aalst, W., Dreiling, A., Rosemann, M., Jansen-Vullers, M.H.: Configurable process models as a basis for reference modelling. In: Proceedings of the Workshop on Business Process Reference Models (BPRM 2005) (2005)Google Scholar
  3. 3.
    Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey. Data and Knowledge Engineering 50, 9–34 (2004)CrossRefGoogle Scholar
  4. 4.
    Ponnalagu, K., Narendra, N.C.: Deriving service variants from business process specifications. In: Proceedings of the 1st Bangalore annual Compute conference (COMPUTE 2008), pp. 1–9. ACM, New York (2008)CrossRefGoogle Scholar
  5. 5.
    Lu, R., Sadiq, S.: Managing process variants as and information resource. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 426–431. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Soffer, P.: Scope analysis: identifying the impact of changes in business process models. Software Process: Improvement and Practice 10(4), 393–402 (2005)CrossRefGoogle Scholar
  7. 7.
    van Hee, K.M., Reijers, H.A.: Using Formal Analysis Techniques in Business Process Redesign. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 51–71. Springer, Heidelberg (2000)Google Scholar
  8. 8.
    Modafferi, S., Benatallah, B., Casati, F., Pernici, B.: A Methodology for Designing and Managing Context-Aware Workflows. In: Mobile IS II, pp. 91–106 (2005)Google Scholar
  9. 9.
    Weber, I., Hoffman, J., Mendling, J.: Semantic business process validation. In: Proceedings of the 3rd International Workshop on Semantic Business Process Management (2008)Google Scholar
  10. 10.
    Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance of business process models through semantic annotations. In: Proceedings of the 4th International Workshop on Business Process Design (2008)Google Scholar
  11. 11.
    Hendler, J., Tate, A., Drummond, M.: Ai planning: Systems and techniques. AI Magazine 11(2), 61–77 (1990)Google Scholar
  12. 12.
    Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)CrossRefGoogle Scholar
  13. 13.
    Jackson, D., Wing, J.: Lightweight formal methods. IEEE Computer, 21–22 (1996)Google Scholar
  14. 14.
    Ghose, A.K., Koliadis, G.: Auditing business process compliance. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169–180. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153–168. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  16. 16.
    Bistarelli, S.: Soft Constraint Solving and Programming: a General Framework. PhD thesis, Computer Science Department, University of Pisa (2001)Google Scholar
  17. 17.
    Shanahan, M.: Solving the Frame Problem - A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • George Koliadis
    • 1
  • Aditya Ghose
    • 1
  1. 1.Decision Systems Laboratory, School of Computer Science and Software EngineeringUniversity of WollongongAustralia

Personalised recommendations