Distributed Calculus and Coordination


News

  • September 29, 2020: The lectures start at 9:00 at LB1. Please follow the COVID security protocol of the phase 3, carefully!

General Info

Teacher:

ESSE3 Link

Lessons schedule:

  • Tuesday, 9am - 11pm (Room, LB1)
  • Thursday, 9am - 11pm (Room, LB1)

Students Office hours:

  • Thursday 11pm - 13pm, Polo Informatico - new building

Course Objectives

D1 - KNOWLEDGE AND UNDERSTANDING At the end of the course, the student should know and understand:

  1. issues relevant to the modelling of a complex system
    1. the concept of entanglement between structure and behaviour
  2. issues related to the dynamics of a complex system
    1. the role of entropy for detecting the state of a complex system
    2. the concept of emerging behaviour
  3. the differences among models and languages
    1. the three formal aspects of a complex system: computation, coordination and adaptation
    2. the automata-based modelling and forma languages (FSMs)
    3. the process-based modelling and algebraic languages (CCS)
    4. the agent-based modelling and coordination languages (Klaim, Linda)

D2 - APPLYING KNOWLEDGE AND UNDERSTANDING At the end of the course, the student should be able to:

  1. characterise the structure and dynamics of complex systems
  2. distinguish interactions from relations, so as communication from coordination
  3. correlate the behavioural and structural components of a complex system
  4. analyse whether to apply an agent-base model to a real context

D3 - MAKING JUDGEMENTS At the end of the course, the student must be able to select:

  1. the best calculus to characterize the structure of a complex system
  2. the more suitable approach to model the behaviour of a complex system;

D4 - COMMUNICATION SKILLS

  1. write a short review in LaTex
  2. write an essay about the assigned research topic
  3. make a short presentation of the assigned topic

D5 - LEARNING SKILLS At the end of the course, the student should be able to:

  1. autonomously understand if the evolution of the model of a given system can be described and coordinated through the analysis of its phenomenological data.

Course Contents

  1. Models and languages for distributed Calculus: process algebraic calculi, rule-based (CHAM), membrane-based (P-Systems).
  2. Coordination models and languages: Linda, Klaim
  3. Concurrent Programming paradigms: Agent-oriented
  4. Multiagent modelling and simulation environments: REPAST
  5. Topology driven modelling: S[B]

Study material

Course Slides

  • slide 1st lesson

Reference books

  1. N. Khakpour, E. Merelli, M. Sirjani, L. Tesei. A Formal Approch to Multi-level Adaptive Systems: Modelling ad Analysis - Lecture Notes
  2. M.Wooldrige, An Introduction to Multiagent Systems,John Wiley & Sons, 2009
  3. L. Aceto, A.Ingosfdottier, K. Larsen Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, 2007
  4. A. Zomorodiam, Topology for computing, Cambridge Univerisity Press, 2005

Exams

Exam Dates A.Y. 2020/2021

  • Winter session dates here in ESSE 3
  • Summer session dates
  • Autumn session dates
  • Winter session dates (2021)

Exam rules:

  • Homeworks
  • Development of a project (group or individual assignment).

Exam Results

  • N/A