INGLESE

Il corso ha due aspetti: la maggior parte di esso è dedicata alle metodologie e alle tecniche utilizzate per modellare e analizzare i sistemi informatici, mentre un'appendice presenta le basi del web semantico.

Appunti dalle lezioni.
Titoli pertinenti saranno suggeriti all'inizio del corso.

L'obiettivo del corso è fornire agli studenti gli strumenti metodologici per modellare e valutare i sistemi informatici e comprendere le principali problematiche del web semantico.

Si assume che gli studenti abbiano acquisito i contenuti dei corsi di Teoria della probabilità, Fondamenti di informatica e Fondamenti di programmazione.

Lezioni ed esercitazioni.

Progetto, prova scritta e prova orale

Nessuna

PARTE I: MODELLAZIONE DI SISTEMI BASATI SU CALCOLATORE

Modelli per descrivere l'organizzazione o la composizione di sistemi: modelli strutturali e comportamentali.

Introduzione all'analisi di performability: prestazioni, affidabilità. Concetti e problematiche principali. Metriche.

Modellazione per analizzare il comportamento e le caratteristiche di un sistema: processi di Markov, reti di Petri, reti di code, alberi di errore.

Introduzione alla simulazione per l'analisi delle prestazioni.

PARTE II: FONDAMENTI DEL WEB SEMANTICO

Descrizione semantica delle informazioni.
Ontologie. Linguaggio di descrizione delle ontologie OWL.

English

This course is twofold: the most of it is devoted to methodologies and techniques used to model and analyze computer systems, while an appendix presents the basics about semantic web.

Notes from the lectures.
Relevant titles will be suggested at the beginning of the course.

Goal of the course is to provide students with the methodological means to model and evaluate computer systems and to understand the main issues about the semantic web.

Students are expected to have acquired the contents of Probability theory, Fundamentals of Computer Science and Fundamentals of programming courses.

Lessons and exercise sessions.

Project, written and oral exam

None

PART I: MODELING OF COMPUTER SYSTEMS

Modeling to describe the organization or the composition of systems: structural and behavioral models.

Introduction to performability analysis: performances, dependability. Main concepts and issues. Metrics.

Modeling to analyze the behavior and the carachteristics of a system: Markov processes, Petri nets, queuing networks, fault trees.

Introduction to simulation for performance analysis.


PART II: FUNDAMENTALS OF SEMANTIC WEB

Semantic description of information.
Ontologies. OWL ontology description language.