Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE. Paolo Salvaneschi A4_3 V2.1. Progettazione. Metodi e Linguaggi

Transcript

1 Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE Paolo Salvaneschi A4_3 V2.1 Progettazione Metodi e Linguaggi Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale e per supporto a lezioni universitarie. Ogni altro uso è riservato, e deve essere preventivamente autorizzato dall autore. Sono graditi commenti o suggerimenti per il miglioramento del materiale

2 INDICE Linguaggi e metodi di progettazione Dati Funzioni Oggetti Eventi Concorrenza Tempo Interazione persona /macchina Integrazione dei linguaggi A4 - Progettazione Paolo Salvaneschi 2

3 Linguaggi e metodi di progettazione Linguaggi di modellazione Metodo Passi successivi Guide e suggerimenti Legame con il tipo di software da sviluppare Banca dati Protocollo di comunicazione Sistema real time Sistema eterogeneo A4 - Progettazione Paolo Salvaneschi 3

4 Dati Progetto diretto dalla modellazione dei dati Il nucleo del progetto è il modello dei dati Attorno ad esso sono connesse le funzioni Progettazione di basi di dati, Sistemi Informativi A4 - Progettazione Paolo Salvaneschi 4

5 Dati Modello Entità Relazione A4 - Progettazione Paolo Salvaneschi 5

6 Dati Progettazione concettuale Schema concettuale Progettazione Logica Schema logico Progettazione fisica Schema fisico A4 - Progettazione Paolo Salvaneschi 6

7 Funzioni Progetto diretto dalle funzioni Modellazione dei flussi di dati tra funzioni Derivazione di una struttura gerarchica del programma Progettazione di processi di elaborazione (processi che trasformano dati di ingresso in dati di uscita) A4 - Progettazione Paolo Salvaneschi 7

8 Funzioni Diagramma di flusso dei dati A4 - Progettazione Paolo Salvaneschi 8

9 Funzioni Diagrammi di struttura Derivazione di un diagramma di struttura da un diagramma di flusso dati Moduli operativi Moduli di coordinamento A4 - Progettazione Paolo Salvaneschi 9

10 Oggetti Progetto basato sulla definizione di oggetti (entità che contengono sia dati che funzioni e che interagiscono) Fondamentalmente basato sui dati (arricchiti di operazioni) A4 - Progettazione Paolo Salvaneschi 10

11 Oggetti Diagrammi delle classi UML Collezione di modelli che coprono varie viste A4 - Progettazione Paolo Salvaneschi 11

12 Oggetti Unified Modeling Language (UML) Unione di più modelli diversi Struttura Class / object diagram Comportamento Use case diagram Statechart diagram Activity diagram Sequence diagram Collaboration diagram Implementazione Component diagram Deployment diagram Vincoli Object constraint language (OCL) A4 - Progettazione Paolo Salvaneschi 12

13 Eventi Progetto basato sulla modellazione di eventi che pilotano lo stato di un sistema Sistemi basati su eventi (es. protocollo di comunicazione) A4 - Progettazione Paolo Salvaneschi 13

14 Eventi Automa a stati finiti Stato Transizione Evento Azione (Stato e transizione sono globali) non A4 - Progettazione Paolo Salvaneschi 14

15 Concorrenza Progetto basato sulla modellazione processi concorrenti Sistemi basati su processi concorrenti Sistemi distribuiti A4 - Progettazione Paolo Salvaneschi 15

16 Concorrenza Reti di Petri Posti / Transizioni Condizioni / Eventi Risorse / Attività (Stato e transizione sono distribuiti (locali)) A4 - Progettazione Paolo Salvaneschi 16

17 Concorrenza Progr I1 Compilazione Internet Compilazione manuale Reti di Petri Posti / Transizioni Condizioni / Eventi Risorse / Attività (Stato e transizione sono distribuiti (locali)) DB Parametri Contratto DB Contratto non attivo Introduzione/ Validazione Contratto/ Delega firmati Invio dati a PlaNet Progr P1 PlaNet Conferma DB Contratto attivo Attivazione Progr P2 Informazioni per SAP Conferma cliente A4 - Progettazione Paolo Salvaneschi 17

18 Tempo Sistemi real time (che non vuol dire sistemi veloci ma sistemi in cui i vincoli di tempo devono essere rispettati (pena la correttezza del sistema) 1. Generici requisiti di prestazioni temporali (sistemi interattivi) 2. Requisiti di prestazioni temporali statistici (tempo medio di esecuzione di una transazione) 3. Correttezza dipendente dal tempo (controllo di un processo industriale, sistema di controllo di un aereo) A4 - Progettazione Paolo Salvaneschi 18

19 Tempo I vincoli temporali devono essere modellati esplicitamente Diagrammi di flusso dati arricchiti con flussi di controllo Automi a stati finiti arricchiti per tener conto della durata delle transizioni Reti di Petri temporizzate Real time UML A4 - Progettazione Paolo Salvaneschi 19

20 Interazione persona macchina Interfacce persona / macchina Progetto di comunicazione Struttura dei componenti Dinamica diretta da eventi A4 - Progettazione Paolo Salvaneschi 20

21 Integrazione dei linguaggi I sistemi complessi sono eterogenei Es. Sistema = Sistema di raccolta dati (apparati distribuiti + telecomunicazioni) + Banca dati + Distribuzione su Internet con interfaccia Web Dipendentemente dai componenti si utilizzano linguaggi e metodi diversi A4 - Progettazione Paolo Salvaneschi 21