A Formal Approach for the Validation of Web Service Orchestrations

Publisher： IGI Global_journal

E-ISSN： 1938-0208|5|1|41-54

ISSN： 1938-0194

Source： International Journal of Web Portals (IJWP), Vol.5, Iss.1, 2013-01, pp. : 41-54

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

Reasoning about orchestrations of web services using partial correctness

By Stewart Alan   Gabarro Joaquim   Keenan Anthony  

Formal Aspects of Computing, Vol. 25, Iss. 6, 2013-11 ,pp. : 833-846

Springer Publishing Company

Access to resources Recommend Favorite

A Hadoop-based approach for efficient web service management

By Wang Shangguang  

International Journal of Web and Grid Services, Vol. 9, Iss. 1, 2013-03 ,pp. : 18-34

Inderscience Publishers

Access to resources Recommend Favorite

A Peer-to-Peer Approach to Web Service Discovery

By Schmidt Cristina  

World Wide Web, Vol. 7, Iss. 2, 2004-06 ,pp. : 211-229

Springer Publishing Company

Access to resources Recommend Favorite

A Novel Physics Inspired Approach for Web Service Composition

By  

International Journal of Web Services Research (IJWSR), Vol. 11, Iss. 2, 2014-04 ,pp. : 67-84

IGI Global_journal

Access to resources Recommend Favorite

A pipeline-based approach for long transaction processing in web service environments

By Tang Feilong   You Ilsun   Li Li   Wang Cho-Li   Cheng Zixue   Guo Song  

International Journal of Web and Grid Services, Vol. 7, Iss. 2, 2011-05 ,pp. : 190-207

Inderscience Publishers

Access to resources Recommend Favorite