A Checking Service Composition Approach based on Model Transformation

Publisher： IGI Global_journal

E-ISSN： 1947-3184|7|1|30-47

ISSN： 1947-3176

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

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

Semantic web service composition via model checking techniques

By Kil Hyunyoung   Nam Wonhong  

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

Inderscience Publishers

Access to resources Recommend Favorite

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

By  

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 Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking

By  

International Journal of Software Innovation (IJSI), Vol. 3, Iss. 2, 2015-04 ,pp. : 24-38

IGI Global_journal

Access to resources Recommend Favorite

A model checking-based approach for security policy verification of mobile systems

By Braghin Chiara  

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 627-648

Springer Publishing Company

Access to resources Recommend Favorite

An Approach to Checking Compatibility of Service Contracts in Service-Oriented Applications

By  

International Journal of Web Services Research (IJWSR), Vol. 6, Iss. 2, 2009-04 ,pp. : 42-65

IGI Global_journal

Access to resources Recommend Favorite