PhD in Computer Science

Foundations of communication-centred programming

Foundations of communication-centred programming

Academic year 2023/2024

Sommario del corso

• Program
• Course delivery
• Learning assessment methods
• Suggested readings and bibliography
• Class schedule
• Teaching tools
• Course card

Program

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.

Course delivery

Learning assessment methods

http://www.di.unito.it/~dezani/papers/ohrid.pdf

Class schedule

• Teaching material
• Exams and finals
• Class schedule
• Go to Moodle
• Register for the course
• Enrolled students
• Invia email agli studenti registrati
• Export table