Programma del corso

PART I: MODELING OF COMPUTER SYSTEMS

Modeling to describe the organization or the composition of systems: references to UML 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.