SEMINARIO DEL GIORNO 18/03/2008

Titolo:

Component-Oriented Verification of Software Architectures.

Relatore:

Prof. Marco Bernardo.

Luogo:

Aula 2 Collegio Raffaello (Piazza della Repubblica 13).

Orario:

16:00 - 18:00.

Numero di crediti:

0.25.

Vincoli di partecipazione:

Nessuno.

Sommario:

In order for a process algebraic architectural description language to be effective, component-oriented modeling must be accompanied by component-oriented verification. In this lecture we present a component-oriented technique based on equivalence checking for the detection of architecture-level mismatches and the provision of related diagnostic information. Such a technique extends previous techniques in terms of generality of the considered mismatches, generality of the considered system topologies, and scalability to system families.

Materiale on-line:

Lucidi (formato PDF).

Docente di riferimento:

Prof. Marco Bernardo.

Ultima modifica: 19/03/2008 Approvato da: Presidente CCdL