Skip to Main content Skip to Navigation

Control flow-based business workflow templates checking : an approach using the knowledge-based systems

Thi Hoa Hue Nguyen 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 : This thesis tackles the problem of modelling semantically rich business workflow templates and proposes a process for developing workflow templates. The objective of the thesis is to transform a business process into a control flow-based business workflow template that guarantees syntactic and semantic validity. The main challenges are: (i) to define formalism for representing business processes; (ii) to establish automatic control mechanisms to ensure the correctness of a business workflow template based on a formal model and a set of semantic constraints; and (iii) to organize the knowledge base of workflow templates for a workflow development process. We propose a formalism which combines control flow (based on Coloured Petri Nets (CPNs)) with semantic constraints to represent business processes. The advantage of this formalism is that it allows not only syntactic checks based on the model of CPNs, but also semantic checks based on Semantic Web technologies. We start by designing an OWL ontology called the CPN ontology to represent the concepts of CPN-based business workflow templates. The design phase is followed by a thorough study of the properties of these templates in order to transform them into a set of axioms for the CPN ontology. In this formalism, a business process is syntactically transformed into an instance of the CPN ontology. Therefore, syntactic checking of a business process becomes simply verification by inference, by concepts and by axioms of the CPN ontology on the corresponding instance.
Document type :
Complete list of metadata

Cited literature [66 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Monday, July 13, 2015 - 3:27:33 PM
Last modification on : Tuesday, December 7, 2021 - 4:10:18 PM
Long-term archiving on: : Wednesday, October 14, 2015 - 11:51:10 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01175929, version 1



Thi Hoa Hue Nguyen. Control flow-based business workflow templates checking : an approach using the knowledge-based systems. Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4033⟩. ⟨tel-01175929⟩



Record views


Files downloads