Article

Automated composition of e-services: lookaheads

Authors:

Çagdaş Evren Gerede,

Oscar H. Ibarra,

Jianwen SuAuthors Info & Claims

ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing

Pages 252 - 262

https://doi.org/10.1145/1035167.1035203

Published: 15 November 2004 Publication History

Abstract

The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous network-enabled services. Among the challenges, a fundamental question concerns the design and analysis of composite e-services. This paper proposes techniques towards automated design of composite e-services. We consider the Roman model which represents e-services as activity-based finite state automata. For a given set of existing e-services and a desired e-service, does there exist a "mediator" which delegates activities in the desired e-service to existing e-services? The question was raised in an early study by Berardi et. al. for a restricted subclass of delegators which does not take into consideration of future activities. In this paper, we define a more general class of delegators called "lookahead" delegators and we show that the hierarchy based on the amount of lookahead is strict. We, then, study the complexity of constructing such delegators. We prove that in the case of deterministic e-services, a <i>k</i>-lookahead delegator can be computed in time polynomial in the size of target and subcontractor e-services, and exponential in <i>k</i> and the number of subcontractor e-services. We also present <i>W</i>ozart, an automated mediator construction tool implemented to realize our approaches.

References

[1]

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

Digital Library

[2]

S. Abiteboul, 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

[3]

D. Berardi, D. Calvanese, G. D. 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.

[4]

Business Process Execution Language for Web Services (BPEL), Version 1.1. http://www.ibm.com/developerworks/library/ws-bpel, May 2003.

[5]

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

[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. (WWW), May 2003.

Digital Library

[7]

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

Digital Library

[8]

Z. Dang, O. Ibarra, and J. Su. Composability of infinite-state activity automata. In Proceedings of the 15th International Symposium on Algorithms and Computation, Hong Kong, December 2004. To appear.

Digital Library

[9]

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

[10]

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

[11]

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

[12]

X. Fu, T. Bultan, and J. Su. Wsat: A tool for formal analysis of web services. In 16th Internatioanal Conference on Computer Aided Verification, July 2004.

[13]

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

[14]

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

Digital Library

[15]

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

Digital Library

[16]

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

Digital Library

[17]

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

Digital Library

[18]

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

Digital Library

[19]

OWL-S 1.0 Release. http://www.daml.org/services/owl-s/1.0/, May 2003.

[20]

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

Digital Library

[21]

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

Digital Library

[22]

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

Digital Library

[23]

Simple Object Access Protocol (SOAP) 1.1. W3C Note 08, May 2000. http://www.w3.org/TR/SOAP/.

[24]

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

[25]

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

Cited By

Saleemi MAnjum MRehman M(2017)eServices Classification, Trends, and Analysis: A Systematic Mapping StudyIEEE Access10.1109/ACCESS.2017.27662875(26104-26123)Online publication date: 2017
https://doi.org/10.1109/ACCESS.2017.2766287
Tan WZhou M(2015)Service‐Oriented Workflow SystemsContemporary Issues in Systems Science and Engineering10.1002/9781119036821.ch18(645-660)Online publication date: 7-Apr-2015
https://doi.org/10.1002/9781119036821.ch18
Wang SUpadhyaya BZou YKeivanloo INg JNg T(2014)Automatic Propagation of User Inputs in Service Composition for End-UsersProceedings of the 2014 IEEE International Conference on Web Services10.1109/ICWS.2014.23(73-80)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1109/ICWS.2014.23
Show More Cited By

Index Terms

Automated composition of e-services: lookaheads

Recommendations

On composition and lookahead delegation of e-services modeled by automata

Let M be a class of (possibly nondeterministic) language acceptors with a one-way input tape. A system (A; A₁,..., A_r) of automata in M is composable if for every string w = a₁...a_n of symbols accepted by A, there is an assignment of each symbol a_j in w ...
A dual-layered model for web services representation and composition

Nowadays more and more companies and organizations implement their business services in the Internet due to the tremendous progress made recently in the field of Web services. It becomes possible to publish, locate and invoke applications across the ...
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 ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing

November 2004

348 pages

ISBN:1581138717

DOI:10.1145/1035167

General Chairs:
Paolo Traverso
ITC-irst, Italy
,
Sanjiva Weerawarana
IBM Research, USA & University of Moratuwa, Sri Lanka
,
Program Chairs:
Francisco Curbera
IBM Research
,
Mike P. Papazoglou
Tilburg University, The Netherlands
,
Mikio Aoyama
Nanzan University, Japan

Copyright © 2004 ACM.

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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 November 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSOC04

Sponsor:

ICSOC04: Second International Conference on Service Oriented Computing 2004

November 15 - 19, 2004

NY, New York, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

62
Total Citations
View Citations
1,060
Total Downloads

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

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Saleemi MAnjum MRehman M(2017)eServices Classification, Trends, and Analysis: A Systematic Mapping StudyIEEE Access10.1109/ACCESS.2017.27662875(26104-26123)Online publication date: 2017
https://doi.org/10.1109/ACCESS.2017.2766287
Tan WZhou M(2015)Service‐Oriented Workflow SystemsContemporary Issues in Systems Science and Engineering10.1002/9781119036821.ch18(645-660)Online publication date: 7-Apr-2015
https://doi.org/10.1002/9781119036821.ch18
Wang SUpadhyaya BZou YKeivanloo INg JNg T(2014)Automatic Propagation of User Inputs in Service Composition for End-UsersProceedings of the 2014 IEEE International Conference on Web Services10.1109/ICWS.2014.23(73-80)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1109/ICWS.2014.23
Jula ASundararajan EOthman Z(2014)ReviewExpert Systems with Applications: An International Journal10.1016/j.eswa.2013.12.01741:8(3809-3824)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1016/j.eswa.2013.12.017
Caron PFlouret MMignot L(2014)k,l-Unambiguity and Quasi-Deterministic StructuresProceedings of the 8th International Conference on Language and Automata Theory and Applications - Volume 837010.1007/978-3-319-04921-2_21(260-272)Online publication date: 10-Mar-2014
https://dl.acm.org/doi/10.1007/978-3-319-04921-2_21
Deng TFan WLibkin LWu Y(2013)On the aggregation problem for synthesized Web servicesJournal of Computer and System Sciences10.1016/j.jcss.2013.01.00779:6(873-891)Online publication date: 1-Sep-2013
https://dl.acm.org/doi/10.1016/j.jcss.2013.01.007
De Giacomo GPatrizi FSardiñA S(2013)Automatic behavior composition synthesisArtificial Intelligence10.1016/j.artint.2012.12.001196(106-142)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.artint.2012.12.001
Upadhyaya BZou YWang SNg J(2013)Automatically Composing Services by Mining Process Knowledge from the WebProceedings of the 11th International Conference on Service-Oriented Computing - Volume 827410.1007/978-3-642-45005-1_19(267-282)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1007/978-3-642-45005-1_19
Cong ZFernández Gil A(2013)Efficient web service discovery using hierarchical clusteringProceedings of the Second international conference on Agreement Technologies10.1007/978-3-642-39860-5_6(63-74)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1007/978-3-642-39860-5_6
Nourine LToumani F(2013)Formal Approaches for Synthesis of Web Service Business ProtocolsWeb Services and Formal Methods10.1007/978-3-642-38230-7_1(1-15)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38230-7_1
Show More Cited By

View Options

Get Access

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.

Media

Figures

Other

Tables

View Table of Contents