Abstract
In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chain. Business process (BP) modelling is the first and most important phase in this chain. Designing a new and redesigning an existing process model is a highly complex, time consuming and error prone task. The research question that this work investigates is how to facilitate the design of new and redesign of existing process models by utilizing Semantic Web technologies. We present an approach for querying and reasoning on business process models which i) supports decision making, ii) facilitates reuse of modelling artefacts and iii) helps ensuring compliance of models to relevant regulations.
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
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. In: Lau, F.C.M., Lei, H., Meng, X., Wang, M. (eds.) ICEBE, pp. 535–540. IEEE Computer Society, Los Alamitos (2005)
Markovic, I., Pereira, A.C., de Francisco, D., Munoz, H.: Querying in business process modeling. In: SeMSoC: Proceedings of the 2nd International Workshop on Business Oriented Aspects concerning Semantics and Methodologies in Service-oriented Computing, Vienna, Austria, 2007 (to appear)
Sangiorgi: A theory of bisimulation for the pi-calculus. ACTAINF: Acta Informatica 33 (1996)
Curtis, B., Kellner, M.I., Over, J.: Process modeling. Comm. of the ACM 35(9), 75–90 (1992)
Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK (1996)
Markovic, I., Pereira, A.C.: Towards a formal framework for reuse in business process modeling. In: semantics4ws: Proceedings of the 2nd International Workshop on Advances in Semantics for Web services, Brisbane, Australia, 2007 (to appear)
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)
Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: Business Process Management, pp. 153–168 (2005)
Overdick, H., Puhlmann, F., Weske, M.: Towards a formal model for agile service discovery and integration. In: International Workshop on Dynamic Web Processes, associated with the 3rd International Conference on Service Oriented Computing, Amsterdam, The Netherlands (2005)
Puhlmann, F.: A tool chain for lazy soundness. In: Business Process Management, pp. 9–16 (2006)
Anja Bog, F.P.: A tool for the simulation of pi-calculus systems. In: Open.BPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien, Hamburg, Germany (2006)
Yu, E.S.K., Mylopoulos, J.: Understanding “why” in software process modeling, analysis, and design. In: Proceedings of the 16th International Conference on Software Engineering, pp. 159–168. IEEE Computer Society Press, Los Alamitos (1994)
Kifer, Lausen, Wu: Logical foundations of object-oriented and frame-based languages. JACM: Journal of the ACM 42 (1995)
BPMI: Business Process Query Language, http://www.service-architecture.com/web-services/articles/business_process_query_language_bpql.html
Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: Dayal, U., Whang, K.Y., Lomet, D.B., Alonso, G., Lohman, G.M., Kersten, M.L., Cha, S.K., Kim, Y.K. (eds.) VLDB, pp. 343–354. ACM, New York (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, Los Alamitos (2004)
Victor, B., Moller, F.: The Mobility Workbench — a tool for the π-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 428–440. Springer, Heidelberg (1994)
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. (2008). Advanced Querying and Reasoning on Business Process Models. In: Abramowicz, W., Fensel, D. (eds) Business Information Systems. BIS 2008. Lecture Notes in Business Information Processing, vol 7. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79396-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-79396-0_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79395-3
Online ISBN: 978-3-540-79396-0
eBook Packages: Computer ScienceComputer Science (R0)