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"
2009/10
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
- The course starts on October 2, 2009, as announced: it will be on Fridays 17:30-19:00 in room B2, Via Ariosto 25.
- The lecture on October 30, 2009 will be given by Massimo Mecella and will be on technologcal aspects of services composition.
- The lecture on November 6, 2009 will be in room A4, Via Arisoto 25.
- The lecture on November 13, 2009 is cancelled.
- The lectures on November 20, 2009 and November 27, 2009 on Workflows and YAWL will be given by Massimiliano de Leoni.
- From December 2, 2009, the lecture of the courses will be twice a week: on friday as usual and on Wednesday form 12:00 to 13:30 in Room A3.
- The next four lectures starting from December 2, 2009 (twice a week) will be given by Terry Heath of IBM Research NY, USA
- The software tool Siena (see Terry Heath lecture material) will be avaiable only till Friday 18, 2009 on this site.
- The lecture on Decembre 16, 12:00-13:00 will be held in Room A3 as usual, while the lecture on December 18, 2009 will be held in Room A4.
- The course ends on December 18, all student interested in final project should form a group and get a project assigned by then.
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 2009/10 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 first semester (October-December 2009), starting from October 2, every Friday at 17:30-19:00, room B2, Via Ariosto 25.
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.
- The first part is composition problem: given a target service and a set of available services, verify the existence of a composition (by computing first the cartisian product of the transition systems of the available services and then computing the simulation -or ND-simulation depending on the case). Then, if the composition exists, produce the output function of the orchestrato generator. If not, propose a change to the available services that guarantees the existence of the composition.
- The second part is a theoretical question that can be about everything studied in the course (which is available on the course material/notes/slides).
Schedule of final exams:
- First written exam: Jan. 27, 2010, time 09:30, Room 33, Via Eudossiana 18- exam reservation from 21/12/2009 to 24/01/2010 - text and results
Discussion and "verbalizzazione" on Feb. 11, 2010, time 15:00, Room B215, Via Ariosto 25. Note in order to take next exam (on Feb 16, 2010), students that passed this one have to send me an email cancelling it.
- Second written exam: Feb. 16, 2010, time 14:00, Room 33, Via Eudossiana 18 - exam reservation from 27/01/2010 to 08/02/2010 - text and results
Discussion and "verbalizzazione" on April 8, 2010 and April 15, 2010, time 11:00, Room B215, Via Ariosto 25.
- "Appello Straordinario": April 16, 2010, time 15:40, Aula 11, Via Scarpa - exam reservation from 07/04/2010 to 11/04/2010 - text and results
Notice: "l'appello è riservato a: studenti iscritti fuori-corso; studenti iscritti ripetenti, limitatamente agli esami dell'anno che ripetono e degli anni precedenti; studenti lavoratori ufficialmente noti alla segreteria, che abbiano ottenuto il regime di part-time. Il riconoscimento dello status di studenti fuori corso e di quelli che hanno completato la frequenza si effettua sulla base della ricevuta di prenotazione prestampata da INFOSTUD. Per la laurea di base, deve risultare l'immatricolazione nell'a.a. 2006-07 o precedente. Per la laurea specialistica, o magistrale, l'immatricolazione deve essere avvenuta nell'a.a. 2007-08 o precedente. E' causa di esclusione dall'appello straordinario il mancato possesso della ricevuta da parte dello studente. Nei casi di studenti trasferiti, l'anno di immatricolazione potrebbe essere successivo a quelli suddetti. In tale evenienza, la ricevuta dovrà essere accompagnata da un documento idoneo ad attestare che l'immatricolazione in questa Università sia avvenuta a un anno successivo al primo, in modo da permettere di constatare l'avvenuto completamento dell'ultimo anno di corso. Gli studenti ripetenti e part-time da ammettere agli appelli straordinari sono esclusivamente quelli che risultano in tale stato per l'a.a. 2009-10. Gli studenti che non hanno diritto a partecipare all'appello sono vivamente pregati di evitare di prenotarsi, affinché non diventi ancor più complicata l'organizzazione logistica, con danno per gli aventi diritto". Since for this course we are not using INFOSTUD, the students should come to the written exam with a proof of being in the condition to take the exam.
Discussion and "verbalizzazione" on May 27, 2010, time 11:00, Room B215, Via Ariosto 25. Note in order to take next exam (on June/July/September, 2009), students that passed this one have to send me an email cancelling it.
- Third written exam: June 24, 2010, time 09:30, Room 1, Via Eudossiana 18- exam reservation from 04/06/2010 to 20/06/2010 - text and results
Discussion and "verbalizzazione"on July 8, 2010, time 11:00, Room B215, Via Ariosto 25.
- Fourth written exam: July 20, 2010, time 15:00, Room 38, Via Eudossiana 18- exam reservation from 24/07/2010 to 15/07/2010 - text and results
Discussion and "verbalizzazione" on July 27, 2010, time 18:00, Room B215, Via Ariosto 25.
- Fifth written exam: September 24, 2010, time 9:00, Aula 7 or 14, Via Scarpa (we meet in Aula 7 and then we split if necessary). The exam will be managed by Prof. Mecella, and will be in the same place as the exam of Progettazione del Sofware. - text and results
Discussion and "verbalizzazione" on October 15, 2010, time 10:00 at Prof. Mecella's office in Via Ariosto 25.
- Appello di straordinario: L'appello verrà gestito dal Prof. Mecella. La
prenotazione va fatta con docente Mecella (non De Giacomo).
- Sono state aperte le prenotazioni per l'appello STRAORDINARIO di ottobre/novembre 2010, aperto a tutti gli studenti, di tutti i corsi gestiti dal docente ing. Massimo Mecella. Le prenotazioni chiudono il 24/10/2010. La data, orario ed aula degli esami ancora non sono disponibili (a causa di problemi, non imputabili al doocente, legati all'organizzazione dell'appello da parte delle Facoltà in contemporanea con l'inizio delle lezioni) e verranno pubblicati non appena noti. Con molta probabilità, la prova di esame si svolgerà tra mar. 26 e giov. 28 ottobre p.v.
- Ulteriori informazioni saranno disponibili sul sito http://www.dis.uniroma1.it/~mecella/didattica/2010/
- Exam of Jan. 11, 2011 - text
- Exam of Jan. 25, 2011 - text and results
- Appello di straordinario: lunedì 16 maggio 2011, ore 10:00, Via Ariosto 25, Aula A4: L'appello verrà gestito dal Prof. Mecella. La
prenotazione va fatta per email con docente Mecella (e in cc a De Giacomo) entro il 9 maggio 2011. results
Nota: essendo un appello straordinario, ne potranno usufruire ESCLUSIVAMENTE:
- Studenti fuori-corso (che deve risultare tale sulla base delle indicazioni --anno di immatricolazione-- riportate sulla ricevuta INFOSTUD stampata dallo studente.)
- Studenti ripetenti, limitatamente agli esami dell'anno che ripetono e a quelli degli anni precedenti (che deve essere attestata dallo studente mediante esibizione della ricevuta di versamento dell'iscrizione come RIPETENTE per l'anno 2010/11