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

Conference paper

DOI: 10.1007/978-3-662-49390-8_52

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9622)
Cite this paper as:
Nguyen THH., Le-Thanh N. (2016) Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach. In: Nguyen N.T., Trawiński B., Fujita H., Hong TP. (eds) Intelligent Information and Database Systems. ACIIDS 2016. Lecture Notes in Computer Science, vol 9622. Springer, Berlin, Heidelberg


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 

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