Skip to main content
SpringerLink
Log in

Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework

  • Conference paper
  • First Online:
Agents and Artificial Intelligence (ICAART 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 449))

Included in the following conference series:

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The XSB Logic Programming System. Version 3.2: http://xsb.sourceforge.net.

References

  1. Battle, S., et al.: Semantic Web Services Ontology (2005). http://www.w3.org/Submission/SWSF-SWSO

  2. Burstein, M., et al.: OWL-S: Semantic markup for web services. W3C Member Submission (2004). http://www.w3.org/Submission/OWL-S/

  3. Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. JACM 43, 20–74 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)

    Google Scholar 

  5. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50, 1281–1294 (2008)

    Article  Google Scholar 

  6. Fensel, D., et al.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, Berlin (2006)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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/

  10. Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56(1), 23–40 (2006)

    Article  Google Scholar 

  11. Lin, Y.: Semantic annotation for process models: Facilitating process knowledge management via semantic interoperability. Ph.D. Thesis, Norwegian University of Science and Technology (2008)

    Google Scholar 

  12. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46, 335–361 (2007)

    Article  Google Scholar 

  13. Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag New York Inc., New York (1987)

    Book  MATH  Google Scholar 

  14. 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)

    Article  Google Scholar 

  15. Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Comp. Netw. 42, 675–693 (2003)

    Article  MATH  Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. OMG: Business Process Model and Notation (2011). http://www.omg.org/spec/BPMN/2.0

  18. 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)

    Google Scholar 

  19. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge (2001)

    Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. 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)

    Google Scholar 

  23. Thielscher, M.: Introduction to the fluent calculus. Electron. Trans. Artif. Intell. 2, 179–192 (1998)

    MathSciNet  Google Scholar 

  24. van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21–66 (1998)

    Article  Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Dat. 27, 271–343 (2010)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Research Council, IASI “Antonio Ruberti”, Via dei Taurini 19, 00185, Roma, Italy

    Fabrizio Smith & Maurizio Proietti

Authors
  1. Fabrizio Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maurizio Proietti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fabrizio Smith .

Editor information

Editors and Affiliations

  1. INSTICC, Setúbal, Portugal

    Joaquim Filipe

  2. Instituto de Telecomunicações, Lisbon, Portugal

    Ana Fred

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation