article

Tools for composite web services: a short overview

Authors:

Jianwen SuAuthors Info & Claims

ACM SIGMOD Record, Volume 34, Issue 2

Pages 86 - 95

https://doi.org/10.1145/1083784.1083807

Published: 01 June 2005 Publication History

Abstract

Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques and tools for eanbling the (semi-)automatic composition and analysis of these services, taking into account their semantic and behavioral properties. This paper presents an overview of the fundamental assumptions and concepts underlying current work on service composition, and provides a sampling of key results in the area. It also provides a brief tour of several composition models including semantic web services, the "Roman" model, and the Mealy / conversation model.

References

[1]

G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer-Verlag, 2004.

Digital Library

[2]

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proc. ACM Symp. on Principles of Database Systems, 1998.

Digital Library

[3]

D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic composition of web services in Colombo. In Proc. of 13th Itallian Symp. on Advanced Database Systems, June 2005.

[4]

D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. Technical report, University of Rome, "La Sapienza", Roma, Italy, April, 2005.

[5]

D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Services Composition based on Behavioral Descriptions. International Journal of Cooperative Information Systems (IJCIS), 2004. To appear.

[6]

D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. ESC: A Tool for Automatic Composition of e-Services based on Logics of Programs. In Proc. Workshop on Technologies for E-Services, 2004.

Digital Library

[7]

D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. 1st Int. Conf. on Service Oriented Computing (ICSOC), volume 2910 of LNCS, pages 43--58, 2003.

[8]

T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proc. Int. World Wide Web Conf. (WWW), May 2003.

Digital Library

[9]

D. Berardi, M. Gruninger, R. Hull, and S. McIlraith. Towards a first-order ontology for web services. In W3C Workshop on Constraints and Capabilities for Web Services, October 2004.

[10]

D. Berardi, G. De Giacomo, M. Lenzerini, M. Mecella, and D. Calvanese. Synthesis of underspecified composite e-services based on automated reasoning. In Proc. Second International Conference on Service-Oriented Computing, pages 105--114, 2004.

Digital Library

[11]

J. Bloomberg. The seven principles of service-oriented development. XML & Web Services, 3(5):32--33, 2002. Business Process Execution Language for Web Services (BPEL), Version 1.1. http://www.ibm.com/developerworks/library/ws-bpel, May 2003.

[12]

D. Brand and P. Zafiropulo. On communicating finite-state machines. Journal of the ACM, 30(2):323--342, 1983. OWL Services Coalition. OWL-S: Semantic markup for web services, November 2003. SWSL Committee. Semantic web service ontology (swso), 2005. Available in http://www.daml.org/services/swsl/report/.

Digital Library

[13]

H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of workflows. In Proc. ACM Symp. on Principles of Database Systems, pages 25--33, 1998.

Digital Library

[14]

A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In Proc. ACM Symp. on Principles of Database Systems, 2004.

Digital Library

[15]

X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proc. Int. Conf. on Implementation and Application of Automata (CIAA), 2003.

Digital Library

[16]

X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. Int. World Wide Web Conf. (WWW), May 2004.

Digital Library

[17]

X. Fu, T. Bultan, and J. Su. Model checking XML manipulating software. In Proc. Int. Symposium on Software Testing and Analysis (ISSTA), July 2004.

Digital Library

[18]

H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. the 18th IEEE Int. Conf. on Automated Software Engineering Conference (ASE 2003), 2003.

Digital Library

[19]

C. E. Gerede, R. Hull, and J. Su. Automated composition of e-services with lookahead. In Proc. Intl. Conf. on Services-Oriented Computing, 2004.

Digital Library

[20]

M. Grüninger and C. Menzel. Process specification language: Principles and applications. AI Magazine, 24:63--74, 2003.

Digital Library

[21]

M. Grüninger. Applications of PSL to semantic web services. In Proceedings of SWDB'03, The first International Workshop on Semantic Web and Databases, 2003.

[22]

H. Haas. Architecture and future of web services: from SOAP to semantic web services. http://www.w3.org/2004/Talks/0520-hh-ws/, May 2004.

[23]

R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: A look behind the curtain. In Proc. ACM Symp. on Principles of Database Systems, 2003.

Digital Library

[24]

J. E. Hanson, P. Nandi, and S. Kumaran. Conversation support for business process integration. In Proc. 6th Int. Enterprise Distributed Object Computing (EDOC), Ecole Polytechnic, Switzerland, 2002.

Digital Library

[25]

J. E. Hanson, P. Nandi, and D. W. Levine. Conversation-enabled web services for agents and e-business. In Proc. International Conference on Internet Computing (IC), pages 791--796. CSREA Press, 2002.

[26]

C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666--677, 1978.

Digital Library

[27]

G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, 2003.

Digital Library

[28]

Dexter Kozen and Jerzy Tiuryn. Logics of programs. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science --- Formal Models and Semantics, pages 789--840. Elsiever, 1990.

Digital Library

[29]

M. Koshkina and F. van Breugel. Verication of business processes for web services. Technical Report CS-2003-11, Department of Computer Science, York University, 2003.

[30]

A. Martens. Analysis and re-engineering of web services. In Proc. 6th Int. Conf. on Enterprise Information Systems, 2004.

[31]

R. Milner. Communicating and Mobile Systems: The π-calculus. Cambridge University Press, 1999.

Digital Library

[32]

S. McIlraith and T. Son. Adapting Golog for composition of semantic web services. In Proc. of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), pages 482--493, April 2002.

Digital Library

[33]

S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. In IEEE Intelligent Systems, March/April 2001.

Digital Library

[34]

S. Nakajiama. Verification of web services with model checking techniques. In Proc. First Int. Symposium on Cyber Worlds. IEEE Computer Society Press, 2002.

Digital Library

[35]

S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In Proc. Int. World Wide Web Conf. (WWW), 2002.

Digital Library

[36]

J. A. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, University of Toronto, 1994.

Digital Library

[37]

M. Paolucci, T. Kawamura, T. R. Payne, and K. Sycara. Importing the semantic web in UDDI. In Proc. Workshop on Web Services, E-business and Semantic Web (at CAISE conference), 2002.

Digital Library

[38]

R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, 2001.

Digital Library

[39]

S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 1995. PSL standards group. Psl home page. http://ats.nist.gov/psl/.

Digital Library

[40]

M. Singh. Semantical considerations on workflows: An algebra for intertask dependencies. In Proc. Workshop on Database Programming Languages (DBPL), 1995.

Digital Library

[41]

R. B. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144:1--39, 2003.

Digital Library

[42]

M. Spielmann. Verification of relational transducers for electronic commerce. Journal of Computer and System Sciences, 66(1):40--65, 2003.

Digital Library

[43]

W. M. P. van der Aalst. On the automatic generation of workflow processes based on product structures. Computer in Industry, 39(2):97--111, 1999.

Digital Library

[44]

Web Services Choreography Description Language Version 1.0 (W3C Working Draft). http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/, December 2004.

[45]

Web Services Conversation Language (WSCL) 1.0. http://www.w3.org/TR/2002/NOTE-wscl10-20020314/, March 2002.

[46]

Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, March 2001.

[47]

Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions (W3C Working Draft). http://www.w3.org/TR/2004/WD-wsdl20-extensions-20040803/, August 2004.

Cited By

Mackey ISu J(2023)Mapping singly-linked rules to linear temporal logic formulasInformation Systems10.1016/j.is.2023.102222117:COnline publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1016/j.is.2023.102222
Cartis CFiala JMarteau BRoberts L(2019)Improving the Flexibility and Robustness of Model-based Derivative-free Optimization SolversACM Transactions on Mathematical Software10.1145/333851745:3(1-41)Online publication date: 8-Aug-2019
https://dl.acm.org/doi/10.1145/3338517
Johansson F(2019)Computing Hypergeometric Functions RigorouslyACM Transactions on Mathematical Software10.1145/332873245:3(1-26)Online publication date: 8-Aug-2019
https://dl.acm.org/doi/10.1145/3328732
Show More Cited By

Index Terms

Tools for composite web services: a short overview
1. Information systems

Recommendations

Process model-based atomic service discovery and composition of composite semantic web services using web ontology language for services OWL-S

Web Service composition has become indispensable as a single web service cannot satisfy complex functional requirements. Composition of services has received much interest to support business-to-business B2B or enterprise application integration. An ...
Securing Data in Composite Web Services
KSE '12: Proceedings of the 2012 Fourth International Conference on Knowledge and Systems Engineering

Service-oriented architecture provides a solution for building information systems with reusability, flexibility, and extensibility. In SOA, new services can be developed by using existing services. BPEL is considered as the main means for composing ...
Composing Web Services: A QoS View

An Internet application can invoke several services--a stock-trading Web service, for example, could invoke a payment service, which could then invoke an authentication service. Such a scenario is called a composite Web service, and it can be specified ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGMOD Record

ACM SIGMOD Record Volume 34, Issue 2

June 2005

91 pages

ISSN:0163-5808

DOI:10.1145/1083784

Issue’s Table of Contents

Copyright © 2005 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2005

Published in SIGMOD Volume 34, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

128
Total Citations
View Citations
2,287
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mackey ISu J(2023)Mapping singly-linked rules to linear temporal logic formulasInformation Systems10.1016/j.is.2023.102222117:COnline publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1016/j.is.2023.102222
Cartis CFiala JMarteau BRoberts L(2019)Improving the Flexibility and Robustness of Model-based Derivative-free Optimization SolversACM Transactions on Mathematical Software10.1145/333851745:3(1-41)Online publication date: 8-Aug-2019
https://dl.acm.org/doi/10.1145/3338517
Johansson F(2019)Computing Hypergeometric Functions RigorouslyACM Transactions on Mathematical Software10.1145/332873245:3(1-26)Online publication date: 8-Aug-2019
https://dl.acm.org/doi/10.1145/3328732
Abiteboul SBourhis PVianu VVan den Bussche JArenas M(2018)Explanations and Transparency in Collaborative WorkflowsProceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3196959.3196975(409-424)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3196959.3196975
Benevides MLopes BHaeusler E(2018)Towards reasoning about Petri nets: A Propositional Dynamic Logic based approachTheoretical Computer Science10.1016/j.tcs.2018.01.007744(22-36)Online publication date: Oct-2018
https://doi.org/10.1016/j.tcs.2018.01.007
Benevides MLopes BHaeusler E(2016)Propositional Dynamic Logic for Petri Nets with IterationTheoretical Aspects of Computing – ICTAC 201610.1007/978-3-319-46750-4_25(441-456)Online publication date: 22-Sep-2016
https://doi.org/10.1007/978-3-319-46750-4_25
Belkhir WChevalier YRusinowitch M(2015)Parametrized automata simulation and application to service compositionJournal of Symbolic Computation10.1016/j.jsc.2014.09.02969:C(40-60)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1016/j.jsc.2014.09.029
Belkhir WChevalier YRusinowitch M(2015)An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized AutomataService-Oriented Computing - ICSOC 2014 Workshops10.1007/978-3-319-22885-3_26(295-307)Online publication date: 2-Sep-2015
https://doi.org/10.1007/978-3-319-22885-3_26
Heo KYoon C(2014)Web of Objects Platform for Service Composition Using Devices Profile for Web Services2014 International Conference on Information Science & Applications (ICISA)10.1109/ICISA.2014.6847482(1-4)Online publication date: May-2014
https://doi.org/10.1109/ICISA.2014.6847482
Charles PKumar S(2014)Design of a secure architecture for context-aware Web Services using access control mechanism2014 International Conference on Contemporary Computing and Informatics (IC3I)10.1109/IC3I.2014.7019678(780-784)Online publication date: Nov-2014
https://doi.org/10.1109/IC3I.2014.7019678
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents