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

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

Related content

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research (IJWSR), Vol. 10, Iss. 4, 2013-10 ,pp. : 62-81

IGI Global_journal

Access to resources Recommend Favorite

A metadata-based access control model for web services

By Yagüe Mariemma I Maña Antonio Lopez Javier

Internet Research: Electronic Networking Applications and Policy, Vol. 15, Iss. 1, 2005-01 ,pp. : 99-116

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Pushdown model checking for malware detection

By Song Fu Touili Tayssir

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 147-173

Springer Publishing Company

Access to resources Recommend Favorite

Message mediation in composite Web Services

By Bussler Christoph

International Journal of Web Engineering and Technology, Vol. 2, Iss. 4, 2006-07 ,pp. : 373-395

Inderscience Publishers

Access to resources Recommend Favorite

A Dynamic Label Checking Approach for Information Flow Control in Web Services

International Journal of Web Services Research (IJWSR), Vol. 3, Iss. 1, 2006-01 ,pp. : 1-28

IGI Global_journal

Access to resources Recommend Favorite