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

• The course starts on March 15, 2011.
• The course will be on Thursday from 12:00 to 13:30, except when announced here to be on Tuesday.
• The lesson of Thursday April 28 is moved to Tuesday May 3 and will be given by Massimo Mecella. The next lesson with De Giacomo after May 3 will be on Thursday May 12.
• As part of the course Massimo Mecella will give two lectures on Business Process Mondeling given on Wednesday May 18, from 12:00-13:30+14:00-15:30 in room A7 (the lectures are shared with "Seminars in Software and Services for the Information Society").
• The last lecture of this year will be held on Wednesday June 1, 2011 at 17:30, we meet in front of room A7 (just after the lecture Metodi Formali).

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. In the 2010/11 edition 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.

Lectures

The lectures of the section Service Integration will be given in the second semester (March-June 2011). Typically lectures will be every Thursday from 12:00 to 13:30, room A6, Via Ariosto 25. However, sometimes it will be on Tuesday from 12:00-13:30, room A7, Via Ariosto 25 (it will be announced in the News above).

Office hours

Slides and other material

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

Final exams

Previous edition of the course

• 2008/09 edition
• 2009/10 edition

Schedule of final exams:

• First written exam: June 10, 2011, at 15:45, aula A3, Via Ariosto 25 (together with Metodi Formali) - send an email to degiacomo@dis.uniroma1.it by June 5, 2011 to reserve this turn (prenotazione) - Text and results
• Second written exam: July 26, 2011, at 15:00, aula A3, Via Ariosto 25 (together with Metodi Formali) - send an email to degiacomo@dis.uniroma1.it by July 22, 2011 to reserve (prenotazione) - Text and results
• Third written exam: September 22, 2011 at 15:00, aula A3, Via Ariosto 25 (together with Metodi Formali) - send an email to degiacomo@dis.uniroma1.it by September 18, 2011 to reserve (prenotazione) - Text and results
• "Appello Straordinario": November 11, 2011 at 14:00, aula 2, Via Scarpa/Via Castro Laurenziano (together with Metodi Formali) - send an email to degiacomo@dis.uniroma1.it by November 8, 2011 to reserve (prenotazione).
  Important: "Gli appelli straordinari di Ingegneria dell'Informazione, A.A. 2010-11 sono aperti a tutti gli studenti ripetenti, part-time, fuori corso o che abbiano completato comunque tutte le frequenze. Sono altresì aperti agli studenti iscritti al 3° anno di corso nell’A. A. 2010-11 della Laurea Triennale e agli studenti iscritti al 2° anno di corso nell’A. A. 2010-11 della Laurea Magistrale che debbano presentare domanda per l’esame di laurea entro il 19 novembre, per la sessione 5-21 dicembre 2011." - Results
• Fourth written exam: January 10, 2012 at 14:00, aula B2, Via Ariosto 25 (together with Metodi Formali) - send an email to degiacomo@dis.uniroma1.it by Jan 8, 2012 to reserve (prenotazione)
• Fifth written exam: February 21, 2012 at 9:30, aula 1, Via Scarpa (together with Metodi Formali) - send an email to degiacomo@dis.uniroma1.it by Feb 19, 2012 to reserve (prenotazione)
• "Appello Straordinario": April 21, 2012 at 9:30, aula A3&A4, Via Ariosto 25 (together with Metodi Formali) - send an email to degiacomo@dis.uniroma1.it by April 18, 2012 to reserve (prenotazione)
  Important: " Gli appelli straordinari di Ingegneria dell'Informazione, A.A. 2010-11, sono aperti a tutti gli studenti ripetenti, part-time, fuori corso o che abbiano completato comunque tutte le frequenze."