Verifying Service Choreography Model Based on Description Logic

الملخص EN

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.

The paper presents a new approach of choreography model verification based on Description Logic.

A metamodel of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography.

Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification.

To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the DL-based ontology, and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoner.

A case study is given to demonstrate applicability of the method.

Furthermore, the work will be compared with other related researches.