- Oggetto:
Foundations of communication-centred programming
- Oggetto:
Academic year 2012/2013
- Course ID
- FCCP2011
- Teaching staff
- Prof. Viviana Bono (Titolare del corso)
Prof. Mariangiola Dezani (Titolare del corso) - Degree course
- Dottorato in Informatica
- Year
- 1° anno
- Type
- A scelta dello studente
- Credits/Recognition
- 2
- Course disciplinary sector (SSD)
- INF/01 - informatica
- Delivery
- Tradizionale
- Language
- Italiano
- Attendance
- Obbligatoria
- Type of examination
- Orale
- Oggetto:
Sommario del corso
- Oggetto:
Course objectives
The service-oriented computing paradigm has emerged in response to a fundamental shift in the way enterprises conduct business.
The aim of this course is to discuss models of communication protocols assuring secure interactions of all participants.
A key concept is that of contract, namely specification of mutual behavioural constraints among communicating components to achieve some distinguished goals.
A contract is a discipline for delivering, discovering and interacting with web services. It includes both a description of service capabilities and constraints on their usage, as well as rights and duties of the client, preferences, entitlements and credentials. Moreover, a contract includes security requirements, such as confidentiality and integrity.
Suggested readings and bibliography
- Oggetto:
Davide Sangiorgi The pi-calculus: A Theory of Mobile Processes
- Oggetto: