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.
T.-H.-H. Nguyen—This work was done as part of a collaboration between Nice Sophia Antipolis University and Da Nang University.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The prefix is assumed as: \(PREFIX h: <\)http://www.semanticweb.org/CPNWF#\(>\).
References
Lu, S., Bernstein, A.J., Lewis, P.M.: Automatic workflow verification and generation. Theor. Comput. Sci. 353, 71–92 (2006)
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)
W3C: Sparql 1.1 query language. W3C Recommendation (2013). http://www.w3.org/TR/sparql11-query/
Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner’s guide to coloured petri nets. STTT 2, 98–132 (1998)
Corby, O., et al.: Corese/kgram. https://wimmics.inria.fr/corese
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)
van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 21–66 (1998)
Verbeek, H., Basten, T., van der Aalst, W.: Diagnosing workflow processes using woflan. Comput. J. 44, 246–279 (1999)
Bi, H.H., Zhao, J.L.: Applying propositional logic to workflow verification. Inf. Technol. Manage. 5, 293–318 (2004)
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)
Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25, 117–134 (2000)
Koschmider, A., Oberweis, A.: Ontology based business process description. In: EMOI-INTEROP, pp. 321–333. Springer (2005)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-662-49390-8_52
Download citation
DOI: https://doi.org/10.1007/978-3-662-49390-8_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-49389-2
Online ISBN: 978-3-662-49390-8
eBook Packages: Computer ScienceComputer Science (R0)