Zheng Changyou

A Formal Method for Service Choreography Verification based on Description Logic

2020 · Computers, materials & continua/Computers, materials & continua (Print)

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 ... | Find, …