Modelli e Linguaggi di Modellazione nel Software: Fondamenti e Requisiti

Un modello è un'astrazione di un sistema chiuso semanticamente

1.7.2.2 Linguaggio di Modellazione

È un linguaggio per specificare, costruire, visualizzare e documentare modelli software.

Perché è necessario?

• I sistemi complessi sono difficili da capire se non si dispone di un modello che descrive.
• Ottenere un linguaggio di modellazione in grado di catturare la semantica di qualsiasi sistema software è essenziale per lo svolgimento di un progetto di software di una certa complessità.
• La rappresentazione di un modello in un linguaggio di modellazione ha ovviamente un valore se la...

1.7.3 Principio di Partizione

• Divisione in parti per ridurre la complessità.
• Si dividono le aree di funzionalità, di informazione e comportamento.
• Fornisce una struttura gerarchica:
  • Divisione verticale: raffinatezza
  • Divisione orizzontale: divisione funzionale è il linguaggio di modellazione standard.

2.1 Specifica dei Requisiti

Software

Una specifica è un documento che definisce requisiti completi, accurati e verificabili, progettazione, comportamento o altre caratteristiche di un sistema o componente di un sistema.

Caratteristiche:

• Deve contenere informazioni precise.
• Deve comunicare le informazioni in modo efficace.
• È necessario dire cosa fare e non come farlo.
• Descrivere i requisiti del software.
• Escludere le cose inutili.
• Non deve comprendere i dati di progettazione, la verifica o l'indirizzo, a meno che i vincoli di progettazione riguardino le caratteristiche di ammissibilità.
• Auspicale: non ambiguo.
• Ogni richiesta ha una sola interpretazione.
• Completo: include tutti i requisiti generali.
• Definire la risposta a tutti i tipi di voci.
• Conforme con le specifiche standard per soddisfare.
• Sono etichettate e tutte le figure di riferimento, tabelle, ecc.
• Facile da verificare: esiste una procedura finita e redditizia per una persona o una macchina per verificare che il software soddisfi questo requisito.
• Coerente: nessun conflitto o contraddizione.
• Requisiti di due o più partecipanti possono descrivere lo stesso oggetto reale ma usare termini diversi per designarlo.
• Le caratteristiche specificate di oggetti reali possono essere in conflitto logico o temporale tra due azioni specifiche.

Caratteristiche:

• Auspicale: facile da modificare.
• Deve avere coerenza.
• Non essere ridondante: facile individuare l'origine e le conseguenze di ogni requisito.
• Facile da rintracciare: back reference e riferimento alla parte anteriore.
• Facile da usare nelle operazioni di sviluppo e manutenzione.
• Una fonte di conoscenza.