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"


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).



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.


The lectures of the section Service Integration will be given in the first semester (October-December 2008), starting from October 9, every Thursday at 10:15-11:45.

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

There are two possible way to take the final exam for this section: either taking a standard written exam + an oral discussion; or preparing a small dissertation (tesina) and its presentation and discussion. For the latter possibility the student is required to get her/his assignment before the course ends.
Sample of the written exam will be available on this site before the first written exam date.

The standard written exam is 2 hours long and consist of two parts.

An example of the written exam is available here.


Schedule of final exams: