An application of web-service interfaces

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

Volumn , Issue , 2007, Pages 831-838

  Beyer, Dirk ^a   Henzinger, Thomas A ^b   Chakrabarti, Arindam ^c   Seshia, Sanjit A ^c  

^a SIMON FRASER UNIVERSITY   (Canada)

^b EPFL   (Switzerland)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC ANALYSIS; DYNAMIC MODELS; ELECTRONIC COMMERCE; INFORMATION SERVICES; WEB SERVICES; WORLD WIDE WEB;

ALGORITHMIC ANALYSIS; CASE STUDIES; DISTRIBUTED COMPONENTS; E COMMERCE SERVICE (ECS); INTERNATIONAL CONFERENCES; MULTI-THREADED; RECURSION; SAFETY SPECIFICATIONS; SPECIFICATION AND VERIFICATION; WEB SERVICES; WEB-SERVICE INTERFACES;

MODAL ANALYSIS;

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

References (23)

1. R. Alur and P. Madhusudan. Visibly Pushdown Languages. In Proc. STOC, pages 202-211. ACM Press, 2004.
2. D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, M. Lenzerini, and M. Mecella. Modeling Data & Processes for Service Specifications in Colombo. In Proc. EMOI-INTEROP. CEUR-WS.org, 2005.
3. A. Betin-Can and T. Bultan. Verifiable Web Services with Hierarchical Interfaces. In Proc. ICWS, pages 85-94. IEEE Computer Society Press, 2005.
4. A. Betin-Can, T. Bultan, and X. Fu. Design for Verification for Asynchronously Communicating Web Services. In Proc. WWW, pages 750-759. ACM Press, 2005.
5. D. Beyer, A. Chakrabarti, and T. A. Henzinger. Web Service Interfaces. In Proc. WWW, pages 148-159. ACM Press, 2005.
6. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In Proc. WWW, pages 403-410. ACM Press, 2003.
7. T. Bultan, J. Su, and X. Fu. Analyzing Conversations of Web Services. IEEE Internet Computing, 10(1):18-25, 2006.
8. M. J. Butler, C. A. R. Hoare, and C. Ferreira. A Trace Semantics for Long-Running Transactions. In 25 Years Communicating Sequential Processes, pages 133-150. Springer, 2004.
9. H. Davulcu, M. Kifer, and I. V. Ramakrishnan. CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In Proc. WWW, pages 144-153. ACM Press, 2004.
10. A. Deutsch, L. Sui, and V. Vianu. Specification and Verification of Data-Driven Web Services. In Proc. PODS, pages 71-82. ACM Press, 2004.
11. R. Farahbod, U. Glässer, and M. Vajihollahi. A Formal Semantics for the Business Process Execution Language for Web Services. In Proc. WSMDEIS, pages 122-133. INSTICC Press, 2005.
12. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Compatibility Verification for Web Service Choreography. In Proc. ICWS, pages 738-741. IEEE Computer Society Press, 2004.
13. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. WWW, pages 621-630. ACM Press, 2004.
14. X. Fu, T. Bultan, and J. Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. Theor. Comput. Sci., 328(1-2):19-37, 2004.
15. R. Hamadi and B. Benatallah. A Petri Net-Based Model for Web Service Composition. In Proc. ADC, pages 191-200. Australian Computer Society, 2003.
16. R. Kazhamiakin and M. Pistore. Analysis of Readability Conditions for Web Service Choreographies. In Proc. FORTE, volume 4229 of LNCS, pages 61-76. Springer, 2006.
17. R. Kazhamiakin and M. Pistore. Static Verification of Control and Data in Web Service Compositions. In Proc. ICWS, pages 83-90. IEEE Computer Society Press, 2006.
18. R. Kazhamiakin, M. Pistore, and L. Santuari. Analysis of Communication Models in Web Service Compositions. In Proc. WWW, pages 267-276. ACM Press, 2006.
19. C. Laneve and G. Zavattaro. Foundations of Web Transactions. In Proc. FoSSaCS, volume 3441 of LNCS, pages 282-298. Springer, 2005.
20. M. Mazzara and I. Lanese. Towards a Unifying Theory for Web Services Composition. In Proc. WS-FM, volume 4184 of LNCS, pages 257-272. Springer, 2006.
21. M. Solanki, A. Cau, and H. Zedan. Augmenting Semantic Web Service Descriptions with Compositional Specification. In Proc. WWW, pages 544-552. ACM Press, 2004.
22. M. Solanki, A. Cau, and H. Zedan. ASDL: A Wide Spectrum Language for Designing Web Services. In Proc. WWW, pages 687-696. ACM Press, 2006.
23. J. Zhang, J.-Y. Chung, C. K. Chang, and S. Kim. WS-Net: A Petri Net-Based Specification Model for Web Services. In Proc. ICWS, pages 420-427. IEEE Computer Society Press, 2004.