Reasoning on Semantically Annotated Processes

  • Chiara Di Francescomarino
  • Chiara Ghidini
  • Marco Rospocher
  • Luciano Serafini
  • Paolo Tonella
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)


Enriching business process models with semantic tags taken from an ontology has become a crucial necessity in service provisioning, integration and composition. In this paper we propose to represent semantically labelled business processes as part of a knowledge base that formalises: business process structure, business domains, and a set of criteria describing correct semantic labelling. Our approach allows (1) to impose domain dependent constraints during the phase of process design, and (2) to automatically verify, via logical reasoning, if business processes fulfill a set of given constraints, and to formulate queries that involve both knowledge about the domain and the process structure. Feasibility and usefulness of our approach will be shown by means of two use cases. The first one on domain specific constraints, and the second one on mining and evolution of crosscutting concerns.


Business Process Description Logic Domain Ontology Semantic Annotation Product Lifecycle Management 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Jasco: an aspect-oriented approach tailored for component based software development. In: AOSD, pp. 21–29 (2003)Google Scholar
  2. 2.
    Aspect-oriented programming for dynamic web service monitoring and selection. In: Zhang, L.-J. (ed.) ECOWS, LNCS. vol. 3250, pp. 15–29. Springer, Heidelberg (2004)Google Scholar
  3. 3.
    Mezini, M., Charfi, A.: Aspect-oriented web service composition with AO4BPEL. In (LJ) Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol. 3250, pp. 168–182. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  5. 5.
    Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: VLDB 2006, pp. 343–354 (2006)Google Scholar
  6. 6.
    Braem, M., Verlaenen, K., Joncheere, N., Vanderperren, W., Van Der Straeten, R., Truyen, E., Joosen, W., Jonckers, V.: Isolating process-level concerns using padus. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 113–128. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Business Process Management Initiative (BPMI). Business process modeling notation: Specification (2006),
  8. 8.
    Courbis, C., Finkelstein, A.: Towards aspect weaving applications. In: ICSE 2005: Proc. of the 27th international conference on Software engineering, pp. 69–77. ACM, New York (2005)Google Scholar
  9. 9.
    Curbera, F., Goland, Y., Klein, Y., Leymann, F., Roller, D., Weerawarana, S.: Business process execution language for web services. Web page. Version 1.0 (July 31, 2002)Google Scholar
  10. 10.
    Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of bpmn process models (2007),
  11. 11.
    Dimitrov, M., Simov, A., Stein, S., Konstantinov, M.: A bpmo based semantic business process modelling environment. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management at the ESWC, CEUR-WS, vol. 251 (2007)Google Scholar
  12. 12.
    Wetzstein, B., et al.: Semantic business process management: A lifecycle based requirements analysis. In: Proc. of the Workshop on Semantic Business Process and Product Lifecycle Management, CEUR Workshop Proceedings, vol. 251 (2007)Google Scholar
  13. 13.
    Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Reasoning on semantically annotated processes. Technical report, FBK-irst (2008),
  14. 14.
    Ghidini, C., Rospocher, M., Serafini, L.: A formalisation of BPMN in description logics. Technical Report TR 2008-06-004, FBK-irst (2008)Google Scholar
  15. 15.
    Happel, H.-J., Stojanovic, L.: Ontoprocess – a prototype for semantic business process verification using swrl rules. In: Proc. of the 3rd European Semantic Web Conference (2006)Google Scholar
  16. 16.
    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: ICEBE 2005: Proceedings of the IEEE International Conference on e-Business Engineering, pp. 535–540. IEEE Computer Society, Los Alamitos (2005)Google Scholar
  17. 17.
    Hornung, T., Koschmider, A., Oberweis, A.: A recommender system for business process models. In: 17th Annual Workshop on Information Technologies and Systems, Decemeber (2007)Google Scholar
  18. 18.
    Koschmider, A., Oberweis, A.: Ontology based business process description. In: Proceedings of the CAiSE 2005 Workshops. LNCS, pp. 321–333. Springer, Heidelberg (2005)Google Scholar
  19. 19.
    De Nicola, A., Lezoche, M., Missikoff, M.: An ontological approach to business process modeling. In: Proceedings of the 3rd Indian International Conference on Artificial Intelligence (IICAI), December 2007, pp. 1794–1813 (2007)Google Scholar
  20. 20.
    Fellmann, M., Thomas, O.: Semantic epc: Enhancing process modeling using ontology languages. In: Proc. of the Workshop on Semantic Business Process and Product Lifecycle Management at the ESWC, CEUR-WS, vol. 251 (2007)Google Scholar
  21. 21.
    OMG. Business process modeling notation, v1.1,
  22. 22.
    Seaborne, A., Prud’hommeaux, E.: SPARQL query language for RDF. W3C recommendation, W3C (January 2008),
  23. 23.
    Tarr, P.L., Ossher, H., Harrison, W.H., Sutton Jr., S.M.: N degrees of separation: Multi-dimensional separation of concerns. In: Proc. of the International Conference on Software Engineering (ICSE), Los Angeles, CA, USA, pp. 107–119. ACM press, New York (1999)Google Scholar
  24. 24.
    Thomas, O., Fellmann, M.: Semantic epc: Enhancing process modeling using ontology languages. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM), June 2007, pp. 64–75 (2007)Google Scholar
  25. 25.
    Tonella, P., Di Francescomarino, C.: Business process concern documentation and evolution. Technical report, FBK-irst (2008),
  26. 26.
    Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM) (June 2008)Google Scholar
  27. 27.
    Wong, P., Gibbons, J.: A Relative Timed Semantics for BPMN (submitted, 2008), Extended version

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Chiara Di Francescomarino
    • 1
  • Chiara Ghidini
    • 1
  • Marco Rospocher
    • 1
  • Luciano Serafini
    • 1
  • Paolo Tonella
    • 1
  1. 1.FBK-irstTrentoItaly

Personalised recommendations