Loading...
Please wait, while we are loading the content...
Similar Documents
Synthesis of Composite e-Services based on Automated Reasoning
| Content Provider | Semantic Scholar |
|---|---|
| Author | Berardi, Daniela Calvanese, Diego Giacomo, Giuseppe De Lenzerini, Maurizio Mecella, Massimo |
| Copyright Year | 2004 |
| Abstract | e-Services represent a new model in the utilization of the network, in which self-contained, modular applications can be described, published, located and dynamically invoked, in a programming language independent way. This model, sometimes calledService Oriented Computing (SOC (Papazoglou & Georgakopoulos 2003)), enables building agile networks of collaborating business applications, distributed within and across organizational boundaries. Research one-Services spans over many interesting issues, including description, discovery, composition, synchronization, coordination, and verification (Hull et al. 2003). We are specifically interested in automatic e-Service composition.e-Servicecompositionaddresses the situation when a client request cannot be satisfied by any available eService, but acomposite eService, obtained by combining “parts of” availablecomponent eServices, might be used. Composition involves two different issues. The first, sometimes calledcomposition synthesis , or simplycomposition, is concerned with synthesizing a new composite e-Service based on a set of available e-Services and the specification of a client request (called client specification). The synthesis process produces a specification of how to coordinate the component e-Services to obtain the composite e-Service that satisfies the client request. Such a specification can be produced either automatically, i.e., using a tool that implements a composition algorithm , or manuallyby a human. The second, often referred to as orchestration, is concerned with coordinating the various component e-Services according to some given specification, and also monitoring control and data flow among the involved e-Services, in order to guarantee the correct execution of the composite e-Service, synthesized in the previous phase. Our research focuses on automatic composition synthesis. More specifically, we have devised techniques that, given (i) a client specification expressed as a transition system and (ii ) a set of available -Services, described as transition systems, synthesizes a composite e-Service that ( i) uses only the availablee-Services and ( ii ) interacts with the client “in accordance” with the input specification. In fact, such a problem can be seen as an advanced form of Planning. In particular, as in Planning, the problem we are solving is thesynthesis of a programof a specific form |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.inf.unibz.it/~calvanese/papers/bera-etal-P4WGS-2004.pdf |
| Alternate Webpage(s) | http://www.isi.edu/ikcap/icaps04-workshop/final/berardi.pdf |
| Alternate Webpage(s) | http://www.researchgate.net/profile/Maurizio_Lenzerini/publication/249683118_Synthesis_of_Composite_e-Services_based_on_Automated_Reasoning/links/02e7e529a656e8686a000000.pdf |
| Alternate Webpage(s) | http://www.dis.uniroma1.it/~degiacomo/papers/2004/BCDLM_P4WGS2004.pdf |
| Alternate Webpage(s) | http://www.dis.uniroma1.it/~degiacom/papers/2004/BCDLM_P4WGS2004.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
