Analysis of Web Services Composition and Substitution Via CCS
暂无分享,去创建一个
Fangfang Liu | Yuliang Shi | Baile Shi | Liang Zhang | Lili Lin | L. Zhang | Baile Shi | Yuliang Shi | Fangfang Liu | Lili Lin
[1] Fabio Casati,et al. Technologies for E-Services , 2001, Lecture Notes in Computer Science.
[2] Miroslaw Malek,et al. Current solutions for Web service composition , 2004, IEEE Internet Computing.
[3] Jakob Rehof,et al. Conformance Checking for Models of Asynchronous Message Passing Software , 2002, CAV.
[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[5] Jakob Rehof,et al. Stuck-Free Conformance Theory for CCS , 2004 .
[6] C. A. R. Hoare,et al. Stuck-Free Conformance , 2004, CAV.
[7] Boualem Benatallah,et al. A Petri Net-based Model for Web Service Composition , 2003, ADC.
[8] CreditCardType,et al. Automatic Composition of Semantic Web Services , 2007 .
[9] Xiang Fu,et al. Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.
[10] A. Brogi,et al. Formalizing Web Services , 2005 .
[11] Massimo Mecella,et al. Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.
[12] Massimo Mecella,et al. When are Two Web Services Compatible? , 2004, TES.
[13] Gwen Salaün,et al. Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..
[14] C. Peltz,et al. Web Services Orchestration and Choreography , 2003, Computer.
[15] Gwen Salaün,et al. Using Process Algebra for Web Services: Early Results and Perspectives , 2004, TES.
[16] Andrea Ferrara,et al. Web services: a process algebra approach , 2004, ICSOC '04.
[17] Antonio Vallecillo,et al. Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..
[18] Franck van Breugel,et al. Modelling and verifying web service orchestration by means of the concurrency workbench , 2004, SOEN.
[19] Frank Leymann. Web Services and Their Composition , 2001, EWSPT.
[20] Greg Meredith,et al. Contracts and types , 2003, CACM.
[21] Gwen Salaün,et al. Describing and reasoning on Web services using process algebra , 2004 .
[22] Gustavo Alonso,et al. Web Services: Concepts, Architectures and Applications , 2009 .
[23] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .