This is the web page of the course "Service Integration", which is a section of Elective in Software and Services.

News

• The course will start on Feb. 25, 2014

Office hours

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 2013/14 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 are given in the second semester February 24-May 31, 2014.
• Lectures will be held Tuesdays from 14:00 to 15:30, sometimes also from 12:00 to 13:30, room A2, Via Ariosto 25.
• The 2013/14 edition will course has also a secondary instructor, Prof. Massimo Mecella, that will look in technological and implementation aspects of service composition.

Lectures Schedule

• Week 1 (Feb 25): transition systems - bisimulation
• Week 2 (Mar 4): simulation vs bisimulation
• Week 3 (Mar 11): logics of programs & invariance wrt bisimulation
• Week 4 (Mar 18): service composition via simulation
• Week 5 (Mar 25): service composition - nondeterminism and partial controllability
• Week 6 (April 1): service composition - nondeterminism and partial controllability
• Week 7 (April 8): video game technology and service composition - by Stavros Vassos
• Week 8 (April 15): synthesis of partially controllable system through model checking game structure
• Week 9 (April 29): the TLV system (a model checker for game structure) - by Fabio Patrizi
• Week 10 (May 6): web services technologies - by Massimo Mecella
• Week 11( May 13): web services technologies (2 hours lectures + 2 hours lab) - by Massimo Mecella
• Week 12 (May 20): web services technologies (2 hours lectures + 2 hours lab) - by Massimo Mecella
• Week 13 (May 27): case study: web services in smart homes (2 hours lectures + 2 hours lab) - by Massimo Mecella

Slides and other material

Slides and other material (the contens of this is updated after each lecture.)

Previous edition of the course

• 2008/09 edition
• 2009/10 edition
• 2010/11 edition
• 2011/12 edition
• 2012/13 edition

Schedule of final exams

• First exam: June 2014
• Second exam: July 2014
• Third exam: September 2014