A process algebra approach for the compatibility analysis of web services

Proceedings of the 2008 2nd International Conference on Future Generation Communication and Networking, FGCN 2008

Volumn 1, Issue , 2008, Pages 305-308

  Shu, Chen ^a   Qing, Wu Guo ^a   Jing, Xiao ^a  

^a WUHAN UNIVERSITY   (China)

Author keywords

Compatibility; Substitutability; Web service

Indexed keywords

ASYNCHRONOUS COMMUNICATIONS; COMPATIBILITY; COMPATIBILITY ANALYSIS; CONCURRENT CALCULUS; DYNAMIC BEHAVIORS; FITNESS OF SERVICES; PROCESS ALGEBRAS; PROCESS OPERATORS; STATIC CHECKING; STATIC FEATURES; SUBSTITUTABILITY; SYNCHRONOUS COMMUNICATIONS;

ALGEBRA; COMMUNICATION; WEB SERVICES;

MODEL CHECKING;

EID: 62349139057     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FGCN.2008.9     Document Type: Conference Paper

References (12)

1. Lucas Bordeaux, When are Two Web services Compatible? TES 2004, Springer-Verlag, Berlin Heidelberg 2005, pp. 15-28.
2. BPEL Version 1.0 http://www.ibm.com/library/wsbpel, 2002.
3. G. Meredith and S. Bjorg, Contracts and types. Communications of the ACM, 2003. 46(10):41-47.
4. Andrea Rerrara, "Web services: a Process Algebra Approach". ISCOC'04, New York, USA, 2004. ACM. pp. 242-251.
5. A. Brogi, Formalizing Web services Choreographies. In Proc. of workshop on Web services and Formal Methods(WS-FM), 2004.
6. R. Milner, "Communication and Concurrency". Prentice Hall, 1989.
7. R. Milner. "A calculi of Communication and Concurrency". Spinger-Verlag, 1980.
8. Bard Bloom, Structured operational semantics as a specification language. In Proceedings of LICS '94. IEEE Computer Society Press, 1994.
9. D. Kozen, Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, 1983.
10. Ranee Cleaveland, The Concurrency Factory software development environment, Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin/Heidelberg, 1996.
11. Glenn Bruns, Model Checking and Fault Tolerance, Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology table of contents Pages: 45-59, Year of Publication: 1997 ISBN:3-540-63888-1.
12. Jaana Eloranta, Minimizing the number of transitions with respect to observation equivalence, BIT Numerical Mathematics, Springer Netherlands, Volume 31, Number 4, 1991.