Conflict detection in composite web services based on model checking

Author: Kim Yeon-Seok   Shin Dong-Hoon   Jeon Hyun-Bae   Lee Kyong-Ho   Cho Kee-Seong   Park Wonjoo  

Publisher: Inderscience Publishers

ISSN: 1741-1106

Source: International Journal of Web and Grid Services, Vol.9, Iss.4, 2013-11, pp. : 394-430

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract