4th International Workshop on AI for Service Composition

held in conjunction with

The 17th European Conference on Artificial Intelligence (ECAI 2006)
Riva del Garda, Trento, Italy, Aug 28 - Sept 1, 2006

Workshop Description

In the last years, there has been increasing interest in service composition. According to this approach, existing distributed services can be selected and combined into suitable workflows of tasks, in order to provide new functionalities or applications. Service composition has the potential to revolutionize the classical approaches to data integration and business process integration, reducing development time and effort. Standards and platforms based on service models and supporting service composition have been developed in different frameworks, including web services, grid services, and agent services.

AI techniques have been proposed to support different key aspects of the management of service compositions, including tasks such as their generation, allocation of resources, execution, monitoring and repair. For instance, knowledge representation techniques have been exploited to provide suitable semantic annotations of services; planning has been applied to an automatic generation of the workflows composing the services; scheduling has been applied to resource allocation and workflow optimization; and agent techniques have been applied to support a dynamic adaptation of the workflows.

However, many issues remain to be resolved. These include (1) forming precise, clean and general characterizations of service compositions, and identifying the most appropriate ways to formalize the critical steps in their life cycle; (2) determining suitable languages to represent service compositions in all their relevant aspects and finding ways of bridging the gap between service composition languages used in the industry and languages exploited in AI; (3) highlighting important challenges for AI to be effective in practical, industrial contexts, proposing techniques and tools able to address these challenges in realistic scenarios, and finding architectures for integrating such techniques in a robust, integrated environment.

This workshop is the continuation of three successful workshops at ICAPS 2003, ICAPS 2004, and AAAI 2005, and aims at becoming a regular meeting place for researcher and practitioners working in the field of AI and in the area of service composition. Participants will have the possibility to discuss research issues on these themes, to propose real case studies, and to present systems under development. Topics of interest include but are not limited to the following:



Workshop Programme

8.30-9:30 INVITED SPEAKER: Massimo Paolucci - Bringing Web services to Mobile Environments
9.30-10:00 An Immune System-Inspired Approach for Composite Web Services Reuse - R. Bova, S. Hassas, S. Benbernou
10.00-10:30 COFFEE BREAK
10.30-11:00 A Service Selection Model to Improve Composition Reliability - N. Kokash
11.00-11:30 Implicit vs. Explicit Data-flow Requirements in Web Service Composition Goals - A. Marconi, M. Pistore, P. Traverso
11.30-12:00 Web Service Composition in a Temporal Action Logic - L. Giordano, A. Martelli
12.00-12:15 Automatic Web Service Composition: Service-tailored vs. Client-tailored Approaches - D. Berardi, G. De Giacomo, M. Mecella, D. Calvanese
12.15-12:30 Causal link matrix and AI planning: a model for Web service composition - F. Lecue, A. Leger
12.30-14:00 LUNCH BREAK
14.00-14:30 Formal Development of Web Services - A. Chirichiello, G. Salaun
14.30-15:00 Abduction for Specifying and Verifying Web Service and Choreographies - F. Chesani, P. Mello, M. Montali, M. Alberti, M. Gavanelli, E. Lamma, S. Storari
15.00-15:15 Using Quantified Boolean Logics to Verify Web Service Composition Requirements - E. Giunchiglia, M. Narizzano, M. Pistore, M. Roveri, P. Traverso
15.15-15:30 A Composition oriented proposal to describe functionalities of devices - S. Tandabany, M. Rousset
15.30-16:00 COFFEE BREAK
16.00-16:30 A Logic For Decidable Reasoning About Services - Y. Gu, M. Soutchanski
16.30-17:00 Designing Security Requirements Models through Planning - V. Bryl, F. Massacci, J. Mylopoulos, N. Zannone
17.00-17:30 Discussion



Proceedings

An electronic version of the AISC06 proceedings can be downloaded here.



Paper Submission Guidelines

Those wishing to attend are encouraged to submit either a full paper of up to 8 pages in the ECAI format, or a short position paper of up to 3 pages.
Further information about submissions will be available soon.



Important dates


Accepted papers

FULL PAPERS
SHORT PAPERS


Organizing committee

Jose Luis Ambite, USC Information Sciences Institute, USA
Jim Blythe, USC Information Sciences Institute, USA
Jana Koehler, IBM Research Laboratory, Switzerland
Sheila McIlraith, University of Toronto, Canada
Marco Pistore, University of Trento, Italy
Biplav Srivastava, IBM Research Laboratory, India


Contact Info

For more information about the workshop send e-mail to: aisc06@itc.it


Previous workshops

This workshop is the continuation of three previous successful workshops: