This is an old revision of the document!

Distributed Calculus and Coordination

News

  • Insert the date here: the course web site is now on-line
  • February 29nd, 2016: The page is on-line

General Info

Teacher:

Lessons schedule:

  • Monday, 11am - 1pm (Room, D. M. Ritchie)
  • Wednesday, 11am - 1pm (Room, D. M. Ritchie)

Students reception hours:

  • Tuesday 5:30pm - 7:30pm, Palazzo Battibocca - 2nd Piano - Room n.CS-05

Course Objectives

  1. Know how characterize the modeling of complex systems.
  2. Be able to apply methods, languages and techniques of distributed computing and coordination in the modeling of complex software systems.
  3. Knowing how to model a multi-agent system in prototyping environments.
  4. Knowing how characterize the evolution of the models with the phenomenological analysis of real data.

Course Contents

  1. Modelli di Calcolo Distribuito: algebre di processo; CCS-like
  2. Modelli e linguaggi di Coordinazione: LINDA, Klaim
  3. Paradigmi di programmazione concorrente: agent-oriented, actor-based
  4. Ambienti di modellizzazione e prototipizzazione di sistemi multiagente: REPAST,
  5. Modelli guidati dall'analisi topologica dei dati: 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. 2015/2016

  • Winter session dates here
  • Summer session dates here
  • Autumn session dates here
  • Winter session dates here (2016)

Exam rules:

  • Svolgimento di esercizi assegnati
  • Sviluppo di un progetto (svolto individualmente o a gruppi).

Exam Results

  • N/A