On context-specific substitutability of Web services

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 192-199

  Pathak, Jyotishman ^a   Basu, Samik ^a   Honavar, Vasant ^a  

^a Iowa State University   (United States)

Author keywords

Composition; Labeled transition systems; Model checking; Mu calculus; Substitution; Web services

Indexed keywords

MODEL CHECKING; STRUCTURE (COMPOSITION); WEB SERVICES; WORLD WIDE WEB;

BEHAVIORAL EQUIVALENCES; CONTEXT INFORMATION; INTERNATIONAL CONFERENCES; MODEL CHECKING TECHNIQUES; SOUNDNESS AND COMPLETENESS; SUBSTITUTABILITY; SUBSTITUTION PROBLEM;

INFORMATION SERVICES;

EID: 38549121234     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.134     Document Type: Conference Paper

References (21)

1. H. Andersen. Partial Model Checking (extended abstract). In Logic in Computer Science, 1995.
2. A. Arnold, A. Vincent, and I. Walukiewicz. Games for Synthesis of Controllers with Partial Observation. Theoretical Computer Science, pages 7-34, 2003.
3. S. Basu and R. Kumar. Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. In 45th IEEE Conference on Decision and Control, 2006.
4. B. Benatallah, F. Casati, and F. Toumani. Representing, Analysing and Managing Web Service Protocols. Data ana Knowledge Engineering, 58(3):327-357, 2006.
5. D. Beyer, A. Chakrabarti, and T. Henzinger. Web Services Interfaces. In 15th World Wide Web Conference, pages 148-159. ACM Press, 2005.
6. L. Bordeaux. G. Salaün, D. Berardi, and M. Mecella. When are Two Web Services Compatible? In 5th International Workshop on Technologies for E-Services, pages 15-28, LNCS 3324, Springer-Verlag, 2004.
7. T. Bultan, J. Su, and X. Fu. Analyzing Conversations of Web Services. IEEE Internet Computing, 10(1): 18-25, 2006.
8. E. A. Emerson. Model Checking and the Mu-Calculus. In Symposium on Descriptive Complexity and Finite Model, pages 185-214. American Mathematical Society Press, 1997.
9. E. A. Emerson and C. S. Jutla. The Complexity of Tree Automata and Logics of Programs. SIAM Journal of Computing, 29(1):132-158, 1999.
10. Y. Li and H. Jagadish. Compatibility Determination in Web Services. In ICEC Workshop on Workshop on E-Government and Web Services, 2003.
11. F. Liu, L. Zhang. Y. Shi, L. Lin, and B. Shi. Formal Analysis of Compatibility of Web Services via CCS. In 1st International Conference on Next Generation Web Services Practices, pages 143-148, IEEE Computer Society, 2005.
12. A. Martens, S. Moser, A. Gerhardt, and K. Funk. Analyzing Compatibility of BPEL Processes. In International Conference on Internet and Web Applications and Services, pages 147-155. IEEE CS Press, 2006.
13. M. Mecella, B. Pernici, and P. Craca. Compatibility of e-Services in a Cooperative Multi-platform Environment. In 1st International Workshop on Technologies for e-Services, pages 44-57, LNCS 2193, 2001.
14. R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.
15. J. Pathak, S. Basu, and V. Honavar. Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements. In 4th International Conference on Service Oriented Computing, pages 314-326, LNCS 4294, Springer-Verlag, 2006.
16. J. Pathak, S. Basu, R. Lutz, and V. Honavar. Parallel Web Service Composition in MoSCoE: A Choreography-based Approach. In 4th IEEE European Conference on Web Services, pages 3-12. IEEE CS Press, 2006.
17. M. Pistore, P. Traverso. P. Bertoli, and A. Marconi. Automated Synthesis of Composite BPEL4WS Web Services. In 3rd Intl. Conference on Web Services, pages 293-301. IEEE Press, 2005.
18. C. Stirling. Games and Modal Mu-Calculus. In Second International Workshop Tools and Algorithms for Construction and Analysis of Systems, pages 298-312, 1996.
19. Y. Taher, D. Benslimane, M.-C. Fauvet, and Z. Maamar. Towards an Approach for Web services Substitution. In 10th Intl. Database Engineering and Applications Symposium, pages 166-173. IEEE CS Press, 2006.
20. A. Tarski. A Lattice-Theoretical Fixpoint Theorem and Its Applications. Pacific Journal of Mathematics, 5(2):285-309, 1955.
21. P. Yang, S. Basu, and C. Ramakrishnan. Parameterized Verification of Pi-Calculus Systems. In 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 42-57, LNCS 3920, Springer-Verlag, 2006.