Tingting Zhang1, 2, 3, *, Yushi Lan2, Minggang Yu1, Changyou Zheng1, Kun Liu1
CMC-Computers, Materials & Continua, Vol.62, No.2, pp. 893-904, 2020, DOI:10.32604/cmc.2020.06216
Abstract 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. This paper presents a new approach of choreography model
verification based on Description Logic. A meta model 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 More >