Systems Modelling with SysML

Gli studenti che desiderano frequentare questo corso non sono tenuti ad avere alcuna precedente esposizione alla modellazione dei sistemi, ma devono avere una solida conoscenza delle tecniche di ingegneria dei sistemi "document centric".

Questo corso è offerto in due varianti per fornire una comprensione pratica di come i sistemi possono essere modellati utilizzando la versione più recente della specifica SysML (Systems Modeling Language) di OMG . La notazione e la semantica sottostante di SysML sono spiegate in un modo che consente agli studenti di applicare ciò che apprendono a qualsiasi metodo o strumento di modellizzazione del sistema adatto.

Introduzione alla modellazione dei sistemi

• Che cos'è un modello di sistema?
• I quattro pilastri della modellizzazione dei sistemi
• Incentrato sul modello vs incentrato sui documenti
• Che cos'è SysML?
• Relazione tra SysML e UML
• I quattro pilastri di SysML

Costrutti comuni e trasversali

• Profili, stereotipi e tag
• Cornici dei diagrammi
• Commenti
• Allocazioni

Diagrammi dei pacchetti

• Che cos'è un pacchetto?
• Strutturazione del modello con i pacchetti
• Contenimento del pacco
• Dipendenze dei pacchetti
• Rappresentazione della struttura del modello
• Panorami e punti panoramici

Diagrammi dei requisiti

• Che cos'è un requisito?
• Modellazione dei requisiti atomici
• Tracciabilità dei requisiti

Use Case Diagrammi

• Il sistema come scatola nera
• Identificare il confine del sistema con gli attori
• Casi d'uso come servizi di sistema
• Dietro il diagramma dei casi d'uso
• Struttura del caso d'uso · Scenari nominali e alternativi
• Gestione del comportamento comune
• Comportamento esteso e specializzato

Diagrammi di attività

• Modellazione della logica basata sul flusso
• Azioni vs attività
• Informazioni sul flusso di token
• Flusso di controllo vs flusso di oggetti
• Decisioni di modellazione · Modellazione della concorrenza
• Corsie e responsabilità

Diagrammi di definizione dei blocchi

• Che cos'è un blocco?
• Funzionalità del blocco
• Tipi di modellazione
• Gerarchia dei sistemi di modellazione
• Generalizzazione degli elementi del sistema

Diagrammi a blocchi interni

• Parts revisited
• Ports with Flow Properties
• Standard ports and interfaces 
• Proxy ports and interface blocks 
• Full ports 

Diagrammi parametrici

• Che cos'è un blocco di vincolo?
• Vincolo delle proprietà del sistema

Diagrammi di sequenza

• Comportamento basato sull'interazione
• Sequenze semplici
• Sincrono vs asincrono
• Nodi di frammento
• Nodi di utilizzo dell'interazione

Diagrammi della macchina a stati

• Stati e loro sintassi
• Transizioni tra stati
• Notazione pseudo stato (iniziale, decisione, cronologia, fine)
• Stati in decomposizione
• Modellazione di stati concorrenti

Risorse per la modellazione dei sistemi e ulteriori letture

• Risorse web suggerite
• Letteratura consigliata