Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach

  • Thi-Hoa-Hue Nguyen
  • Nhan Le-Thanh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9622)


High quality business workflow definitions play an important role in the organization. An incorrectly defined workflow may lead to unexpected results. Therefore, each business workflow definition should be carefully analyzed before it is put into use. In this paper, we propose an ontological approach which is suitable for ensuring the syntactic correctness of business workflows. In details, to represent CPNs with OWL DL, we first introduce the CPN Ontology. Then, we define axioms, which are added to the CPN Ontology to provide automated support for establishing the correctness of business workflows. Finally, by relying on the CORESE semantic engine, SPARQL queries are implemented to detect shortcomings in concrete workflows. To the best of our knowledge, this is a novel approach for the representation and verification of business workflows based on ontologies.


Business workflow Correctness OWL DL SPARQL Verification 


  1. 1.
    Lu, S., Bernstein, A.J., Lewis, P.M.: Automatic workflow verification and generation. Theor. Comput. Sci. 353, 71–92 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Nguyen, T.-H.-H., Le-Thanh, N.: An Ontology-Enabled Approach for Modelling Business Processes. In: Kozielski, S., Mrozek, D., Kasprowski, P., Małysiak-Mrozek, B. (eds.) BDAS 2014. CCIS, vol. 424, pp. 139–147. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  3. 3.
    W3C: Sparql 1.1 query language. W3C Recommendation (2013).
  4. 4.
    Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner’s guide to coloured petri nets. STTT 2, 98–132 (1998)CrossRefzbMATHGoogle Scholar
  5. 5.
    Corby, O., et al.: Corese/kgram.
  6. 6.
    Nguyen, T.H.H., Le-Thanh, N.: Ensuring the semantic correctness of workflow processes: an ontological approach. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) Co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), vol. 1289. CEUR Workshop Proceedings, Prague (2014)Google Scholar
  7. 7.
    van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 21–66 (1998)CrossRefGoogle Scholar
  8. 8.
    Verbeek, H., Basten, T., van der Aalst, W.: Diagnosing workflow processes using woflan. Comput. J. 44, 246–279 (1999)CrossRefzbMATHGoogle Scholar
  9. 9.
    Bi, H.H., Zhao, J.L.: Applying propositional logic to workflow verification. Inf. Technol. Manage. 5, 293–318 (2004)CrossRefGoogle Scholar
  10. 10.
    Wainer, J.: Logic representation of processes in work activity coordination. In: Proceedings of the 2000 ACM Symposium on Applied Computing, SAC 2000, vol. 1, pp. 203–209. ACM, New York (2000)Google Scholar
  11. 11.
    Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25, 117–134 (2000)CrossRefGoogle Scholar
  12. 12.
    Koschmider, A., Oberweis, A.: Ontology based business process description. In: EMOI-INTEROP, pp. 321–333. Springer (2005)Google Scholar
  13. 13.
    Sebastian, A., Tudorache, T., Noy, N.F., Musen, M.A.: Customizable workflow support for collaborative ontology development. In: 4th International Workshop on Semantic Web Enabled Software Engineering (SWESE) at ISWC 2008 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Information Technology FacultyVietnam-Korea Friendship Information Technology CollegeDa NangVietnam
  2. 2.WIMMICS - The I3S Laboratory - CNRS - INRIANice Sophia Antipolis UniversitySophia AntipolisFrance

Personalised recommendations