Semantic web service composition via model checking techniques

ISSN： 1741-1106

Source： International Journal of Web and Grid Services, Vol.9, Iss.4, 2013-11, pp. : 339-350

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 Checking Service Composition Approach based on Model Transformation

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 7, Iss. 1, 2016-01 ,pp. : 30-47

IGI Global_journal

Access to resources Recommend Favorite

Semantic model-driven development of web service architectures

By Pahl Claus

International Journal of Web Engineering and Technology, Vol. 4, Iss. 3, 2008-07 ,pp. : 386-404

Inderscience Publishers

Access to resources Recommend Favorite

Semantic-based transaction model for web service

By Li Shing-Han

Information Systems Frontiers, Vol. 15, Iss. 2, 2013-04 ,pp. : 249-268

Springer Publishing Company

Access to resources Recommend Favorite

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

Towards a Framework for Agent-Enabled Semantic Web Service Composition

International Journal of Web Services Research (IJWSR), Vol. 1, Iss. 3, 2004-07 ,pp. : 63-87

IGI Global_journal

Access to resources Recommend Favorite