Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Enrolled
Metodi formali dell'Informatica

Docente: L. Pomello

Crediti: 6 CFU

Descrizione e Programma del Corso

Conoscenze: Vengono presentati metodi e tecniche formali per la specifica e lo sviluppo di modelli di sistemi concorrenti e l'analisi delle loro proprietà. Viene fornita una panoramica dei principali modelli, considerando in particolare le reti di Petri e i calcoli di processi e di agenti.

Abilità: Lo studente deve acquisire le basi metodologiche per lo sviluppo e la progettazione di modelli di sistemi concorrenti e la verifica delle loro proprietà; ed essere in grado di mettere in relazione e discutere i diversi approcci al modello di sistemi concorrenti.

Programma:

  • Rassegna delle tecniche formali di specifica e disegno di sistemi concorrenti.
  • Teoria generale delle reti di Petri: la struttura di un sistema e il comportamento non sequenziale; proprietà di comportamento e loro verifica.
  • Sistemi di transizioni e teoria delle regioni; specifica e sintesi.
  • Reti ad alto livello, reti stocastiche e reti temporizzate: cenni.
  • I modelli di processi comunicanti e le algebre di processi.
  • Semantica della concorrenza ed equivalenza all'osservazione.
  • Modelli di agenti mobili (cenni)

Vai al sito web del corso

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 25/03/2011