Ontology-Based Workflow Validation

Tuan Anh Pham (1) , Thi Hoa Hue Nguyen (1) , Nhan Le Thanh (1)

1 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics

In order to ensure a workflow to be executed correctly, many approaches were introduced. But not many of them consider the semantic correctness of the workflow in the design time and the run time. In this paper, a solution to check the semantic correctness of the workflow automatically is presented. To do that, the workflow must be represented in a machine understandable form, an ontology-based approach to represent a workflow is proposed. In addition, we also provide a set of changed operations allowing the users to customize a workflow for using in their organizations. Their change can be made while ensuring the correctness of the workflow. Moreover, a verification method is proposed for checking the semantic correctness of workflow.

Mots clés: Workflow verification; Coloured Petri Net; Ontology; Workflow

Domaines: Informatique [cs]; Intelligence artificielle [cs.AI]; Ingénierie, finance et science [cs.CE]

Tuan Anh Pham, Thi Hoa Hue Nguyen, Nhan Le Thanh. Ontology-Based Workflow Validation. RIVF: International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future, Can Tho University, Can Tho, Vietnam, Jan 2015, Can Tho, Vietnam. pp.41 - 46, ⟨10.1109/RIVF.2015.7049872⟩. ⟨hal-01184261⟩