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

Thi Hoa Hue Nguyen 1 Nhan Le Thanh 1
1 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
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 correct-ness 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01299123
Contributor : Thi Hoa Hue Nguyen <>
Submitted on : Thursday, June 16, 2016 - 5:39:23 AM
Last modification on : Monday, November 5, 2018 - 3:52:09 PM
Long-term archiving on : Saturday, September 17, 2016 - 10:19:15 AM

File

01NguyenThiHoaHue_N56.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Thi Hoa Hue Nguyen, Nhan Le Thanh. Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach. 8th Asian Conference - ACIIDS 2016, Mar 2016, Da nang, Vietnam. pp.533-543, ⟨10.1007/978-3-662-49390-8_52⟩. ⟨hal-01299123⟩

Share

Metrics

Record views

436

Files downloads

154