Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological ApproachReportar como inadecuado




Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 SPARKS - Scalable and Pervasive softwARe and Knowledge Systems 2 I3S - Laboratoire d-Informatique, Signaux, et Systèmes de Sophia Antipolis

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 introduce an ontological approach which is suitable for ensuring the syntactic cor-rectness of business workflows. In details, we first introduce the CPN Ontology that is developed for representing CPNs with OWL DL. 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 representing and verifying business workflows based on ontologies.

Keywords : Business Workflow Correctness OWL DL SPARQL Ver- ification





Autor: Thi-Hoa-Hue Nguyen - Nhan Le-Thanh -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados