Unified Modeling Language: differenze tra le versioni

Versione delle 23:14, 10 gen 2016

Versione attuale delle 00:30, 12 ago 2025

(85 versioni intermedie di 53 utenti non mostrate)

Riga 1:

{{Nota disambigua||UML (disambigua)|UML}}

[[File:UML logo.svg|frameless|right]]

[[File:UML Diagrams.jpg|thumb|upright=1.4|Raccolta di diagrammi UML]]

In [[ingegneria del software]], '''UML''' (''unifiedUnified modellingModeling languageLanguage'', "linguaggio di modellizzazione unificato") è un [[linguaggio di modellazione|linguaggio di modellizzazione]] e [[linguaggio di specifica|di specifica]] basato sul [[paradigma object-oriented|paradigma orientato agli oggetti]]. Il nucleo del linguaggio fu definito nel [[1996]] da [[Grady Booch]], [[Jim Rumbaugh]] e [[Ivar Jacobson]] (detti "i tre amigos") sotto l'egida dell'[[Object Management Group|Object Management Group (OMG)]], consorzio che tuttora gestisce lo standard UML. Il linguaggio nacque con l'intento di unificare approcci precedenti (dovuti ai tre padri di UML e altri), raccogliendo le [[best practice|migliori prassi]] nel settore e definendo così uno [[industria del software|standard industriale]] unificato.

== Storia ==

L'UML svolge un'importantissima funzione di "[[lingua franca]]" nella comunità della progettazione e programmazione a oggetti. Gran parte della letteratura di settore usa UML per descrivere soluzioni analitiche e progettuali in modo sintetico e comprensibile a un vasto pubblico.

I linguaggi per la modellazione object-orientedorientata agli oggetti iniziarono a svilupparsi in diversi contesti a partire dagli [[anni 1980|anni ottanta]]. Si trattava di notazioni di varia natura, che consentivano di descrivere la struttura di un sistema software a oggetti, (in termini di [[classe (informatica)|classi]] e relazioni fra classi), ed eventualmente il suo comportamento dinamico. La proliferazione di queste notazioni diede luogo a quelle che furono poi battezzate "guerre dei metodi" (''method wars''), con diversi progettisti, o organizzazioni, che adottavano e sostenevano una particolare notazione a scapito di altre adottate altrove. Intorno alla metà degli [[anni 1990|anni novanta]] diversi metodi e linguaggi iniziarono a fondersi, e si iniziò a delineare la possibilità di una integrazione dei principali formalismi in una notazione universalmente accettabile.

Fra lei metodologiemetodi e le notazioni più apprezzateapprezzati e diffusediffusi del periodo spiccavano [[Object Modeling Technique|OMT (Object Modeling Technique)]] di [[Jim Rumbaugh]], e il cosiddetto metodo [[Booch]] di [[Grady Booch]], entrambi ricercatori presso [[Rational Software]]. Il lavoro di unificazione iniziò con loro; in seguito si unì a questo sforzo Jacobson con la sua [[softwarecasa di housesviluppo]] [[Objectory]]. Il primo risultato congiunto di questo ''team'' fu [[OOSE|OOSE (Object Oriented Software Engineering)]].

L'ultima versione del linguaggio, la 2.0, è stata consolidata nel [[2004]] e ufficializzata da OMG nel [[2005]]. UML 2.0 riorganizza molti degli elementi della versione precedente (1.5) in un quadro di riferimento ampliato e introduce molti nuovi strumenti, inclusi alcuni nuovi tipi di diagrammi. Sebbene OMG indichi UML 2.0 come la versione "corrente" del linguaggio, la transizione è di fatto ancora in corso; le stesse specifiche pubblicate da OMG sono ancora non completamente aggiornate e il supporto dei tool a UML 2.0 è, nella maggior parte dei casi, appena abbozzato.

Mentre "i tres amigos" operavano per unificare i propri approcci all'analisi e alla progettazione a oggetti, il progetto fu accolto sotto l'egida dell'[[Object Management Group|OMG (Object Management Group)]], un consorzio fondato con l'obiettivo di creare e gestire [[Norma tecnica|standard]] nel contesto dello sviluppo del software a oggetti. Nel [[1995]], l'OMG raccolse tutti i principali metodologisti del settore in un incontro internazionale per discutere della notazione unificata. Nel [[1996]] l'OMG emise una [[Request for proposal|RFP (Request for Proposal)]] per talequesta notazione. Nello stesso anno, Booch, Rumbaugh e Jacobson misero a punto le ''[[release (informatica)|release]]'' 0.9 e 0.91 di UML. Il progetto fu ben accolto dalla comunità internazionale e innumerevoli grandi organizzazioni si unirono a Rational per proseguirlo, (per esempio [[Digital]], [[Hewlett-Packard]], [[IBM]], [[Microsoft]], [[Oracle Corporation|Oracle]] e [[Unisys]]). QuestoNel 1997 questo gruppo esteso realizzò, nel [[1997]], UML 1.0, che fu sottoposto alla OMG come risposta alla RFP dell'anno precedente.

== Applicazioni ==

Di per sé, UML è solo un linguaggio di modellazione, e non definisce alcuna specifica [[metodologia]] per la creazione di modelli (o alcun [[processo software]]). UML può quindi essere utilizzato nel contesto di diversi approcci metodologici. La OMG gestisce uno standard metodologico, correlato a UML ma proposto come specifica indipendente, detto [[Rational Unified Process|RUP]].

La release 1.1 di UML contribuì a consolidare la semantica del linguaggio e incluse elementi tratti da una proposta avanzata indipendentemente all'OMG da un gruppo composto da [[IBM]], [[ObjectTime]], [[Ptech]] e altre.

UML consente di costruire [[modello|modelli]] object-oriented per rappresentare ''domini'' di diverso genere. Nel contesto dell'ingegneria del software, viene usato soprattutto per descrivere il dominio applicativo di un [[sistema software]] e/o il comportamento e la struttura del sistema stesso. Il modello è strutturato secondo un insieme di viste che rappresentano diversi aspetti della cosa modellata (funzionamento, struttura, comportamento, e così via), sia a scopo di [[analisi (ingegneria del software)|analisi]] che di [[progetto (ingegneria del software)|progetto]], mantenendo la [[tracciabilità (informatica)|tracciabilità]] dei concetti impiegati nelle diverse viste. Oltre che per la modellazione di sistemi software, UML viene non di rado impiegato per descrivere domini di altri tipi, come sistemi [[hardware]], strutture organizzative aziendali, [[processo di business|processi di business]].

== Descrizione ==

Lo standard UML, gestito da OMG, definisce una sintassi e delle regole di interpretazione; non si tratta quindi di una [[metodologia]] di progettazione e per questo motivo può essere adottato con diverse metodologie o in ambiti diversi da quello informatico.

LIl linguaggio nacque con l'intento di unificare approcci precedenti, dovuti ai tre padri di UML e altri, raccogliendo le [[best practice|migliori prassi]] nel settore e definendo così uno [[industria del software|standard industriale]] unificato. UML svolge un'importantissima funzione di "[[lingua franca]]" nella comunità della progettazione e programmazione a oggetti. Gran parte della letteratura di settore usa UML per descrivere soluzioni analitiche e progettuali in modo sintetico e comprensibile a un vasto pubblico.

L'ultimaLa versione del linguaggio, la 2.0, è stata consolidata nel [[2004]] e ufficializzata da OMG nel [[2005]]. UML 2.0 riorganizza molti degli elementi della versione precedente (1.5) in un quadro di riferimento ampliato e introduce molti nuovi strumenti, inclusi alcuni nuovi tipi di diagrammi. Sebbene [[Object Management Group|OMG]] indichi UML 2.0 come la versione "corrente" del linguaggio, la transizione è di fatto ancora in corso; le stesse specifiche pubblicate da OMG sono ancora non completamente aggiornate e il supporto dei tool a UML 2.0 è, nella maggior parte dei casi, appena abbozzato. L'ultima versione è la 2.5, finalizzata nel 2013.

== Caratteristiche generali ==

La notazione UML è semi-grafica e [[Linguaggio formale|semi-formale]]; un modello UML è costituito da una collezione organizzata di [[diagramma|diagrammi]] correlati, costruiti componendo elementi grafici (con significato formalmente definito), elementi testuali formali, ed elementi di testo libero. Ha una [[semantica (informatica)|semantica]] molto precisa e un grande potere descrittivo.

=== Caratteristiche generali ===

Il linguaggio è stato progettato con l'obiettivo esplicito di facilitare il supporto software alla costruzione di modelli e l'integrazione di questo supporto con gli [[Integrated development environment|ambienti integrati di sviluppo]]. OMG, in particolare, gestisce una famiglia di standard correlata a UML, detta [[Model Driven Architecture]] (MDA), che ha lo scopo di fornire le fondamenta concettuali e semantiche per lo sviluppo di ambienti evoluti di ''[[round-trip engineering]]'' in cui la modellazione UML, in qualche misura, possa sostituire di fatto la programmazione tradizionale. Sebbene questo obiettivo sia ancora da raggiungere, molti [[Integrated development environment|IDE]] comprendono strumenti di modellazione in UML e forniscono meccanismi automatici di traduzione parziale dei diagrammi UML in [[codice sorgente|codice]] e viceversa. Viceversa, molti ambienti software dedicati alla modellazione in UML consentono di generare codice in diversi linguaggi.

La notazione UML è semi-grafica e [[Linguaggio formale|semi-formale]]; un modello UML è costituito da una collezione organizzata di [[diagramma|diagrammi]] correlati, costruiti componendo elementi grafici (con significato formalmente definito), elementi testuali formali, ed elementi di testo libero. Ha una [[semantica (informatica)|semantica]] molto precisa e un grande potere descrittivo.

Il linguaggio è stato progettato con l'obiettivo esplicito di facilitare il supporto software alla costruzione di modelli e l'integrazione di questo supporto con gli [[Integrated development environment|ambienti integrati di sviluppo]]. OMG, inIn particolare, OMG gestisce una famiglia di standard correlata a UML, detta [[Model Driven Architecture]] (MDA), che ha lo scopo di fornire le fondamenta concettuali e semantiche per lo sviluppo di ambienti evoluti di ''[[round-trip engineering]]'' in cui la modellazione UML, in qualche misura, possa sostituire di fatto la programmazione tradizionale in qualche misura. Sebbene questo obiettivo sia ancora da raggiungere, molti [[IntegratedAmbiente developmentdi sviluppo environmentintegrato|IDE]] comprendono strumenti di modellazione in UML e forniscono meccanismi automatici di traduzione parziale dei diagrammi UML in [[codice sorgente|codice]] e viceversa. Viceversa, molti ambienti software dedicati alla modellazione in UML consentono di generare codice in diversi linguaggi.

UML è un linguaggio di modellazione ''general purpose'', che fornisce concetti e strumenti applicabili in tutti i contesti. Poiché particolari domini applicativi o famiglie di applicazioni potrebbero aver bisogno di concetti ulteriori e specifici, UML fornisce un meccanismo standard che consente di estendere il linguaggio. Una estensione di UML per un particolare contesto viene detta un [[profilo UML]].

UML è un linguaggio di modellazione ''general purpose'',generale che fornisce concetti e strumenti applicabili in tutti i contesti. Poiché particolari domini applicativi o famiglie di applicazioni potrebbero aver bisogno di concetti ulteriori e specifici, UML fornisce un meccanismo standard che consente di estendere il linguaggio. Una Un'estensione di UML per un particolare contesto viene detta un [[profilo UML]].

== Storia ==

I linguaggi per la modellazione object-oriented iniziarono a svilupparsi in diversi contesti a partire dagli [[anni 1980|anni ottanta]]. Si trattava di notazioni di varia natura, che consentivano di descrivere la struttura di un sistema software a oggetti (in termini di [[classe (informatica)|classi]] e relazioni fra classi) ed eventualmente il suo comportamento dinamico. La proliferazione di queste notazioni diede luogo a quelle che furono poi battezzate "guerre dei metodi" (''method wars''), con diversi progettisti, o organizzazioni, che adottavano e sostenevano una particolare notazione a scapito di altre adottate altrove. Intorno alla metà degli [[anni 1990|anni novanta]] diversi metodi e linguaggi iniziarono a fondersi, e si iniziò a delineare la possibilità di una integrazione dei principali formalismi in una notazione universalmente accettabile.

=== Aspetti della modellazione ===

Fra le metodologie e le notazioni più apprezzate e diffuse del periodo spiccavano [[Object Modeling Technique|OMT (Object Modeling Technique)]] di [[Jim Rumbaugh]], e il cosiddetto metodo [[Booch]] di [[Grady Booch]], entrambi ricercatori presso [[Rational Software]]. Il lavoro di unificazione iniziò con loro; in seguito si unì a questo sforzo Jacobson con la sua [[software house]] [[Objectory]]. Il primo risultato congiunto di questo ''team'' fu [[OOSE|OOSE (Object Oriented Software Engineering)]].

UML consente di descrivere un sistema secondo tre aspetti principali, per ciascuno dei quali si utilizzano diagrammi specifici (che possono poi essere messi in relazione fra loro):

Mentre "i tres amigos" operavano per unificare i propri approcci all'analisi e alla progettazione a oggetti, il progetto fu accolto sotto l'egida dell'[[Object Management Group|OMG (Object Management Group)]], un consorzio fondato con l'obiettivo di creare e gestire [[standard]] nel contesto dello sviluppo del software a oggetti. Nel [[1995]], l'OMG raccolse tutti i principali metodologisti del settore in un incontro internazionale per discutere della notazione unificata. Nel [[1996]] l'OMG emise una [[Request for proposal|RFP (Request for Proposal)]] per tale notazione. Nello stesso anno, Booch, Rumbaugh e Jacobson misero a punto le ''[[release (informatica)|release]]'' 0.9 e 0.91 di UML. Il progetto fu ben accolto dalla comunità internazionale e innumerevoli grandi organizzazioni si unirono a Rational per proseguirlo (per esempio [[Digital]], [[Hewlett-Packard]], [[IBM]], [[Microsoft]], [[Oracle]] e [[Unisys]]). Questo gruppo esteso realizzò, nel [[1997]], UML 1.0, che fu sottoposto alla OMG come risposta alla RFP dell'anno precedente.

* il [[modello funzionale]] (''functional model'') rappresenta il sistema dal punto di vista dell'utente, ovvero ne descrive il suo comportamento così come esso è percepito all'esterno, prescindendo dal suo funzionamento interno. Questo tipo di modellazione corrisponde, in [[ingegneria del software]], all'[[analisi dei requisiti]]. La modellazione funzionale utilizza gli ''[[Use Case Diagram]]'' (diagrammi dei casi d'uso).

La release 1.1 di UML contribuì a consolidare la semantica del linguaggio e incluse elementi tratti da una proposta avanzata indipendentemente all'OMG da un gruppo composto da [[IBM]], [[ObjectTime]], [[Ptech]] e altre.

* il modello a oggetti (''object model'') rappresenta la struttura e sottostruttura del sistema utilizzando i concetti ''object-oriented'' di [[Classe (informatica)|classe]], [[Oggetto (informatica)|oggetto]], le relazioni fra classi e fra oggetti. In ingegneria del software, questo tipo di modellazione può essere utilizzata sia nella fase di [[analisi del dominio]] chesia nelle varie fasi di [[progetto (ingegneria del software)|progetto]] a diversi livelli di dettaglio. Utilizza ''[[class diagram]]'' (diagrammi delle classi), ''[[object diagram]]'' (diagrammi degli oggetti), e ''[[deployment diagram]]'' (diagrammi di sviluppo).

* il modello dinamico (''dynamic model'') rappresenta il comportamento degli oggetti del sistema, ovvero la loro evoluzione nel tempo e le dinamiche delle loro interazioni. È strettamente legato al modello a oggetti e viene impiegato negli stessi casi. Utilizza i ''[[sequence diagram]]'' (diagrammi di sequenza), glii ''[[activityDiagramma diagram]]''di (attività|diagrammi delle attività)]] e gli ''[[statechart diagram]]'' (diagrammi degli stati).

=== UML 2.0 ===

La versione 2.0 di UML, ufficializzata da OMG nel [[2005]], presenta numerose novità rispetto alla precedente versione 1.5, che resta comunque quella più diffusamente supportata daidagli toolstrumenti di modellazione e citata nella letteratura.

Fra le principali novità di UML 2.0 sivi possono citaresono:

* ampliamento, razionalizzazione e revisione del metamodello, inclusa una definizione più rigorosa del concetto di [[stereotipo (UML)|stereotipo]] e dei meccanismi di estensione ([[profilo UML|profili]])

* introduzione del linguaggio formale [[Object Constraint Language|OCL]] come parte integrante di UML

* numerosi nuovi elementi per la costruzione dei diagrammi tradizionali

* alcuni nuovi tipi di diagrammi:

** [[Composite Structure Diagram]]

** [[Package Diagram]]

** [[Interaction Overview Diagram]]

** [[Timing Diagram|Diagramma temporale]]

* supporto per l'approccio [[Modelarchitettura Drivenguidata Architecturedal modello]]

Alcuni elementi di modello e diagrammi hanno cambiato nome; per esempio, i Collaboration''collaboration Diagramdiagram'' si chiamano ora Communication''communication Diagramdiagram''.

=== Applicazioni ===

== Aspetti della modellazione ==

Di per sé, UML è solo un linguaggio di modellazione, e non definisce alcunaalcuno specificaspecifico [[metodologia]]metodo per la creazione di modelli (o alcun [[processo software]]). UML può quindi essere utilizzato nel contesto di diversi approcci metodologici. La OMG gestisce unoun metodo standard metodologico, correlato a UML, ma proposto come specifica indipendente, detto [[Rational Unified Process|RUP]].

UML consente di costruire [[modello software|modelli]] object-oriented per rappresentare ''domini'' di diverso genere. Nel contesto dell'ingegneria del software, viene usato soprattutto per descrivere il dominio applicativo di un [[sistema software]] e/o il comportamento e la struttura del sistema stesso. Il modello è strutturato secondo un insieme di viste che rappresentano diversi aspetti della cosa modellata (funzionamento, struttura, comportamento, e così via), sia a scopo sia di [[analisi (ingegneria del software)|analisi]] chesia di [[progetto (ingegneria del software)|progetto]], mantenendo la [[tracciabilità (informatica)|tracciabilità]] dei concetti impiegati nelle diverse viste. Oltre che per la modellazione di sistemi software, UML viene non di radospesso impiegato per descrivere domini di altri tipi, come sistemi [[hardware]], strutture organizzative aziendali, [[processo di business|processi di business]].

UML consente di descrivere un sistema secondo tre aspetti principali, per ciascuno dei quali si utilizzano diagrammi specifici (che possono poi essere messi in relazione fra loro):

Lo standard UML, gestito da OMG, definisce una sintassi e delle regole di interpretazione; non si tratta quindi di unaun [[metodologia]]metodo di progettazione e per questo motivo può essere adottato con diversediversi metodologiemetodi o in ambiti diversi da quello informatico.

* il [[modello funzionale]] (''functional model'') rappresenta il sistema dal punto di vista dell'utente, ovvero ne descrive il suo comportamento così come esso è percepito all'esterno, prescindendo dal suo funzionamento interno. Questo tipo di modellazione corrisponde, in [[ingegneria del software]], all'[[analisi dei requisiti]]. La modellazione funzionale utilizza gli ''[[Use Case Diagram]]'' (diagrammi dei casi d'uso).

* il modello a oggetti (''object model'') rappresenta la struttura e sottostruttura del sistema utilizzando i concetti ''object-oriented'' di [[Classe (informatica)|classe]], [[Oggetto (informatica)|oggetto]], le relazioni fra classi e fra oggetti. In ingegneria del software, questo tipo di modellazione può essere utilizzata sia nella fase di [[analisi del dominio]] che nelle varie fasi di [[progetto (ingegneria del software)|progetto]] a diversi livelli di dettaglio. Utilizza ''[[class diagram]]'' (diagrammi delle classi), ''[[object diagram]]'' (diagrammi degli oggetti), e ''[[deployment diagram]]'' (diagrammi di sviluppo).

* il modello dinamico (''dynamic model'') rappresenta il comportamento degli oggetti del sistema, ovvero la loro evoluzione nel tempo e le dinamiche delle loro interazioni. È strettamente legato al modello a oggetti e viene impiegato negli stessi casi. Utilizza i ''[[sequence diagram]]'' (diagrammi di sequenza), gli ''[[activity diagram]]'' (diagrammi delle attività) e gli ''[[statechart diagram]]'' (diagrammi degli stati).

== Struttura di un modello UML ==

Riga 59 ⟶ 61:

# Viste: mostrano i diversi aspetti del sistema per mezzo di un insieme di diagrammi.

# Diagrammi: permettono di descrivere graficamente le viste logiche.

# Elementi del modello: concetti che permettono di realizzare vari diagrammi (es. attori, classi, packages''package'', oggetti, e così via).

=== Le Viste ===

Lo strato più esterno dell’UMLdell'UML è costituito dalle seguenti [[Vista (UML)|viste]]:

# Vista dei casi d'uso (Use''use Casecase Viewview'') utilizzata per analizzare i requisiti utente. Obiettivo di questo livello di analisi è studiare il sistema considerandolo come una scatola nera. È necessario concentrarsi su cosa il sistema deve fare astraendosi il più possibile dal come: è necessario individuare tutti gli attori, i casi d'uso e le relative associazioni. Importante è dettagliare i requisiti del cliente, capirne i desideri più o meno consapevoli, cercare di prevedere i possibili sviluppi futuri, ecc.

# Vista di progettazione (Design''design Viewview'') descrive come le funzionalità del sistema devono essere realizzate; in altre parole analizza il sistema dall'interno (scatola trasparente).

# Vista di implementazione (Implementation''implementation Viewview'') descrive i packagespackage, le classi e le reciproche dipendenze.

# Vista dei processi (Process''process Viewview'') individua i processi e le entità che li eseguono sia per un utilizzo efficace delle risorse, sia per poter stabilire l'esecuzione parallela degli oggetti.

# Vista di sviluppo (Deployment''deployment Viewview'') mostra l'architettura fisica del sistema e definisce la posizione delle componenti software nella struttura stessa.

=== I diagrammi classici (UML 1.x) ===

==== Diagramma dei casi d'uso ====

{{Vedi anche|UseDiagramma Casedei Diagramcasi d'uso}}

I diagrammi dei casi d'uso (UCD) modellano il ''comportamento esterno'' di un [[sistema]] in termini delle [[Funzione (informatica)|funzioni]] che esso mette a disposizione agli [[actorActor (UML)|attori]] che interagiscono con essi (utenti, altri sistemi software, ecc.). Gli UCD sono il diagramma principale nella [[Use Case View|Vistavista dei casi d'uso]]. In molti [[Modello di sviluppo del software|modelli di [[processosviluppo software]] basati su UML, i casi d'uso sono la vista principale del sistema (processi "use case driven").

==== ClassDiagramma diagramdelle classi ====

{{Vedi anche|ClassDiagramma diagramdelle classi}}

==== ObjectDiagramma diagramdegli oggetti ====

{{Vedi anche|ObjectDiagramma diagramdegli oggetti}}

==== StatechartDiagramma diagramdegli stati UML ====

{{Vedi anche|StatechartDiagramma diagramdegli stati UML}}

==== ActivityDiagramma diagramdi attività ====

{{Vedi anche|ActivityDiagramma diagramdi attività}}

==== SequenceDiagramma diagramdi sequenza ====

{{Vedi anche|SequenceDiagramma diagramdi sequenza}}

==== CommunicationDiagramma diagramdi comunicazione ====

{{Vedi anche|Diagramma di comunicazione}}

<small>'''Nota''': questo tipo di diagramma si chiamava "Collaborationdiagramma diagramdi collaborazione" (collaboration diagram) in UML 1.x</small>

{{Vedi anche|Communication diagram}}

==== ComponentDiagramma diagramdei componenti ====

{{Vedi anche|ComponentDiagramma diagramdei componenti}}

==== DeploymentDiagramma diagramdi deployment ====

{{Vedi anche|DeploymentDiagramma diagramdi deployment}}

====Relazioni fra diagrammi==== <!-- da sistemare, controllare, spostare? -->

Il diagramma delle classi e i diagrammi di interazione vengono usati per modellare la realizzazione dei casi d'uso, mentre il diagramma dei componenti e quello di ''deployment'' permettono di specificare l'architettura di sistema che dovrà implementare i casi d'uso. Un ruolo specifico può essere svolto dai diagrammi di stato e di attività. È possibile utilizzare un diagramma di stato per rappresentare l'evoluzione degli stati, cioè delle condizioni in cui il sistema si può trovare durante l'esecuzione del caso d'uso. Inoltre è possibile rappresentare la sequenza dei passi e le condizioni che specificano uno o più scenari del caso d'uso con un diagramma di attività. I diagrammi UML permettono la modellazione della struttura statica e del comportamento dinamico di un sistema. Il sistema è rappresentato come un insieme di oggetti (moduli software) che collaborano e reagiscono a eventi esterni per eseguire attività a beneficio dei clienti (utilizzatori). Certi modelli UML enfatizzano alcuni aspetti del sistema e ne ignorano altri che possono essere evidenziati da altri modelli. Insieme, tutti i modelli forniscono una descrizione completa del sistema e possono essere classificati in tre gruppi:

In particolare, il diagramma delle classi e i diagrammi di interazione vengono usati per modellare la realizzazione dei casi d'uso, mentre il diagramma dei componenti e quello di

deployment permettono di specificare l'architettura di sistema che dovrà implementare i casi d'uso.

Un ruolo specifico può, però, essere svolto dai diagrammi di stato e di attività. È possibile utilizzare un

diagramma di stato per rappresentare l'evoluzione degli stati, cioè delle condizioni in cui il sistema si può trovare

durante l'esecuzione del caso d'uso. Ed è possibile rappresentare, con un diagramma di attività, la sequenza dei

passi e le condizioni che specificano uno o più scenari del caso d'uso.

I diagrammi UML permettono la modellazione della struttura statica e del comportamento dinamico di un

sistema. Il sistema è rappresentato come un insieme di oggetti (moduli software) che collaborano e reagiscono

ad eventi esterni per eseguire attività a beneficio dei clienti (utilizzatori). Certi modelli UML enfatizzano alcuni

aspetti del sistema e ne ignorano altri i quali possono essere evidenziati da altri modelli. Insieme, tutti i modelli

forniscono una descrizione completa del sistema e possono essere classificati in tre gruppi:

# ''modelli dello stato'' (vista statica): descrivono le strutture statiche dei dati, e si possono ottenere utilizzando per esempio i diagrammi delle classi;

# ''modelli del comportamento'' (vista operativa): descrivono la collaborazione tra oggetti. Ci sono molte tecniche di visualizzazione per la modellazione del comportamento, come il diagramma dei casi d'uso, il diagramma di sequenza, il diagramma di collaborazione e il diagramma di attività;

# ''modelli del cambiamento di stato'' (vista dinamica): descrivono gli stati permessi dal sistema nel tempo. La prima tecnica di visualizzazione è il diagramma degli stati, basato su un modello di evoluzione degli stati di un oggetto.

=== Nuovi diagrammiDiagrammi introdotti in UML 2.0 ===

==== Package Diagram ====

Riga 133 ⟶ 125:

=== Estendibilità e profili ===

UML include tre meccanismi che consentono l'estensione della sua [[sintassi]] e della sua [[semantica]] da parte dell'utente: ''[[stereotipo (UML)|stereotipi]]'', ''[[tagged value]]s'' e ''[[constraint]]s''. Questi strumenti possono essere usati nel contesto di un modello per esprimere concetti altrimenti non rappresentabili in UML, o non rappresentabili in modo chiaro, sufficientemente astratto, e così via. I [[profilo UML|profili UML]] sono collezioni di stereotipi, ''tagged valuesvalue'' e ''constraintsconstraint'' che specializzano il linguaggio per particolari [[dominio applicativo|domini applicativi]] o per l'uso di UML in congiunzione con particolare tecnologie. Fra i profili riconosciuti ufficialmente da OMG si trovano profili per [[CORBA]], per i [[calcolo distribuito|sistemi distribuiti]], per sistemi con vincoli di [[Quality of Service|QoS]] e per [[sistema real-time|sistemi real-time]].

== Tool softwareSoftware per UML ==

Esistono moltissimi strumenti software per la modellazione in UML, e moltissimi [[Integrated development environment|ambienti integrati di sviluppo]] che includono funzioni di modellazione in UML.

=== Strumenti freeware e open sourceliberi ===

Si riportano qui alcuni strumenti [[freeware]]free eand open source software|liberi ed [[open source]] per la modellazione in UML. Si veda anche il [http://www.uml.org sito ufficiale di UML] per un elenco aggiornato. La maggior parte di questi toolstrumenti supportanosupporta solo parzialmente (o non supportano affatto)supporta la versione 2.0 di UML.

* [[ArgoUML]] [https://web.archive.org/web/20000607173157/http://argouml.tigris.org/] – ununo toolstrumento UML basato su [[Java (linguaggio di programmazione)|Java]]

* [[Atlas Transformation Language|ATL]] [https://web.archive.org/web/20060411081917/http://www.sciences.univ-nantes.fr/lina/atl/]

* [[Dia (software)|DiaBOUML]] [http://www.gnomebouml.org/projects/dia/fr], –licenza unnuovamente toollibera perdalla creareversione diagrammi [[GTK+]]/[[GNOME]] che7.0; supporta anche UML [http://www.aarontrevena.co.uk/opensource/autodia/]2.0

* [[Dia (software)|Dia]] [http://dia-installer.de/] – uno strumento per creare diagrammi [[GTK+]]/[[GNOME]] che supporta anche UML [http://www.aarontrevena.co.uk/opensource/autodia/].

* [[Draw.io]] [https://www.draw.io/] - software di diagramma uml online gratuito.

* [[Eclipse (informatica)|Eclipse]] – con lo Eclipse Modeling Framework (EMF) e UML 2.0

* [[Fujaba]] [https://web.archive.org/web/20060207103104/http://wwwcs.uni-paderborn.de/cs/fujaba/] – piattaforma di sviluppo UML/Java; ne esiste una versione per Eclipse.

* [[Gaphor]] [https://gaphor.org/] - Programma in Python per UML, SysML, RAAML e modelli C4.

* [[GitMind]] [https://gitmind.com/it/] - esempi di diagrammi uml pronti all'uso gratuiti.

* [[MonoUML]] – progetto basato sulla piattaforma [[Mono (progetto)|Mono]], GTK+ e [[ExpertCoder]].

* [[NetBeans]] [http://uml.netbeans.org/] – plugin per l'ambiente NetBeans di Sun (non più disponibile da netbeans 6.7 in poi)

* [[StarUML]] [httphttps://sourceforge.net/projects/staruml/] – Piattaforma [[Model Driven Architecture|MDA]] UML ''[[open source]]'' (in [[GNU General Public License|GPL]])

* [[Umbrello UML Modeller]] – componente del [[KDE]].

* [[UML Pad]] [http://web.tiscali.it/ggbhome/umlpad/umlpad.htm] – toolstrumento sviluppato in [[wxWidgets]] leggero e senza installazione (compresso in un file zip).

* [[UMLet]] [http://www.umlet.com/] – ununo toolstrumento basato su Java.

* Violet UML Editor [http://alexdp.free.fr/violetumleditor/page.php <nowiki>[21]</nowiki>] -– ununo toolstrumento visuale basato su Java.

=== Strumenti commercialiproprietari ===

Si riportano [[software proprietario|strumenti proprietari]] per la modellazione UML.

* [[Altova UModel 2005]] [http://www.altova.com/products_umodel.html]

* [[ARTiSAN Studio]] [http://www.artisansw.it]

* [[Borland Together]]

* [[BOUML]] [http://www.bouml.fr], licenza commerciale dalla versione 5.0;

* [[Cadifra UML Editor]]

* [[I-Logix RhapsodyCreately]] [http://www.ilogixcreately.com/rhapsody/rhapsody.cfm]

* [[CreatelyGliffy]] [httphttps://www.createlygliffy.com/]

* [[I-Logix Rhapsody]] [https://web.archive.org/web/20040630065716/http://www.ilogix.com/rhapsody/rhapsody.cfm]

* [[Jude (applicazione)|Jude]]

* [[NoMagic MagicDraw]] [http://www.magicdraw.com]

* [[Lucidchart]] [https://www.lucidchart.com/]

* [[Modelistic JME]]

* [[Microsoft Visio]]

* [[Objecteering/UML]] [https://web.archive.org/web/20060206023347/http://www.objecteering.com/products.php]

* [[OmniGraffle]]

* [[Poseidon for UML]]

Riga 172 ⟶ 171:

* [[SMARTDRAW]] [http://www.smartdraw.com/]

* [[Sparx Enterprise Architect]]

* [[Select Component Factory]] [http://www.selectbs.com/downloads/downloads.htm] {{Webarchive|url=https://web.archive.org/web/20060412022759/http://www.selectbs.com/downloads/downloads.htm |date=12 aprile 2006 }}

* [[Software Ideas Modeler]] [https://www.softwareideas.net]

* [[swREUSER]]

* [[Telelogic System Architect]] [https://web.archive.org/web/20051107232824/http://www.popkin.com/products/system_architect.htm]

* [[Unimodeler]] [http://www.unimodeler.com] {{Webarchive|url=https://web.archive.org/web/20041206025323/http://www.unimodeler.com/ |date=6 dicembre 2004 }}

* [[Visual Paradigm]] [httphttps://www.visual-paradigm.com/]

* [[Creately]] [http://www.creately.com/]

== Bibliografia ==

* {{RivistaVG|mc|180|126-128|1|1998|titolo=UML, ovvero verso lo standard}}

* [[Grady Booch]], [[James Rumbaugh]], [[Ivar Jacobson]]: ''[[Unified Modeling Language User Guide]]'', [[Addison-Wesley]] 1999

* Ivar Jacobson,{{en}} [[Grady Booch]], [[James Rumbaugh:]], ''[[Ivar Jacobson]], ''Unified SoftwareModeling DevelopmentLanguage Process]]User Guide'', Addison-Wesley 1999

* James Rumbaugh,{{en}} Ivar Jacobson, Grady Booch:, James Rumbaugh, ''[[Unified ModelingSoftware LanguageDevelopment Reference Manual]]Process'', Addison-Wesley 2004 (tratta [[UML 2.0]]) 1999

* [[Martin{{en}} Fowler]]:James ''[[UmlRumbaugh, DistilledIvar :Jacobson, ApplyingGrady theBooch, Standard Object''Unified Modeling Language]] Reference Manual'', Addison-Wesley 20032004 (tratta UML 2.0)

* {{en}} [[Martin Fowler]], ''Uml Distilled: Applying the Standard Object Modeling Language'', Addison-Wesley 2003 (tratta UML 2.0)

* {{en}} [[Craig Larman]]:, ''[[Applying Uml and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process]]'', [[Prentice Hall]] 2005

* {{en}} [[Robert C. Martin]]:, ''[[UML for Java Programmers]]'', Addison Wesley, 2003 (UML e la programmazione in [[Java (linguaggio di programmazione)|Java]])

== Voci correlate ==

Riga 197:

* [[Progetto orientato agli oggetti]]

* [[Modello concettuale (informatica)]]

* [[Notazione WAE]]

== Altri progetti ==

{{interprogetto|commonspreposizione=Unified Modeling Languagesullo}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

* {{cita web|http://www.uml.org|Sito ufficiale OMG, organizzazione che gestisce UML|lingua=en}}

* {{FOLDOC}}

* {{cita web|http://case-tools.org/uml_modeling.html|Sito di UML strumenti|lingua=en}}

{{Standard ISO}}

Riga 210 ⟶ 209:

{{Controllo di autorità}}

{{Portale|informatica}}

[[Categoria:UML|*]]

[[Categoria:UML|* ]]