http://www.dis.uniroma1.it/~degiacomo/didattica/software-services

Corso di Laurea Magistrale in Ingegneria Informatica
Facoltà di Ingegneria
SAPIENZA Università di Roma

Elective in Software and Services
(Complementi di software e servizi per la società dell'informazione)

Section "Service Integration"

2011/12

Prof. Giuseppe De Giacomo

 

This is the web page of the section "Service Integration " of the course Elective in Software and Services (Complementi di software e servizi per la società dell'informazione).


News


Program

Services, sometimes called web-services or e-services, are platform agnostic programs that publicly declare and export their behavior so as to be invoked by interested clients. Services are typically associated to standard software programs that actually implement their behavior. Service Integration is the problem of combining (or "composing") services and using them so as to provide new services of interests to the client even if these new services are not directly linked to concrete software programs. In this section, we investigate the formal foundations on automated service integration and composition. We mainly concentrate on integration of process-oriented services (vs. integration of data oriented services, which is quite close to data integration thought in a different section of the course), and we establish connection to planning in AI, on the one hand, and connection to reactive process-synthesis and verification in CS, on the other. We will also look into richer formalisms to describing processes: specifically workflows and artifact-centic business processes. For both we will use forms of automated synthesis tools. The 2011/12 edition will focus on theoretical aspects of compositions as well as on practical realization techniques and available realization technologies.


Lectures

The lectures of the section Service Integration will be given in the second semester (February 27-May 31, 2012). Lectures will be held Tuesdays from 12:00 to 13:30, room A3, Via Ariosto 25.
The 2011/12 edition will course has also a secondary instructor, Prof. Massimo Mecella, that will look in technological and implementation aspects of service composition.


Office hours

See Prof. De Giacomo's didattica

Slides and other material

Slides and other material are uploaded after each lecture. The can be downloaded following this link.


Final exams

It will consist in a written report "tesina" on one of the subjects treated in the course. To be assigned by instructor.

Previous edition of the course


Schedule of final exams: