Article

Tools for design of composite Web services

Authors:

Richard Hull,

Jianwen SuAuthors Info & Claims

SIGMOD '04: Proceedings of the 2004 ACM SIGMOD international conference on Management of data

Pages 958 - 961

https://doi.org/10.1145/1007568.1007722

Published: 13 June 2004 Publication History

Get Access

References

[1]

M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In Proc. Int. Colloq. on Automata, Languages and Programming, 1989.

Digital Library

Google Scholar

[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

Google Scholar

[3]

S. Abitegoul, A. Bonifati, G. Cobena, I. Manolescu, and T. Milo. Dynamic XML documents with distribution and replication. In Proc. ACM SIGMOD Int. Conf. on Management of Data, 2003.

Digital Library

Google Scholar

[4]

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), LNCS, Vol. 2910, pages 43--58, 2003.

Crossref

Google Scholar

[5]

J. Buchi and L. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, 138:295--311, 1969.

Crossref

Google Scholar

[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. Int. World Wide Web Conf., 2003.

Digital Library

Google Scholar

[7]

E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 2000.

Digital Library

Google Scholar

[8]

OWL Services Coalition. OWL-S: Semantic markup for web services, November 2003.

Google Scholar

[9]

SWSL Committee. Semantic web services language requirements (draft). http://www.daml.org/services/swsl/requirements/swsl-requirements%.shtml.

Google Scholar

[10]

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

Google Scholar

[11]

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

Google Scholar

[12]

E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, volume B, Chapter 7, pages 995--1072. North Holland, 1990.

Digital Library

Google Scholar

[13]

M. Fernandez, R. Hull, N. Onose, and J. Simeon. Yoo-Hoo! Building a presence service with XQuery and WSDL. In Proc. ACM SIGMOD Int. Conf. on Management of Data, 2004.

Digital Library

Google Scholar

[14]

D. Florescu, A. Grünhagen, and D. Kossmann. XL: An XML programming language for web service specification and composition. In Proc. Int. World Wide Web Conf., 2002.

Digital Library

Google Scholar

[15]

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

Google Scholar

[16]

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

Google Scholar

[17]

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

Digital Library

Google Scholar

[18]

F. Gandon and N. Sadeh. A semantic eWallet to reconcile privacy and context awareness. In Proc. 2nd Int. Semantic Web Conf. (ISWC), Florida, October 2003.

Google Scholar

[19]

M. Grüninger. Applications of PSL to semantic web services. In Proc. of SWDB'03, 1st Int. Workshop on Semantic Web and Databases, 2003.

Google Scholar

[20]

J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 1979.

Digital Library

Google Scholar

[21]

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

Google Scholar

[22]

O. Kupferman and M. Y. Vardi. Synthesizing distributed systems. In Proc. IEEE Symp. on Logic In Computer Science, 2001.

Digital Library

Google Scholar

[23]

S. Lu. Semantic Correctness of Transactions and Workflows. PhD thesis, SUNY at Stony Brook, 2002.

Digital Library

Google Scholar

[24]

S. McIlraith and T. Son. Adapting Golog for composition of semantic web services. In Proc. the 8th Int. Conf. on Knowledge Representation and Reasoning (KR2002), 2002.

Google Scholar

[25]

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

Digital Library

Google Scholar

[26]

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

Digital Library

Google Scholar

[27]

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

Digital Library

Google Scholar

[28]

N. Onose and J. Simeon. XQuery at your web service. In Proc. Int. World Wide Web Conf., 2004.

Digital Library

Google Scholar

[29]

A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In Proc. IEEE Symp. on Foundations of Computer Science, 1990.

Digital Library

Google Scholar

[30]

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

Digital Library

Google Scholar

[31]

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

Digital Library

Google Scholar

[32]

PSL Standards Group. http://ats.nist.gov/psl/.

Google Scholar

[33]

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

Google Scholar

Cited By

View all

Deutsch AHull RLi YVianu V(2018)Automatic verification of database-centric systemsACM SIGLOG News10.1145/3212019.32120255:2(37-56)Online publication date: 30-Apr-2018
https://dl.acm.org/doi/10.1145/3212019.3212025
Kiran MSimons A(2015)Model-Based Testing for Composite Web Services in Cloud Brokerage ScenariosAdvances in Service-Oriented and Cloud Computing10.1007/978-3-319-14886-1_18(190-205)Online publication date: 28-Feb-2015
https://doi.org/10.1007/978-3-319-14886-1_18
Deutsch AHull RVianu V(2014)Automatic Verification of Database-Centric SystemsACM SIGMOD Record10.1145/2694428.269443043:3(5-17)Online publication date: 4-Dec-2014
https://dl.acm.org/doi/10.1145/2694428.2694430
Show More Cited By

Tools for design of composite Web services
1. Information systems
  1. World Wide Web

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 ...
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 ...
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 ...

Comments

Information & Contributors

Information

Published In

SIGMOD '04: Proceedings of the 2004 ACM SIGMOD international conference on Management of data

June 2004

988 pages

ISBN:1581138598

DOI:10.1145/1007568

Conference Chairs:
Arnd Christian König
Microsoft Research
,
Stefan Dessloch
University of Kaiserslautern, Germany
,
General Chair:
Patrick Valduriez
INRIA, France
,
Program Chair:
Gerhard Weikum
University of the Saarland

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS04

Sponsor:

SIGMOD

SIGMOD/PODS04: International Conference on Management of Data and Symposium on Principles Database and Systems

June 13 - 18, 2004

Paris, France

Acceptance Rates

Overall Acceptance Rate 785 of 4,003 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

45
Total Citations
View Citations
1,852
Total Downloads

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

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Deutsch AHull RLi YVianu V(2018)Automatic verification of database-centric systemsACM SIGLOG News10.1145/3212019.32120255:2(37-56)Online publication date: 30-Apr-2018
https://dl.acm.org/doi/10.1145/3212019.3212025
Kiran MSimons A(2015)Model-Based Testing for Composite Web Services in Cloud Brokerage ScenariosAdvances in Service-Oriented and Cloud Computing10.1007/978-3-319-14886-1_18(190-205)Online publication date: 28-Feb-2015
https://doi.org/10.1007/978-3-319-14886-1_18
Deutsch AHull RVianu V(2014)Automatic Verification of Database-Centric SystemsACM SIGMOD Record10.1145/2694428.269443043:3(5-17)Online publication date: 4-Dec-2014
https://dl.acm.org/doi/10.1145/2694428.2694430
Kona SBansal ASimon LMallya AGupta GHite T(2012)USDLInnovations, Standards and Practices of Web Services10.4018/978-1-61350-104-7.ch002(23-53)Online publication date: 2012
https://doi.org/10.4018/978-1-61350-104-7.ch002
Ferreira JBraghetto KTakai OPu C(2012)Transactional Recovery Support for Robust Exception Handling in Business Process ServicesProceedings of the 2012 IEEE 19th International Conference on Web Services10.1109/ICWS.2012.14(303-310)Online publication date: 24-Jun-2012
https://dl.acm.org/doi/10.1109/ICWS.2012.14
Oreku GLi J(2011)End User Authentication (EUA) Model and Password for SecurityOrganizational and End-User Interactions10.4018/978-1-60960-577-3.ch007(149-164)Online publication date: 2011
https://doi.org/10.4018/978-1-60960-577-3.ch007
Nadkarni DBasu SHonavar VLutz R(2011)Failure Analysis for Composition of Web Services Represented as Labeled Transition SystemsWeb Services and Formal Methods10.1007/978-3-642-19589-1_11(161-175)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19589-1_11
Nadkarni DBasu SHonavar VLutz R(2010)Failure analysis for composition of web services represented as labeled transition systemsProceedings of the 7th international conference on Web services and formal methods10.5555/1987781.1987792(161-175)Online publication date: 16-Sep-2010
https://dl.acm.org/doi/10.5555/1987781.1987792
Ferreira JTakai OMalkowski SPu C(2010)Reducing exception handling complexity in business process modeling and implementationProceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I10.5555/1947725.1947742(150-167)Online publication date: 25-Oct-2010
https://dl.acm.org/doi/10.5555/1947725.1947742
Lv PJing FXue JWang YCui W(2010)Development of a GIS-based Public Information Service Platform for Chinese Tea Industry2010 International Conference on Multimedia Technology10.1109/ICMULT.2010.5631132(1-4)Online publication date: Oct-2010
https://doi.org/10.1109/ICMULT.2010.5631132
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.

Cited By

Recommendations

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

Composing Web Services: A QoS View

Securing Data in Composite Web Services