====== Domain Specific Formal Languages ======
----
===== News =====
<WRAP center round important 95%>
  * Lesson of 26th of January is postponed, due to the graduation day
  * January 10th, 2017: First in itinere test
  * October 18th, 2016: this lecture is postponed
  * October 3rd, 2016: first lecture
</WRAP>

----
===== General Info =====
<WRAP box round 95% center>
**Teacher**: 
  * [[http://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=990&ru=PA|Francesco Tiezzi]] 

**Lessons schedule**:
  * Monday 15 - 17 (D. M. Ritchie room)
  * Tuesday 9 - 11 (D. M. Ritchie room)

**Students Office hours**:
  * on appointment (via email), room CS 08, second floor of Polo Tecnologico Palazzo Battibocca, via del Bastione 1, Camerino
</WRAP>
----
===== Course Objectives =====

<WRAP box round 95% center>
D1 – KNOWLEDGE AND UNDERSTANDING\\
At the end of the course, the student should be able to:\\
  - Have the knowledge of the syntax and semantics of the formal languages at the basis of the DSL introduced in the course, i.e. CCS and pi-calculus.
  - Have the knowledge of DSLs and related tools for distributed systems, service-oriented systems, access control policies, cloud computing systems, autonomic systems, and business process modelling.

D2 – APPLYING KNOWLEDGE AND UNDERSTANDING\\
At the end of the course, the student should be able to:\\
  - Model a system using the appropriate formal language among those presented in the course.
  - Derive the labelled transition system associated to a formal specification.
  - Use software tools specific for the analysis and development of the considered classes of systems.

D3 – MAKING JUDGEMENTS\\
At the end of the course, the student should be able to:\\
  - Identify the best language suitable for describing a given system.

D4 - COMMUNICATION SKILLS\\
At the end of the course, the student should be able to:\\
  - Present the modelling and analysis of a system under study using a formal style. 

D5 – LEARNING SKILLS\\
At the end of the course, the student should be able to:\\
  - Search the scientific literature for specific advances in formalisms and software tools aimed at modelling and verifying systems.
  - Autonomously learn to define formalisms for different application domains.
</WRAP>

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

<WRAP round 95% center box>
  * Brief introduction to preliminary mathematical concepts at the basis of the topic faced in the course. 
  * Domain Specific Languages (DSL)
  * From CCS to pi-calculus: syntax and semantics
  * DSL for distributed systems: Dpi, Djoin, Ambient, Klaim/Klava
  * DSL for service-oriented systems: COWS/SocL/CMC, CaSPiS, SOCK/Jolie, Blite/BliteC
  * DSL for access control policies: FACPL
  * DSL for cloud computing systems: SLAC/dSLAC, Mobica
  * DSL for autonomic systems: SCEL/jRESP
  * DSL for business process modelling: BPMN formalisation

**Prerequisites**\\
Content from the FORMAL MODELLING OF SOFTWARE INTENSIVE SYSTEMS course, such as finite state automata; context-free grammars; inference systems; syntax and semantics of CCS. These topics will be anyway briefly illustrated at the beginning of the course.
</WRAP>
----
===== Study material =====
<WRAP box round center 95%>
**Course Slides**
  * {{ :didattica:magistrale:dsfl:ay_1617:dsfl_intro.pdf |General information and introduction}}
  * {{ :didattica:magistrale:dsfl:ay_1617:slides_ccs.pdf |CCS}}
  * {{ :didattica:magistrale:dsfl:ay_1617:parrow--an_introduction_to_the_pi-calculus.pdf |J. Parrow. An introduction to the pi-calculus}}
  * {{ :didattica:magistrale:dsfl:ay_1617:klaim.pdf | Klaim }}
  * {{ :didattica:magistrale:dsfl:ay_1617:foundational_calculi_for_network_aware_programming_.pdf |Calculi for network-aware programming}}
  * {{ :didattica:magistrale:dsfl:ay_1617:soc.pdf |An overview of SOC}}
  * {{ :didattica:magistrale:dsfl:ay_1617:cows.pdf |COWS}}
  * {{ :didattica:magistrale:dsfl:ay_1617:analysis_with_cows.pdf |Analysis of SOC systems with COWS}}
  * {{ :didattica:magistrale:dsfl:ay_1617:facpl.pdf |FACPL}}

**Tools**
  * {{ :didattica:magistrale:dsfl:ay_1617:klava-2b.jar.zip |Klava}}

**Lectures**
  * [[https://cmr-em.webex.com/cmr-em-it/lsr.php?RCID=b1039645fcadce9edb96edaba2dbdbf8|13 December]]
  * [[https://cmr-em.webex.com/cmr-em-it/lsr.php?RCID=2631ee5d47f8a455312da26ec673813a|16 December]]
  * [[https://drive.google.com/open?id=0B2v4obBsNmUOdUhJRHlwMzVuQTg|20 December]] (password: pBGM3hmq)
  * [[https://drive.google.com/open?id=0B2v4obBsNmUOOGZFeDVHdm1MOUU|23 December]] (password: gYevPmJ2)
  * [[https://drive.google.com/open?id=0B2v4obBsNmUOdEprVFdwYmFfY1E|13 January]] (password: tPbbSnN2)
  * [[https://drive.google.com/open?id=0B2v4obBsNmUOa2RtRXQyTDQ4cEE|27 January]] (password: kJF4Yxf9)
  * [[https://drive.google.com/open?id=0B2v4obBsNmUOLTY3SklQMHR0Xzg|2 February]] (password: gYEQ6a6c)
  * [[https://drive.google.com/open?id=0B2v4obBsNmUONjZ2eURucHlRclE|9 February]]


**Reference books**
  * The teaching material of the course consists of lecture notes, papers and slides provided by the teacher in this website.
</WRAP>
----
===== Exams =====
<WRAP box round center 95%>
**Exam Dates A.Y. 2016/2017**
  * Appello I: 28/02/2017 ore 14:00 - Polo Lodovici - AB1
  * Appello II: 16/03/2017 ore 14:00 - Polo Lodovici - AB1
  * Appello III: 19/06/2017 ore 10:00 - Polo Lodovici
  * Appello IV: 10/07/2017 ore 10:00 - Polo Lodovici
  * Appello V: 26/07/2017 ore 10:00 - Polo Lodovici
  * Appello VI: 8/09/2017 ore 10:00 - Polo Lodovici
  * Appello VII: 22/09/2017 ore 10:00 - Polo Lodovici
  * Appello VIII: 20/10/2017 ore 10:00 - Polo Lodovici

**Exam rules**:\\ 
Learning outcomes are assessed using two different tests:
  * **Written test**. On the exam date a written test takes place, it has a mixed structure: solution of exercises, and open/close answer questionnaire. During the course in itinere tests take place; in case they are evaluated positively, they replace the written test of the exam date.
  * Realisation of a **project** with a software tool presented during the course, or writing of a report. There is an **oral discussion**.

** Exam Results **
  * N/A
</WRAP>