Towards a Formal Framework for Reuse in Business Process Modeling

  • Ivan Markovic
  • Alessandro Costa Pereira
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4928)


Business process models are created by business users with an objective to capture business requirements, enable a better understanding of business processes, facilitate communication between business analysts and IT experts, identify process improvement options and serve as a basis for derivation of executable business processes. Designing a new process model is a highly complex, time consuming and error prone task. In order to address this problem, we propose an approach to business process modeling through reuse of existing business process artifacts - process fragments. In addition, we provide a rich formalism for business process description based on π-calculus and ontologies as a basis of the approach. The formalism integrates different workflow perspectives and thus exposes the complete process model description to expressive querying and reasoning.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gruber, T.R.: Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation, The Netherlands, Kluwer Academic Publishers, Deventer (1993)Google Scholar
  2. 2.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Technical Report -86, University of Edinburgh (June 1989)Google Scholar
  3. 3.
    ESSI WSMO working group: Web Service Modeling Ontology (WSMO) – Final Draft (October 2006),
  4. 4.
    ESSI WSML working group: Web Service Modeling Language (WSML) – Final Draft (October 2006),
  5. 5.
    Martin, et al.: OWL-S: Semantic Markup for Web Services (2004),
  6. 6.
    Lara, et al.: A conceptual comparison between wsmo and owl-s (2005),
  7. 7.
    Aalst, W.M.P.V.D., et al.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  8. 8.
    Jenz, D.E.: Ontology-based business process management. In: Strategic White Paper – Draft, Erlensee, Germany, Jenz & Partner GmbH (2003)Google Scholar
  9. 9.
    Puhlmann, F.: Why do we actually need the pi-calculus for business process management? In: Abramowicz, W., Mayr, H.C. (eds.) BIS. LNI., GI, vol. 85, pp. 77–89 (2006)Google Scholar
  10. 10.
    Smith, H., Fingar, P.: Business Process Management - The Third Wave. Meghan-Kiffer Press (2002)Google Scholar
  11. 11.
    Dong, Y., Shen-sheng, Z.: Approach for modeling using pi-calculus. Journal of Zhejiang University Science 4(6), 643–650 (2003)CrossRefGoogle Scholar
  12. 12.
    Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: Business Process Management, pp. 153–168 (2005)Google Scholar
  13. 13.
    Schaffner, J., Meyer, H., Weske, M.: A formal model for mixed initiative service composition. In: SCC 2007. IEEE International Conference on Services Computing, Salt Lake City, USA (2007)Google Scholar
  14. 14.
    Agarwal, S., Studer, R.: Automatic matchmaking of web services. In: ICWS 2006. Proceedings of the IEEE International Conference on Web Services, Washington, DC, pp. 45–54. IEEE Computer Society, USA (2006)Google Scholar
  15. 15.
    Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Business Process Management, pp. 145–160 (2006)Google Scholar
  16. 16.
    Mou, Y., Cao, J., sheng Zhang, S.: A process component model for enterprise business knowledge reuse. In: IEEE SCC, pp. 409–412. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  17. 17.
    Hepp, M., Roman, D.: An ontology framework for semantic business process management. In: Proceedings of Wirtschaftsinformatik 2007, Karlsruhe, Germany (March 2007)Google Scholar
  18. 18.
    Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process managementGoogle Scholar
  19. 19.
    Scheer, A.W.: ARIS - Vom Geschäftsprozess zum Anwendungssystem. Springer, Heidelberg (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ivan Markovic
    • 1
  • Alessandro Costa Pereira
    • 1
  1. 1.SAP ResearchKarlsruheGermany

Personalised recommendations