Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 -Modelli di fase d’analisi Ernesto Damiani Università degli Studi.

Presentazione sul tema: "Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 -Modelli di fase d’analisi Ernesto Damiani Università degli Studi."— Transcript della presentazione:

1 Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 -Modelli di fase d’analisi Ernesto Damiani Università degli Studi di Milano Lezione 18 – Tecniche di descrizione architetturale

2 Rendere comprensibili le descrizioni di architetture software (1) Introduzione (1) L’architettura software descrive un sistema software Le descrizioni architetturali sono informali e diagrammatiche Spesso si usano box e linee: ambiguità – Per un sistema possono significare filtri e pipe – Per un altro sistema box  oggetti e linee o tipi di dati astratti  chiamate di procedura

3 Rendere comprensibili le descrizioni di architetture software (2) Introduzione (2) Convenzioni grafiche diverse usate per descrivere più di un tipo di componente o connessione in un singolo sistema Stereotipi usati in tutte le descrizioni architetturali

4 Come usare gli stereotipi Definire il modello semantico Discutere la sintassi concreta per facilitare la leggibilità delle descrizioni sintattiche Definire la corrispondenza (mapping) dalla sintassi astratta al modello semantico Rendere espliciti i vincoli sulla sintassi

5 Sintassi astratta di architetture software (1) Componente – Il rapporto astratto tra il componente e il suo ambiente è definito come un insieme di porte o punti d’interazione:  [PORT, COMPDESC]

6 Sintassi astratta di architetture software (2) Connettori – Il connettore ha un’interfaccia che consiste in un insieme di ruoli:  [ROLE, CONNDESC]

7 Sintassi astratta di architetture software (3) Le istanze di componenti e connettori sono identificate denominando elementi dalla classe sintattica – [COMPNAME, CONNNAME] – PortInst == COMPNAME x PORT – RoleInst == CONNNAME x ROLE

8 Fase 1 (1) Definire il modello semantico

9 Fase 1 (2) Definire il modello semantico

10 Fase 2 Definire la sintassi concreta

11 Fase 3 Mapping dalla sintassi astratta al modello semantico

12 Fase 4 Evidenziare i vincoli sulla sintassi

13 Vantaggi Fornisce un modello per formalizzare nuovi stili architetturali in modo uniforme Fornisce criteri uniformi per dimostrare che i vincoli notazionali su uno stile siano sufficienti per fornire significati per tutti i sistemi descritti Rende possibile una base semantica unificata attraverso cui interpretazioni stilistiche diverse possono essere confrontate FINE