Abstract
We propose a representation method for semantically enriched business processes by combining in a uniform logical framework both the procedural and the domain dependent knowledge. First, we define a rule-based procedural semantics for a relevant fragment of BPMN, a very popular graphical notation for specifying business processes. Our semantics defines a state transition system by following an approach similar to the Fluent Calculus, and allows us to specify state change in terms of preconditions and effects of the enactment of activities. Then, we show how the procedural process knowledge can be seamlessly integrated with the domain knowledge specified by using the OWL-RL rule-based ontology language. As a result, our framework provides a wide range of reasoning services by using standard logic programming inference engines.
This work has been partly funded by the European Commission through the ICT Project BIVEE: Business Innovation and Virtual Enterprise Environment (FoF-ICT-2011.7.3-285746).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The XSB Logic Programming System. Version 3.2: http://xsb.sourceforge.net.
References
Battle, S., et al.: Semantic Web Services Ontology (2005). http://www.w3.org/Submission/SWSF-SWSO
Burstein, M., et al.: OWL-S: Semantic markup for web services. W3C Member Submission (2004). http://www.w3.org/Submission/OWL-S/
Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. JACM 43, 20–74 (1996)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50, 1281–1294 (2008)
Fensel, D., et al.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, Berlin (2006)
Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: International Conference on World Wide Web, pp. 621–630. ACM Press, New York (2004)
Hepp, M., et al.: Semantic business process management: a vision towards using semantic web services for business process management. In: International Conference on e-Business Engineering, IEEE Computer Society (2005)
Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language. W3C Recommendation (2009). http://www.w3.org/TR/owl2-primer/
Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56(1), 23–40 (2006)
Lin, Y.: Semantic annotation for process models: Facilitating process knowledge management via semantic interoperability. Ph.D. Thesis, Norwegian University of Science and Technology (2008)
Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46, 335–361 (2007)
Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag New York Inc., New York (1987)
Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. Web 4(1), 3:1–3:61 (2010)
Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Comp. Netw. 42, 675–693 (2003)
Nilsson, U., Lübcke, J.: Constraint logic programming for local and symbolic model-checking. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 384–398. Springer, Heidelberg (2000)
OMG: Business Process Model and Notation (2011). http://www.omg.org/spec/BPMN/2.0
Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers Inc, San Francisco (1988)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge (2001)
Roman, D., Kifer, M.: Semantic web service choreography: contracting and enactment. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 550–566. Springer, Heidelberg (2008)
Smith, F., Missikoff, M., Proietti, M.: Ontology-based querying of composite services. In: Ardagna, C.A., Damiani, E., Maciaszek, L.A., Missikoff, M., Parkin, M. (eds.) BSME 2010. LNCS, vol. 7350, pp. 159–180. Springer, Heidelberg (2012)
Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web service composition via the customization of golog programs with user preferences. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 319–334. Springer, Heidelberg (2009)
Thielscher, M.: Introduction to the fluent calculus. Electron. Trans. Artif. Intell. 2, 179–192 (1998)
van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21–66 (1998)
Völzer, H.: A new semantics for the inclusive converging gateway in safe processes. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 294–309. Springer, Heidelberg (2010)
Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Dat. 27, 271–343 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Smith, F., Proietti, M. (2014). Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework. In: Filipe, J., Fred, A. (eds) Agents and Artificial Intelligence. ICAART 2013. Communications in Computer and Information Science, vol 449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44440-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-662-44440-5_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44439-9
Online ISBN: 978-3-662-44440-5
eBook Packages: Computer ScienceComputer Science (R0)