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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9622)

Abstract

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.

Keywords

Business workflow Correctness OWL DL SPARQL Verification 

References

  1. 1.
    Lu, S., Bernstein, A.J., Lewis, P.M.: Automatic workflow verification and generation. Theor. Comput. Sci. 353, 71–92 (2006)MathSciNetCrossRefMATHGoogle 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). http://www.w3.org/TR/sparql11-query/
  4. 4.
    Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner’s guide to coloured petri nets. STTT 2, 98–132 (1998)CrossRefMATHGoogle Scholar
  5. 5.
    Corby, O., et al.: Corese/kgram. https://wimmics.inria.fr/corese
  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)CrossRefMATHGoogle 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