A Formal Method for Service Choreography Verification based on Description Logic
Tingting Zhang, Yushi Lan, Minggang Yu, Zheng Changyou, Liu Kun · Computers, materials & continua/Computers, materials & continua (Print) · 2020
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, read and cite all the research you need on Tech Science Press