Article

Synthesis of underspecified composite e-services based on automated reasoning

Authors:

Daniela Berardi,

Giuseppe De Giacomo,

Maurizio Lenzerini,

Massimo Mecella,

Diego CalvaneseAuthors Info & Claims

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

Pages 105 - 114

https://doi.org/10.1145/1035167.1035183

Published: 15 November 2004 Publication History

Abstract

In this paper we study automatic composition synthesis of <i>e</i>-Services, based on automated reasoning. We represent the behavior of an <i>e</i>-Service in terms of a deterministic transition syst (or a finite state machine), in which for each action the role of the <i>e</i>-Service, either as initiator or as servant, is highlighted. In this setting we present an algorithm based on satisfiability in a variant of Propositional Dynamic Logic that solves the automatic composition probl. Specifically, given (<i>i</i>) a possibly incomplete specification of the sequences of actions that a client would like to realize, and (<i>ii</i>) a set of available <i>e</i>-Services, our technique synthesizes a composite <i>e</i>-Service that (<i>i</i>) uses only the available <i>e</i>-Services and (<i>ii</i>) interacts with the client "in accordance" to the given specification. We also study the computational complexity of the proposed algorithm.

References

[1]

M. Aiello, M. Papazoglou, J. Yang, M. Carman, M. Pistore, L. Serafini, and P. Traverso. A Request Language for Web-Services Based on Planning and Constraint Satisfaction. In Proc. of VLDB-TES 2002.]]

Digital Library

[2]

T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services (Version 1.1). http://www-106.ibm.com/developerworks/library/ws-bpel/.]]

[3]

A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, and K. Sycara. DAML-S: Web Service Description for the Santic Web. In Proc. of ISWC 2002.]]

Digital Library

[4]

F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implentation and Applications. Cambridge University Press, 2003.]]

Digital Library

[5]

F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69(1):5--40, 2001.]]

[6]

D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of phe-Services that Export their Behavior. In Proc. of ICSOC 2003.]]

[7]

D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. A Foundational Vision of phe-Services. In Proc. of WES~2003.]]

[8]

M. Buchheit, F. M. Donini, and A. Schaerf. Decidable Reasoning in Tterminological Knowledge Representation systems. J. of Artificial Intelligence Research, 1:109--138, 1993.]]

Digital Library

[9]

T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In Proc. of the WWW 2003 Conference.]]

Digital Library

[10]

D. Calvanese and G. De Giacomo. Expressive description logics. In Baader et al. {4}, chapter 5, pages 178--218.]]

Digital Library

[11]

F. Casati and M. Shan. Dynamic and Adaptive Composition of e-Services. Information systems, 6(3), 2001.]]

Digital Library

[12]

G. De Giacomo and F. Massacci. Combining Deduction and Model Checking into Tableaux and Algorithms for converse-PDL. Information and Computation, 160(1--2):117--137, 2000.]]

Digital Library

[13]

A. Elmagarmid and W. McIver Jr. The Ongoing March Towards Digital Government (Special Issue). IEEE Computer, 34(2), 2001.]]

Digital Library

[14]

M. Fattorosi-Barnaba and F. De Caro. Graded modalities I. Studia Logica, 44:197--221, 1985.]]

[15]

M. Fauvet, M. Dumas, B. Benatallah, and H. Paik. Peer-to-Peer Traced Execution of Composite Services. In Proc. of VLDB-TES 2001.]]

Digital Library

[16]

K. Fine. In so many possible worlds. Notre Dame Journal of Formal Logic, 13(4):516--520, 1972.]]

[17]

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

Digital Library

[18]

D. Georgakopoulos, editor. Proc. of RIDE-VE'99]]

[19]

M. Ghallab, D. Nau, and P. Traverso. Automated Task Planning: Theory & Practice. Morgan Kaufmann, 2004.]]

Digital Library

[20]

S. Ghandeharizadeh, C. A. Knoblock, C. Papadopoulos, C. Shahabi, E. Alwagait, J. L. Ambite, M. Cai, C. Chen, P. Pol, R. R. Schmidt, S. Song, S. Thakkar, and R. Zhou. Proteus: A Syst for Dynamically Composing and Intelligently Executing Web Services. In Proc. of ICWS 2003.]]

[21]

V. Haarslev and R. Möller. RACER syst description. In Proc. of IJCAR~2001, volume 2083 ofLNAI, pages 701--705. Springer-Verlag, 2001.]]

Digital Library

[22]

A. Y. Halevy. Answering Queries Using Views: A Survey. J. of Very Large Data Bases, 10(4):270--294, 2001.]]

Digital Library

[23]

D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, 2000.]]

Digital Library

[24]

I. Horrocks. The FaCT syst. In Proc. of TABLEAUX'98, volume 1397 ofLNAI, pages 307--312. Springer-Verlag, 1998.]]

Digital Library

[25]

R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: A Look Behind the Curtain. In Proc. of the PODS 2003 Conference.]]

Digital Library

[26]

U. Kuter, E. Sirin, D. Nau, B. Parsia, and J. Hendler. Information Gathering during Planning for Web Service Composition. In Proc. of ICAPS-P4WGS 2004.]]

Digital Library

[27]

M. Lenzerini. Data integration: A theoretical perspective. In Proc. of PODS 2002, pages 233--246.]]

Digital Library

[28]

E. Martinez and Y. Lesperance. Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning. In Proc. of ICAPS-P4WGS 2004.]]

[29]

S. McIlraith, T. Son, and H. Zeng. Santic web services. IEEE Intelligent systems, 16(2), 2001.]]

Digital Library

[30]

M. Mecella and B. Pernici. Building Flexible and Cooperative Applications Based on e-Services. Technical Report 21-2002, Dipartimento di Informatica e Sististica, Università di Roma "La Sapienza", Roma, Italy, 2002. (available on line at: http://www.dis.uniroma1.it/~mecella/publications/mp_techreport_212002.pdf).]]

[31]

M. Mecella, B. Pernici, and P. Craca. Compatibility of e-Services in a Cooperative Multi-Platform Environment. In Proc. VLDB-TES 2001.]]

Digital Library

[32]

R. Möller and V. Haarslev. Description logic systems. In Baader et al. {4}, chapter 8, pages 282--305.]]

Digital Library

[33]

M. Papazoglou and D. Georgakopoulos. Service Oriented Computing (Special Issue). Communications of the ACM, 46(10), October 2003.]]

Digital Library

[34]

T. Pilioura and A. Tsalgatidou. e-Services: Current Technologies and Open Issues. In Proc. of VLDB-TES 2001.]]

Digital Library

[35]

F. Pistore, M. and Barbon, P. Bertoli, and P. Shaparau, D. and Traverso. Planning and Monitoring Web Service Composition. In Proc. of ICAPS-P4WGS 2004.]]

[36]

H. Schuster, D. Georgakopoulos, A. Cichocki, and D. Baker. Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes. In Proc. of CAiSE 2000.]]

Digital Library

[37]

G. Shegalov, M. Gillmann, and G. Weikum. XML-enabled workflow management for e-Services across heterogeneous platforms. J. of Very Large Data Bases, 10(1), 2001.]]

Digital Library

[38]

W. Van der Hoek. On the santics of graded modalities. Journal of Applied Non-Classical Logics, 2(1):81--123, 1992.]]

[39]

J. Yang and M. Papazoglou. Web Components: A Substrate for Web Service Reuse and Composition. In Proc. of CAiSE 2002.]]

Digital Library

Cited By

Wang PDing ZJiang CZhou MZheng Y(2016)Automatic Web Service Composition Based on Uncertainty Execution EffectsIEEE Transactions on Services Computing10.1109/TSC.2015.24129439:4(551-565)Online publication date: 1-Jul-2016
https://doi.org/10.1109/TSC.2015.2412943
Kaldeli ELazovik AAiello M(2016)Domain-independent planning for services in uncertain and dynamic environmentsArtificial Intelligence10.1016/j.artint.2016.03.002236:C(30-64)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1016/j.artint.2016.03.002
Graja IGuermouche NKacem ADrira K(2015)An Approach for Multiple-Instance Based Service CompositionProceedings of the 2015 IEEE International Conference on Services Computing10.1109/SCC.2015.66(435-442)Online publication date: 27-Jun-2015
https://dl.acm.org/doi/10.1109/SCC.2015.66
Show More Cited By

Index Terms

Synthesis of underspecified composite e-services based on automated reasoning
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification
  2. Software organization and properties
    1. Software functional properties
      1. Formal methods
    2. Software system structures
      1. Software system models
        State systems
2. Theory of computation
  1. Logic
    1. Programming logic
  2. Semantics and reasoning
    1. Program reasoning

Recommendations

Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05: Proceedings of the IEEE International Conference on Web Services

In this paper we propose a technique for the automated synthesisof new composite web services. Given a set of abstract BPEL4WSdescriptions of component services, and a composition requirement,we automatically generate an executable BPEL4WS process that,...
Generating Global Contract for Composite Services
ICSS '15: Proceedings of the 2015 International Conference on Service Science

Nowadays services are fast evolving into the coarse-grained composite services by mash up technology in both business and IT levels. It is quite important for both customers and composite service providers (called "broker") to measure whether 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

44
Total Citations
View Citations
714
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

Wang PDing ZJiang CZhou MZheng Y(2016)Automatic Web Service Composition Based on Uncertainty Execution EffectsIEEE Transactions on Services Computing10.1109/TSC.2015.24129439:4(551-565)Online publication date: 1-Jul-2016
https://doi.org/10.1109/TSC.2015.2412943
Kaldeli ELazovik AAiello M(2016)Domain-independent planning for services in uncertain and dynamic environmentsArtificial Intelligence10.1016/j.artint.2016.03.002236:C(30-64)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1016/j.artint.2016.03.002
Graja IGuermouche NKacem ADrira K(2015)An Approach for Multiple-Instance Based Service CompositionProceedings of the 2015 IEEE International Conference on Services Computing10.1109/SCC.2015.66(435-442)Online publication date: 27-Jun-2015
https://dl.acm.org/doi/10.1109/SCC.2015.66
Wang PDing ZJiang CZhou M(2014)Constraint-Aware Approach to Web Service CompositionIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2013.228055944:6(770-784)Online publication date: Jun-2014
https://doi.org/10.1109/TSMC.2013.2280559
Srinivasan SMuthukumarasamy SSivagamy N(2014)Parallel computing based intelligent web service for healthcare platformInternational Conference on Information Communication and Embedded Systems (ICICES2014)10.1109/ICICES.2014.7033959(1-5)Online publication date: Feb-2014
https://doi.org/10.1109/ICICES.2014.7033959
Wang PDing ZJiang CZhou M(2013)Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care PlatformIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMCA.2012.221041243:4(941-957)Online publication date: Jul-2013
https://doi.org/10.1109/TSMCA.2012.2210412
Constante EPaci FZannone N(2013)Privacy-Aware Web Service Composition and RankingProceedings of the 2013 IEEE 20th International Conference on Web Services10.1109/ICWS.2013.27(131-138)Online publication date: 28-Jun-2013
https://dl.acm.org/doi/10.1109/ICWS.2013.27
De Giacomo GMecella MPatrizi F(2013)Automated Service Composition Based on Behaviors: The Roman ModelWeb Services Foundations10.1007/978-1-4614-7518-7_8(189-214)Online publication date: 4-Sep-2013
https://doi.org/10.1007/978-1-4614-7518-7_8
Chen MPoizat PYan Y(2013)Adaptive Composition and QoS Optimization of Conversational Services Through Graph Planning EncodingWeb Services Foundations10.1007/978-1-4614-7518-7_17(423-449)Online publication date: 4-Sep-2013
https://doi.org/10.1007/978-1-4614-7518-7_17
Wang PDing ZJiang CZhou M(2011)Automated web service composition supporting conditional branch structuresEnterprise Information Systems10.1080/17517575.2011.5841328:1(121-146)Online publication date: 24-Jun-2011
https://doi.org/10.1080/17517575.2011.584132
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