Web service interfaces

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Web service interfaces

Full text

Pdf (263 KB)

Source

International World Wide Web Conference archive
Proceedings of the 14th international conference on World Wide Web table of contents

Chiba, Japan

SESSION: Web services table of contents

Pages: 148 - 159

Year of Publication: 2005

ISBN:1-59593-046-9

Authors

Dirk Beyer	EPFL, Lausanne, Switzerland
Arindam Chakrabarti	University of California, Berkeley, CA
Thomas A. Henzinger	EPFL, Lausanne, Switzerland and University of California, Berkeley, CA

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 16, Downloads (12 Months): 238, Citation Count: 10

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1060745.1060770 What is a DOI?

ABSTRACT

We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies the methods that can be called by a client, together with types of input and output parameters; these are called signature constraints. Second, the interface may specify propositional constraints on method calls and output values that may occur in a web service conversation; these are called consistency constraints. Third, the interface may specify temporal constraints on the ordering of method calls; these are called protocol constraints. The interfaces can be used to check, first, if two or more web services are compatible, and second, if a web service A can be safely substituted for a web service B. The algorithm for compatibility checking verifies that two or more interfaces fulfill each others' constraints. The algorithm for substitutivity checking verifies that service A demands fewer and fulfills more constraints than service B.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Rajeev Alur , P. Madhusudan, Visibly pushdown languages, Proceedings of the thirty-sixth annual ACM symposium on Theory of computing, June 13-16, 2004, Chicago, IL, USA [doi>10.1145/1007352.1007390]
	2	S. Anderson, M. Chapman, M. Goodner, P. Kackinaw, and R. Rekasius. Supply chain management use case model. Working group interim report, Web Services-Interoperability Organization, 2002.
	3	A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. Proc. WS-FM. Elsevier, 2004.
	4	Tevfik Bultan , Xiang Fu , Richard Hull , Jianwen Su, Conversation specification: a new approach to design and analysis of e-service composition, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary [doi>10.1145/775152.775210]
	5	A. Chakrabarti, L. de Alfaro, T. Henzinger, and M. Stoelinga. Resource interfaces. Proc. EMSOFT, LNCS 2855, pp. 117--133. Springer, 2003.
	6	Hasan Davulcu , Michael Kifer , I. V. Ramakrishnan, CTR-S: a logic for specifying contracts in semantic web services, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, May 19-21, 2004, New York, NY, USA [doi>10.1145/1013367.1013391]
	7	Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
	8	Luca de Alfaro , Thomas A. Henzinger, Interface Theories for Component-Based Design, Proceedings of the First International Workshop on Embedded Software, p.148-165, October 08-10, 2001
	9	Luca de Alfaro , Thomas A. Henzinger , Mariëlle Stoelinga, Timed Interfaces, Proceedings of the Second International Conference on Embedded Software, p.108-122, October 07-09, 2002
	10	Daniela Florescu , Andreas Grünhagen , Donald Kossmann, XL: an XML programming language for web service specification and composition, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA [doi>10.1145/511446.511456]
	11	Howard Foster , Sebastian Uchitel , Jeff Magee , Jeff Kramer, Compatibility Verification for Web Service Choreography, Proceedings of the IEEE International Conference on Web Services (ICWS'04), p.738, June 06-09, 2004 [doi>10.1109/ICWS.2004.36]
	12	X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. Proc. CIAA, LNCS~2759, pp. 188--200. Springer, 2003.
	13	Xiang Fu , Tevfik Bultan , Jianwen Su, Analysis of interacting BPEL web services, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA [doi>10.1145/988672.988756]
	14	Xiang Fu , Tevfik Bultan , Jianwen Su, Realizability of Conversation Protocols With Message Contents, Proceedings of the IEEE International Conference on Web Services (ICWS'04), p.96, June 06-09, 2004 [doi>10.1109/ICWS.2004.92]
	15	X. Fu, T. Bultan, and J. Su. WSAT: A tool for formal analysis of web services. Proc. CAV, LNCS~3114, pp. 510--514. Springer, 2004.
	16	Rachid Hamadi , Boualem Benatallah, A Petri net-based model for web service composition, Proceedings of the fourteenth Australasian database conference, p.191-200, February 01, 2003, Adelaide, Australia
	17	J. E. Hanson, P. Nandi, and D. W. Levine. Conversation-enabled web services for agents and e-business. Proc. IC, pp. 791--796. CSREA, 2002.
	18	J. E. Johnson, D. E. Langworthy, L. Lamport, and F. H. Vogt. Formal specification of a web services protocol. Proc. WS-FM. Elsevier, 2004.
	19	S. Nakajima. Model-checking of safety and security aspects in web service flows. Proc. ICWE, LNCS 3140, pp. 488--501. Springer, 2004.
	20	Srini Narayanan , Sheila A. McIlraith, Simulation, verification and automated composition of web services, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA [doi>10.1145/511446.511457]
	21	M. Pistore, M. Roveri, and P. Busetta. Requirements-driven verification of web services. Proc. WS-FM. Elsevier, 2004.
	22	Monika Solanki , Antonio Cau , Hussein Zedan, Augmenting semantic web service descriptions with compositional specification, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA [doi>10.1145/988672.988746]
	23	Xiaochuan Yi , Krys J. Kochut, A CP-nets-based Design and Verification Framework for Web Services Composition, Proceedings of the IEEE International Conference on Web Services (ICWS'04), p.756, June 06-09, 2004 [doi>10.1109/ICWS.2004.2]
	24	Jia Zhang , Jen-Yao Chung , Carl K. Chang , Seong W. Kim, WS-Net: A Petri-net Based Specification Model for Web Services, Proceedings of the IEEE International Conference on Web Services (ICWS'04), p.420, June 06-09, 2004 [doi>10.1109/ICWS.2004.132]

CITED BY 10

	G. Denaro , M. Pezzé , D. Tosi , Daniela Schilling, Towards self-adaptive service-oriented architectures, Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, p.10-16, July 17-17, 2006, Portland, Maine
	Pascal André , Gilles Ardourel , Christian Attiogbé, Adaptation for Hierarchical Components and Services, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.5-20, July, 2007
	Hamid Reza Motahari Nezhad , Boualem Benatallah , Axel Martens , Francisco Curbera , Fabio Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada
	Davide Lorenzoli , Davide Tosi , Salvatore Venticinque , Rosa Anna Micillo, Designing multi-layers self-adaptive complex applications, Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting, September 03-04, 2007, Dubrovnik, Croatia
	Jeffrey Fischer , Rupak Majumdar, Ensuring consistency in long running transactions, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Zhifeng Gu , Juanzi Li , Ruobo Huang, Two extensions of service description to enhance the scalability of SOA, Proceedings of the 2nd international conference on Scalable information systems, June 06-08, 2007, Suzhou, China
	Cheikh Ba , Mírian Halfeld Ferrari, Dependence graphs for verifications of web service compositions with PEWS, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Dieter König , Niels Lohmann , Simon Moser , Christian Stahl , Karsten Wolf, Extending the compatibility notion for abstract WS-BPEL processes, Proceeding of the 17th international conference on World Wide Web, April 21-25, 2008, Beijing, China
	Fang Yu , Chao Wang , Aarti Gupta , Tevfik Bultan, Modular verification of web services using efficient symbolic encoding and summarization, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Davide Tosi , Giovanni Denaro , Mauro Pezze, Towards autonomic service-oriented applications, International Journal of Autonomic Computing, v.1 n.1, p.58-80, April 2009