Automatic service composition based on behavioral descriptions

Automatic service composition based on behavioral descriptions (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , MASSIMO MECELLA

Venue:	INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Citations:	29 - 8 self

BibTeX

@ARTICLE{Berardi05automaticservice,
    author = {Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and MASSIMO MECELLA},
    title = {Automatic service composition based on behavioral descriptions},
    journal = {INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS},
    year = {2005},
    volume = {14},
    pages = {2005}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

743	First-Order Dynamic Logic - Harel - 1997
585	Data Integration: A Theoretical Perspective - Lenzerini
491	The Description Logic Handbook: Theory, Implementation and Applications - Baader, Calvanese, et al. - 2003
460	McIlraith.S.2003,Bringing Semantics to Web Services - Martin
402	BBusiness Process Execution Language for Web Services Version 1.1 - Andrews, Curbera, et al.
395	Answering queries using views: A survey - Halevy
340	Knowledge in Action – Logical Foundations for specifying and Implementing Dynamical Systems - Reiter
322	RACER system description - Haarslev, Moller - 2001
312	Propositional dynamic logic of regular programs - Fischer, Ladner - 1979
252	Adapting Golog for composition of semantic Web Services - McIlraith, Son - 2002
245	Simulation, verification and automated composition of web services - Narayanan, McIlraith - 2002
171	Decidable reasoning in terminological knowledge representation systems - Buchheit, Donini, et al. - 1993
143	Analysis of interacting BPEL web services - Fu, Bultan, et al. - 2004
129	The FaCT system - Horrocks - 1998
126	Conversation specification: a new approach to design and analysis of e-service composition - Bultan, Fu, et al. - 2003
124	Logics of programs - Kozen, Tiuryn - 1990
110	Automated Composition of Semantic Web Services into Executable Processes - Traverso, Pistore - 2004
103	Dynamic and adaptive composition of e-service - Casati, Shan
97	The self-serv environment for web services composition - Benatallah, Sheng, et al.
95	Web Services: concepts, Architectures and Applications. Data-Centric Systems and Applications - Alonso, Casati, et al. - 2004
93	E-services: A look behind the curtain - Hull, Benedikt, et al. - 2003
86	DAML-S: Web Service Description for the Semantic Web - Ankolekar, Burstein, et al. - 2002
54	Combining deduction and model checking into tableaux and algorithms for Converse-PDL’, Information and Computation - Giacomo, Massacci - 2000
53	A peer-to-peer approach to web service discovery - Schmidt, Parashar
48	Planning and monitoring web service composition - Pistore, Barbon, et al. - 2004
40	Information gathering during planning for web service composition - Kuter, Sirin, et al. - 2005
37	The WISE Approach to Electronic Commerce - Lazcano, Alonso, et al. - 2003
34	XML-enabled Workflow Management for e-Services across Heterogeneous Platforms - Shegalov, Gillmann, et al.
30	Enabling Italian E-Government through a Cooperative Architecture - Mecella, Batini - 2001
29	A request language for web-services based on planning and constraint satisfaction - Aiello, Papazoglou, et al. - 2002
28	Specification and verification of data-driven web services - Deutsch, Sui, et al. - 1999
27	Deterministic Propositional Dynamic Logic: Finite Models - Ben-Ari, Halpern, et al. - 1982
26	Synthesis of underspecified composite e-services based on automated reasoning - Berardi, Giacomo, et al. - 2004
24	Conceptual Modeling of Web Service Conversations - Benatallah, Casati, et al. - 2003
24	Request Rewriting-Based Web Service Discovery - Benatallah, Hacid, et al. - 2003
24	Planning and monitoring the execution of web service requests - Lazovik, Aiello, et al. - 2005
24	Service Components for Managing the Lifecycle of Service Compositions - Yang, Papazoglou
22	ModelDriven Web Service Development - Baina, Benatallah, et al. - 2004
18	Flexible interface matching for web-service discovery - Wang, Stroulia
16	Proteus: A System for Dynamically Composing and Intelligently Executing Web Services - Ghandeharizadeh, Knoblock, et al.
15	Finite State Automata as Conceptual Model for e-Services - Berardi, Rosa, et al. - 2003
15	Web service composition as a planning task: Experiments using knowledge-based planning - Martinez, Lesperance - 2004
12	e-service composition by description logics based reasoning - Berardi, Calvanese, et al. - 2003
12	Beyond discrete e-services: Composing session-oriented services - Christophides, Hull, et al. - 2001
11	Automatic Service Composition: Models, Techniques and Tools - Berardi - 2005
8	E-ADOME: A Framework for Enacting Eservices - Chiu, Karlapalem, et al. - 2000
5	Automated Task Planning. Theory & Practice - Nau, D, et al. - 2004
3	Cooperative information systems in virtual districts: The VISPO approach - Colombo, Francalanci, et al. - 2002
2	Contemporany Logic Design. Benjamin Commings/Addison - Katz - 1993
2	Components:A Substrate for Web Service Reuse and Composition - Web - 2002