A Formal Method for Service Choreography Verification based on Description Logic
Author:
Tingting Zhang,Yushi Lan,Minggang Yu,Changyou Zheng,Kun Liu
Publisher
Computers, Materials and Continua (Tech Science Press)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Mechanics of Materials,Modelling and Simulation,Biomaterials