Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Technical Report -86, University of Edinburgh (June 1989)
ESSI WSMO working group: Web Service Modeling Ontology (WSMO) – Final Draft (October 2006), http://www.wsmo.org/TR/d2
ESSI WSML working group: Web Service Modeling Language (WSML) – Final Draft (October 2006), http://www.wsmo.org/TR/d16/d16.1/
Martin, et al.: OWL-S: Semantic Markup for Web Services (2004), http://www.w3.org/Submission/OWL-S/
Lara, et al.: A conceptual comparison between wsmo and owl-s (2005), http://www.wsmo.org/TR/d4/d4.1/v0.1/d4.1v0.1_20050412.pdf
Aalst, W.M.P.V.D., et al.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)
Jenz, D.E.: Ontology-based business process management. In: Strategic White Paper – Draft, Erlensee, Germany, Jenz & Partner GmbH (2003)
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)
Smith, H., Fingar, P.: Business Process Management - The Third Wave. Meghan-Kiffer Press (2002)
Dong, Y., Shen-sheng, Z.: Approach for modeling using pi-calculus. Journal of Zhejiang University Science 4(6), 643–650 (2003)
Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: Business Process Management, pp. 153–168 (2005)
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)
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)
Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Business Process Management, pp. 145–160 (2006)
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)
Hepp, M., Roman, D.: An ontology framework for semantic business process management. In: Proceedings of Wirtschaftsinformatik 2007, Karlsruhe, Germany (March 2007)
Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process management
Scheer, A.W.: ARIS - Vom Geschäftsprozess zum Anwendungssystem. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Markovic, I., Pereira, A.C. (2008). Towards a Formal Framework for Reuse in Business Process Modeling. In: ter Hofstede, A., Benatallah, B., Paik, HY. (eds) Business Process Management Workshops. BPM 2007. Lecture Notes in Computer Science, vol 4928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78238-4_49
Download citation
DOI: https://doi.org/10.1007/978-3-540-78238-4_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78237-7
Online ISBN: 978-3-540-78238-4
eBook Packages: Computer ScienceComputer Science (R0)