====== Distributed Calculus and Coordination ======
----
===== News =====
<WRAP center round important 95%>
  * <wrap em>**September 29, 2020**</wrap>: The lectures start at 9:00 at LB1. Please follow the COVID security protocol of the phase 3, carefully!
</WRAP>

----
===== General Info =====
<WRAP box round 95% center>
**Teacher**: 
  * [[http://computerscience.unicam.it/merelli/|Emanuela Merelli]]

**ESSE3 Link**
  * [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2020*N0*N0*S1*15660*7555&ANNO_ACCADEMICO=2020&mostra_percorsi=S|Distributed Calculus and Coordination - AY 2020/2021]]

**Lessons schedule**:
  * Tuesday, 9am - 11pm  (Room, LB1)
  * Thursday, 9am - 11pm (Room, LB1)

**Students Office hours**:
  * Thursday 11pm - 13pm,  Polo Informatico - new building
</WRAP>
----
===== Course Objectives =====

<WRAP box round 95% center>
D1 - KNOWLEDGE AND UNDERSTANDING
 At the end of the course, the student should know and understand:
      - issues relevant to the modelling of a complex system
        - the concept of entanglement between structure and behaviour  
      - issues related to the dynamics of a complex system 
        - the role of entropy for detecting the state of a complex system 
        - the concept of emerging behaviour
      - the differences among models and languages 
        - the three formal aspects of a complex system: computation, coordination and adaptation
        - the automata-based modelling and forma languages (FSMs)
        - the process-based modelling and algebraic languages (CCS) 
        - 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:
    - characterise the structure and dynamics of complex systems
    - distinguish interactions from relations, so as communication from coordination
    - correlate the behavioural and structural components of a complex system
    - 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:
    - the best calculus to characterize the structure of a complex system
    - the more suitable approach to model the behaviour of a complex system;

D4 - COMMUNICATION SKILLS
    - write a short review in LaTex
    - write an essay about the assigned research topic
    - make a short presentation of the assigned topic

D5 - LEARNING SKILLS 
 At the end of the course, the student should be able to:
        - autonomously understand if the evolution of the model of a given system can be described and coordinated through the analysis of its phenomenological data.
</WRAP>

----
===== Course Contents =====

<WRAP round 95% center box>
  - Models and languages for distributed Calculus: process algebraic calculi, rule-based (CHAM), membrane-based (P-Systems).
  - Coordination models and languages: Linda, Klaim
  - Concurrent Programming paradigms: Agent-oriented
  - Multiagent modelling and simulation environments: REPAST
  - Topology driven modelling: S[B]
</WRAP>
----
===== Study material =====
<WRAP box round center 95%>
**Course Slides**
  * slide 1st lesson
  * 

**Reference books**
  - N. Khakpour, E. Merelli, M. Sirjani, L. Tesei. A Formal Approch to Multi-level Adaptive Systems: Modelling ad Analysis - Lecture Notes
  - M.Wooldrige, An Introduction to Multiagent Systems,John Wiley & Sons, 2009 
  - L. Aceto, A.Ingosfdottier, K. Larsen Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, 2007 
  - A. Zomorodiam, Topology for computing, Cambridge Univerisity Press, 2005
</WRAP>
----
===== Exams =====
<WRAP box round center 95%>
**Exam Dates A.Y. 2020/2021**
  * Winter session dates here in [[https://didattica.unicam.it/auth/docente/CalendarioEsami/ElencoAppelliCalEsa.do|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
</WRAP>