Rule-based Behavioral Reasoning on Semantic Business Processes

Fabrizio Smith, Maurizio Proietti


We propose a rule-based framework for representing and reasoning about business processes from both the procedural and ontological point of views. To this end 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. Our framework provides a wide range of reasoning services by using standard logic programming inference engines. In particular, we can perform very sophisticated reasoning tasks by combining both procedural and domain dependent knowledge. A preliminary implementation shows that our approach is effective in practice.


  1. Battle, S., et al. (2005). Semantic Web Services Ontology.
  2. Burstein, M., et al. (2004). OWL-S: Semantic Markup for Web Services. W3C Member Submission, http://
  3. Chen, W. and Warren, D. S. (1996). Tabled Evaluation with Delaying for General Logic Programs. JACM, 43:20- 74.
  4. Clarke, E. M., Grumberg, O., and Peled, D. A. (1999). Model Checking. The MIT Press. 3The XSB Logic Programming System. Version 3.2:
  5. Dijkman, R. M., Dumas, M., and Ouyang, C. (2008). Semantics and Analysis of Business Process Models in BPMN. Inf. Softw. Technol., 50:1281-1294.
  6. Fensel, D., et al. (2006). Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer.
  7. Francescomarino, C. D., Ghidini, C., Rospocher, M., Serafini, L., and Tonella, P. (2009). Semantically-Aided Business Process Modeling. In Int. Semantic Web Conference, LNCS 5823, pages 114-129. Springer.
  8. Fu, X., Bultan, T., and Su, J. (2004). Analysis of Interacting BPEL Web Services. In Int. Conf. on World Wide Web, pages 621-630. ACM Press.
  9. Hepp, M., et al. (2005). Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management. In Int. Conf. on e-Business Engineering. IEEE Computer Society.
  10. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P. F., and Rudolph, S. (2009). OWL 2 Web Ontology Language. W3C Recommendation,
  11. Kindler, E. (2006). On the Semantics of EPCs: Resolving the Vicious Circle. Data Knowl. Eng., 56(1):23-40.
  12. Lin, Y. (2008). Semantic Annotation for Process Models: Facilitating Process Knowledge Management via Semantic Interoperability. PhD thesis, Norwegian University of Science and Technology.
  13. Liu, Y., Müller, S., and Xu, K. (2007). A Static ComplianceChecking Framework for Business Process Models. IBM Syst. J., 46:335-361.
  14. Lloyd, J. W. (1987). Foundations of logic programming. Springer-Verlag New York, Inc.
  15. Montali, M., Pesic, M., Aalst, W. M. P. v. d., Chesani, F., Mello, P., and Storari, S. (2010). Declarative Specification and Verification of Service Choreographies. ACM Trans. Web, 4(1):3:1-3:62.
  16. Narayanan, S. and McIlraith, S. (2003). Analysis and Simulation of Web services. Comp. Networks, 42:675-693.
  17. Nilsson, U. and Lübcke, J. (2000). Constraint Logic Programming for Local and Symbolic Model-checking. In Computational Logic, LNAI 1861. Springer.
  18. OMG (2011). Business Process Model and Notation. http://
  19. Przymusinski, T. C. (1988). On the Declarative Semantics of Deductive Databases and Logic Programs. In Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers Inc.
  20. Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press.
  21. Roman, D. and Kifer, M. (2008). Semantic Web Service Choreography: Contracting and Enactment. In Int. Semantic Web Conference, LNCS 5318, pages 550- 566. Springer.
  22. Smith, F., Missikoff, M., and Proietti, M. (2012). OntologyBased Querying of Composite Services. In Business System Management and Engineering, LNCS 7350, pages 159-780. Springer.
  23. Sohrabi, S., Prokoshyna, N., and McIlraith, S. A. (2009). Web Service Composition via the Customization of
  24. ter Hofstede, A. M., van der Aalst, W. M. P., Adams, M., and Russell, N., editors (2010). Modern Business Process Automation: YAWL and its Support Environment. Springer.
  25. Thielscher, M. (1998). Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell., 2:179-192.
  26. van der Aalst, W. M. P. (1998). The Application of Petri Nets to Workflow Management. J. Circuits, Systems, and Computers, 8(1):21-66.
  27. Völzer, H. (2010). A New Semantics for the Inclusive Converging Gateway in Safe Processes. In Int. Conf. on Business Process Management, LNCS 6336, pages 294-309, Berlin, Heidelberg. Springer.
  28. Weber, I., Hoffmann, J., and Mendling, J. (2010). Beyond Soundness: On the Verification of Semantic Business Process Models. Distrib. Parallel Dat., 27:271-343.

Paper Citation

in Harvard Style

Smith F. and Proietti M. (2013). Rule-based Behavioral Reasoning on Semantic Business Processes . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8565-39-6, pages 130-143. DOI: 10.5220/0004255001300143

in Bibtex Style

author={Fabrizio Smith and Maurizio Proietti},
title={Rule-based Behavioral Reasoning on Semantic Business Processes},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},

in EndNote Style

JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Rule-based Behavioral Reasoning on Semantic Business Processes
SN - 978-989-8565-39-6
AU - Smith F.
AU - Proietti M.
PY - 2013
SP - 130
EP - 143
DO - 10.5220/0004255001300143