INGLESE

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 laboratories.

Written and oral exam

None

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.