Reasoning about orchestrations of web services using partial correctness

Author： Stewart Alan   Gabarro Joaquim   Keenan Anthony  

Publisher： Springer Publishing Company

ISSN： 0934-5043

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

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

Related content

Using case-based reasoning for improving precision and recall in web services selection

By Diaz Olivia G. Fragoso   Salgado Rene Santaolaya   Moreno Ismael Solis  

International Journal of Web and Grid Services, Vol. 2, Iss. 3, 2006-11 ,pp. : 306-330

Inderscience Publishers

Access to resources Recommend Favorite

A Formal Approach for the Validation of Web Service Orchestrations

By  

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

IGI Global_journal

Access to resources Recommend Favorite

Partial correctness for probabilistic demonic programs

By McIver A.K.   Morgan C.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 513-541

Elsevier

Access to resources Recommend Favorite

Reasoning about Textual Similarity in a Web-Based Information Access System

By Cohen W.W.  

Autonomous Agents and Multi-Agent Systems, Vol. 2, Iss. 1, 1999-03 ,pp. : 65-86

Springer Publishing Company

Access to resources Recommend Favorite

Web shopping expert using new interval type-2 fuzzy reasoning

By Gu L.   Zhang Y.  

Soft Computing, Vol. 11, Iss. 8, 2007-06 ,pp. : 741-751

Springer Publishing Company

Access to resources Recommend Favorite