Open AccessA Formal Method for Service Choreography Verification based on Description Logic
Author(s) -
Tingting Zhang,
Yushi Lan,
Min Yu,
Changyou Zheng,
Kun Liu
Publication year - 2020
Publication title -
computers, materials and continua/computers, materials and continua (print)
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.788
H-Index - 40
eISSN - 1546-2226
pISSN - 1546-2218
DOI - 10.32604/cmc.2020.06216
Subject(s) - choreography , correctness , computer science , programming language , service (business) , semantics (computer science) , web service , software engineering , formal semantics (linguistics) , world wide web , dance , art , literature , economy , economics