Substitution analysis of web service composition via process algebra

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 30, Issue 11, 2007, Pages 2033-2039

  Liu, Fang Fang ^a   Shi, Yu Liang ^a   Zhang, Liang ^a   Shi, Bo Le ^a  

^a FUDAN UNIVERSITY   (China)

Author keywords

Composition; Process algebra; Substitution; Web service

Indexed keywords

ALGEBRA; DATABASE SYSTEMS;

BEHAVIORAL FEATURES; PROCESS ALGEBRA; SERVICE COMPOSITION; SUBSTITUTION;

WEB SERVICES;

EID: 37349071421     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. Brogi A et al. Formalizing Web services choreographies. Electronic Notes in Computer Science, 2004, 105: 73-94
2. IBM. Business Process Execution Language for Web Services (BPEL4WS). http://www.ibm.com/developworkers/library/ws-bpel, 2002
3. W3C. Web Service Choreography Interface (WSCI), World W3C, 2002. http://www.w3.org/TR/wsd
4. Bultan T, Fu X, Hull R, Su J. Conversation specification: A new approach to design and analysis of E-service composition//Proceedings of the WWW2003. Budapest, Hungary, 2003: 403-410
5. Meredith G, Bjorg S. Contracts and types. Communications of the ACM, 2003, 46(10): 41-47
6. Hamadi R, Benatallah B. A Petri Net-based model for Web service composition//Proceedings of the 14th Australasian Database Conference on Database Technologies 2003. Australasian, 2003: 191-200
7. Berardi D, Calvanese D, Giacomo G D, Hull R, Mecella M. Automatic composition of transition-based semantic Web services with messageing//Proceedings of the 31st VLDB Conference. Trondheim, Norway, 2005: 613-624
8. Bordeaux L, Slaun G. Using process algebra for Web services: Early results and perspetives//Proceedings of the TES 2004. Toronto, Canada, 2005: 54-68
9. Milanovic N, Malek M. Current solutions for Web service composition. IEEE Internet Computing, 2004: 51-59
10. Bordeaux L, Salun G, Berardi D, Mecella M. When are two Web services compatible//Proceedings of the TES 2004. Toronto, Canada, 2005: 15-28
11. Liu F F, Shi Y S, Zhang L, Shi B S. Analysis of Web services composition and substitution via CCS//Proceedings of the DEECS'06. San Francisco, CA, USA, 2006: 236-245
12. Mecella M, Pernici B, Craca P. Compatibility of E-services in a cooperative multi-platform environment//Proceedings of the TES 2001. Rome Itaiy, 2001: 44-57
13. Fournet C, Hoare T, Rajamani S K, Rehof J. Stuck-free conformance theory for CCS. Microsoft Technical Report: MSR-TR-2004-69, 2004
14. Rajamani S K, Rehof J. Conformance checking for models of asynchronous message passing software//Proceedings of the CAV2002. Copenhagen, Denmark, 2002: 166-179
15. Milner R. Communication and Concurrency. Englewood Cliffs: Prentice Hall, 1989