AlegsaOnline.com

UML (Enotni jezik modeliranja) — definicija in pregled

UML: celovit pregled in definicija — zgodovina, diagrami, standardi (OMG, ISO) in praksa. Naučite se ključnih konceptov za modeliranje programske opreme.

Avtor: Leandro Alegsa

02-11-2025

Enotni jezik modeliranja (UML) je splošni, razvojni modelirni jezik na področju programskega inženirstva, namenjen zagotavljanju standardnega načina vizualizacije, načrtovanja in dokumentiranja zasnove sistemov ter njihove arhitekture. ^[1] UML ni programski jezik, temveč nabor diagramov in notacij, ki pomagajo razvijalcem, analitikom in arhitektom pri strukturiranju zahtev, načrtovanju podatkovnih modelov, vedenja sistema in komunikacije med komponentami.

Zgodovina

UML so prvotno razvili Grady Booch, Ivar Jacobson in James Rumbaugh v podjetju Rational Software v letih 1994–1995, z namenom standardizacije in združitve različnih notacij za načrtovanje programske opreme. Nadaljnji razvoj so vodili do leta 1996. ^[1] Leta 1997 je UML sprejela organizacija OMG (Object Management Group) kot standard, ki ga od takrat tudi upravlja in redno posodablja. Leta 2005 je UML kot standard priznala tudi Mednarodna organizacija za standardizacijo (ISO). ^[2] Od takrat so bile izdane večje in manjše revizije jezika, da bi zajele nove potrebe industrije in odpravljale nejasnosti v specifikaciji. ^[3]

Glavne sestavine in tipi diagramov

UML razčleni modeliranje na več vidikov: strukturni (statični) pogled, vedenjski (dinamični) pogled in pogledi, ki prikazujejo interakcije. Najpogosteje uporabljeni tipi diagramov so:

Razredni diagrami (Class diagrams) – prikazujejo razrede, atribute, metode in odnose (asociacije, dedovanje, odvisnosti).
Diagrami primerov uporabe (Use case diagrams) – predstavijo funkcionalne zahteve sistema iz perspektive uporabnikov (akterjev).
Sekvenčni diagrami (Sequence diagrams) – opisujejo časovno zaporedje sporočil in interakcij med objekti ali komponentami.
Aktivnostni diagrami (Activity diagrams) – modelirajo poslovne ali procesne tokove, vključno z odločitvami in paralelizmom.
Stanje (state) ali strojni diagrami (State machine diagrams) – prikazujejo stanja objekta in prehode med njimi.
Komponentni diagrami (Component diagrams) – prikazujejo programske komponente in njihove odvisnosti.
Namestitveni (deployment) diagrami – prikazujejo fizično razmestitev programske opreme na strojno opremo ali vozlišča.
Interakcijski diagrami – vključujejo komunikacijske (communication), timing in interaction overview diagrame, ki podrobneje opišejo izmenjavo sporočil.

Poleg diagramov UML podpira tudi mehanizme razširitve, kot so stereotype, tagged values in profile, ki omogočajo prilagajanje notacije za določena področja (npr. realno-časne sisteme, poslovne procese). Za natančnejše izražanje omejitev in pravil se pogosto uporablja tudi OCL (Object Constraint Language).

Uporaba in prednosti

UML se uporablja za:

analizo zahtev in komunikacijo med razvijalci in poslovnimi deležniki,
načrtovanje arhitekture in dokumentiranje zasnove,
model-driven razvoj (npr. Model Driven Architecture – MDA), kjer so modeli izhodišče za generiranje kode ali konfiguracij,
izobraževanje in standardizacijo načinov razmišljanja o sistemih.

Prednosti UML vključujejo enoten slog in besednjak za opis sistemov, jasno ločitev med različnimi vidiki sistema (strukturami, vedenjem, interakcijami) ter podporo orodij za risanje in validacijo modelov.

Orodja in standardi

Obstaja mnogo orodij za ustvarjanje UML-diagramov – tako komercialnih kot odprtokodnih. Med bolj znanimi so IBM Rational (prej Rational Rose), Enterprise Architect (Sparx Systems), MagicDraw/Cameo (No Magic/Now Dassault Systèmes), Papyrus, StarUML, ArgoUML in drugi. Ta orodja pogosto podpirajo dodatke za generiranje kode, reverzno inženirstvo iz obstoječe kode ter izmenjavo modelov (npr. XMI).

UML kot tak ureja OMG; poleg tega je bil predel v mednarodni standard tudi preko ISO. Standardizacija omogoča interoperabilnost med orodji in enotno razlago notacij. ^[2][3]

Omejitve in kritike

Kljub široki prepoznavnosti ima UML tudi omejitve in kritike. V praksi je bilo opaziti, da se v industriji po letu 2013 UML uporablja manj formalno ali redkeje kot pričakovano — mnogi razvojni timi raje uporabljajo enostavnejše skice, lahkotne diagrame ali neposredno kodiranje kot formalno modeliranje v UML. Razlogi vključujejo stroške vzdrževanja obsežnih modelov, čas, potreben za njihovo natančno vzdrževanje, in priljubljenost agilnih metod, ki dajejo prednost delujoči programski opremi pred obsežno dokumentacijo. ^[4]

Dodatno so bili navedeni pomisleki glede prevelike kompleksnosti jezika, več pomenov iste notacije v različnih kontekstih in težav pri zanesljivi avtomatizaciji (npr. pri generiranju popolne, optimirane kode iz modelov).

Sklepne opombe

UML ostaja uporabno orodje za vizualno modeliranje in komunikacijo o zasnovi programske opreme, še posebej v bolj formalnih in kompleksnih projektih, kjer koristijo jasni modeli in dokumentacija. V sodobnih razvojnih okoljih se pogosto uporablja kombinacija formalnih UML-diagramov za ključne segmente sistema in neformalnih skic ali lahkih modelov za hitro iteracijo ter timsko komunikacijo.

Vsebina

[skriti]

1 Zgodovina

1.1 Pred UML 1.x
1.2 UML 1.x
1.3 UML 2.x

2 Oblikovanje

2.1 Metode razvoja programske opreme
2.2 Modeliranje

3 diagrami

3.1 Strukturni diagrami
3.2 Diagrami obnašanja

3.2.1 Diagrami interakcij

4 Meta modeliranje
5 Sprejetje
6 kritik

6.1 Kritika UML 1.x

Zgodovina[uredi | uredi]

Zgodovina objektno usmerjenih metod in zapisa

UML se razvija od druge polovice devetdesetih let prejšnjega stoletja in ima korenine v objektno usmerjenih metodah, razvitih v poznih osemdesetih in zgodnjih devetdesetih letih prejšnjega stoletja. Časovna os (glejte sliko) prikazuje glavne poudarke zgodovine metod in zapisov objektno usmerjenega modeliranja.

Prvotno temelji na zapisih metode Booch, tehnike objektnega modeliranja (OMT) in objektno usmerjenega programskega inženiringa (OOSE), ki jih je združil v enoten jezik. ^[5]

Pred UML 1.x[uredi | uredi | uredi]

Podjetje Rational Software Corporation je leta 1994 zaposlilo Jamesa Rumbaugha iz podjetja General Electric, nato pa je podjetje postalo vir dveh najbolj priljubljenih pristopov k objektno usmerjenemu modeliranju tistega časa:^[6] Rumbaughova tehnika objektnega modeliranja (OMT) in metoda Gradyja Boocha. Pri njunih prizadevanjih jima je kmalu pomagal Ivar Jacobson, ustvarjalec metode objektno usmerjenega programskega inženiringa (OOSE), ki se jima je v podjetju Rational pridružil leta 1995. ^[1]

Pod tehničnim vodstvom teh treh (Rumbaugh, Jacobson in Booch) je bil leta 1996 organiziran konzorcij, imenovan UML Partners, ki je dokončal specifikacijo Unified Modeling Language (UML) in jo predlagal skupini Object Management Group (OMG) v standardizacijo. Partnerstvo je vključevalo tudi dodatne zainteresirane strani (na primer HP, DEC, IBM in Microsoft). Januarja 1997 je konzorcij OMG predlagal osnutek UML 1.0, ki so ga pripravili partnerji UML. V istem mesecu so partnerji UML ustanovili skupino, namenjeno opredelitvi natančnega pomena jezikovnih konstrukcij, ki ji je predsedoval Cris Kobryn, upravljal pa jo je Ed Eykholt, da bi dokončali specifikacijo in jo povezali z drugimi prizadevanji za standardizacijo. Rezultat tega dela, UML 1.1, je bil predložen OMG avgusta 1997, OMG pa ga je sprejel novembra 1997. ^[1][7]

UML 1.x[uredi | uredi | uredi]

Po prvi izdaji je bila ustanovljena^[1] delovna skupina za izboljšanje jezika, ki je izdala več manjših popravkov, 1.3, 1.4 in 1.5. ^[8]

Standardi, ki jih je pripravil (in tudi prvotni standard), so bili označeni kot dvoumni in nedosledni. ^[9][10]

UML 2.x[uredi | uredi | uredi]

Glavna revizija UML 2.0 je leta 2005 nadomestila različico 1.5, ki jo je razvil razširjeni konzorcij, da bi jezik še izboljšal in upošteval nove izkušnje pri uporabi njegovih funkcij. ^[11]

Čeprav UML 2.1 ni bil nikoli objavljen kot uradna specifikacija, sta se različici 2.1.1 in 2.1.2 pojavili leta 2007, februarja 2009 pa še UML 2.2. UML 2.3 je bil uradno objavljen maja 2010.^[12] UML 2.4.1 je bil uradno objavljen avgusta 2011.^[12] UML 2.5 je bil izdan oktobra 2012 kot različica "v postopku", uradno pa je bil izdan junija 2015. ^[12]

Specifikacija UML 2.x ima štiri dele:

Nadgradnja, ki opredeljuje notacijo in semantiko za diagrame in njihove elemente modela.
Infrastruktura, ki opredeljuje osnovni metamodel, na katerem temelji nadgradnja.
Jezik za omejitve objektov (OCL) za določanje pravil za elemente modela
Izmenjava diagramov UML, ki določa, kako se izmenjujejo postavitve diagramov UML 2

V nadaljevanju so navedene veljavne različice teh standardov: Nadgradnja UML različica 2.4.1, infrastruktura UML različica 2.4.1, OCL različica 2.3.1 in izmenjava diagramov UML različica 1.0.^[13] Še naprej ga posodablja in izboljšuje delovna skupina za revizijo, ki rešuje vse težave z jezikom. ^[14]

Oblikovanje[uredi vir | uredi]

Enotni jezik modeliranja (UML) ponuja način vizualizacije arhitekturnih načrtov sistema v diagramu (glejte sliko), vključno z elementi, kot so: ^[5]

Vse dejavnosti (delovna mesta)
Posamezni sestavni deli sistema

In kako lahko sodelujejo z drugimi komponentami programske opreme.

Kako bo sistem deloval
Kako entitete komunicirajo z drugimi (komponente in vmesniki).
Zunanji uporabniški vmesnik

Čeprav je bil prvotno namenjen izključno za objektno usmerjeno projektno dokumentacijo, je bil enotni jezik modeliranja (UML) razširjen na širši nabor projektne dokumentacije (kot je navedeno zgoraj) ^[15]in se je izkazal za uporabnega v številnih okoliščinah. ^[16]

Metode razvoja programske opreme[uredi | uredi | uredi]

UML sam po sebi ni razvojna metoda, ^[17]vendar je bil zasnovan tako, da je bil združljiv z vodilnimi metodami objektno usmerjenega razvoja programske opreme tistega časa (na primerOMT, Boochova metoda, Objectory) in zlasti z RUP, ki je bil prvotno namenjen uporabi, ko se je začelo delo v podjetju Rational Software Inc.

Modeliranje[uredi | uredi | uredi]

Pomembno je razlikovati med modelom UML in nizom diagramov sistema. Diagram je delni grafični prikaz modela sistema. Ni nujno, da množica diagramov v celoti pokriva model, črtanje diagrama pa ne spremeni modela. Model lahko vsebuje tudi dokumentacijo, ki poganja elemente modela in diagrame (kot so pisni primeri uporabe).

Diagrami UML predstavljajo dva različna pogleda na model^[18] sistema:

Statični (ali strukturni) pogled: poudarja statično strukturo sistema z objekti, atributi, operacijami in odnosi. Strukturni pogled vključuje diagrame razredov in sestavljene strukturne diagrame.
Dinamični (ali vedenjski) pogled: poudarja dinamično vedenje sistema s prikazom sodelovanja med objekti in spremembami notranjega stanja objektov. Ta pogled vključuje diagrame zaporedij, diagrame dejavnosti in diagrame strojev stanj.

Modeli UML se lahko izmenjujejo med orodji UML z uporabo formata za izmenjavo metapodatkov XML (XMI).

Diagrami[uredi | uredi | uredi]

Diagrami UML

Strukturni diagrami UML

Diagram razredov
Diagram komponent
Diagram sestavljene strukture
Diagram uvajanja
Diagram objektov
Shema paketa
Diagram profila

Vedenjski diagrami UML

Diagram dejavnosti
Komunikacijski diagram
Pregledni diagram interakcij
Diagram zaporedja
Diagram stanja
Časovni diagram
Diagram primerov uporabe

UML 2 ima veliko vrst diagramov, ki so razdeljeni v dve kategoriji.^[5] Nekatere vrste predstavljajo strukturne informacije, preostale pa splošne vrste obnašanja, vključno z nekaj vrstami, ki predstavljajo različne vidike interakcij. Te diagrame je mogoče hierarhično razvrstiti, kot je prikazano v naslednjem diagramu^[5] razredov:

Vsi ti diagrami lahko vsebujejo komentarje ali opombe, ki pojasnjujejo uporabo, omejitev ali namen.

Strukturni diagrami[uredi | uredi | uredi]

Strukturni diagrami poudarjajo stvari, ki morajo biti prisotne v modeliranem sistemu. Ker strukturni diagrami predstavljajo strukturo, se pogosto uporabljajo pri dokumentiranju arhitekture programskih sistemov. Na primer diagram komponent, ki opisuje, kako je programski sistem razdeljen na komponente, in prikazuje odvisnosti med temi komponentami.

Diagram komponent
Diagram razredov

Diagrami obnašanja[uredi | uredi | uredi]

Diagrami obnašanja poudarjajo, kaj se mora zgoditi v modeliranem sistemu. Ker vedenjski diagrami ponazarjajo obnašanje sistema, se pogosto uporabljajo za opisovanje funkcionalnosti programskih sistemov. Kot primer lahko navedemo diagram dejavnosti, ki opisuje poslovne in operativne dejavnosti po korakih komponent v sistemu.

Diagram dejavnosti
Diagram primerov uporabe

Diagrami interakcij[uredi | uredi | uredi]

Diagrami interakcij, podmnožica diagramov obnašanja, poudarjajo pretok nadzora in podatkov med stvarmi v modeliranem sistemu. Na primer diagram zaporedja, ki prikazuje, kako predmeti komunicirajo med seboj v smislu zaporedja sporočil.

Diagram zaporedja
Komunikacijski diagram

Meta modeliranje[uredi | uredi | uredi]

Glavni članek: Metaobjektna zmogljivost

Ilustracija metaobjektne zmogljivosti

Skupina za upravljanje objektov (OMG) je razvila arhitekturo metamodeliranja za opredelitev enotnega jezika modeliranja (UML), imenovano Meta-Object Facility (MOF).^[19] Meta-Object Facility je zasnovana kot štirislojna arhitektura, kot je prikazano na sliki desno. Na zgornji plasti zagotavlja meta-meta-model, ki se imenuje plast M3. Ta model M3 je jezik, ki ga Meta-Object Facility uporablja za izgradnjo metamodelov, imenovanih modeli M2.

Najznačilnejši primer modela metaobjektne zmogljivosti plasti 2 je metamodel UML, model, ki opisuje sam UML. Ti modeli M2 opisujejo elemente plasti M1 in s tem modele M1. To so na primer modeli, napisani v UML. Zadnja plast je plast M0 ali podatkovna plast. Uporablja se za opis primerkov sistema v času izvajanja. ^[20]

Meta-model je mogoče razširiti z mehanizmom, ki se imenuje stereotipizacija. Brian Henderson-Sellers in Cesar Gonzalez-Perez sta v članku "Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0" kritizirala, da je ta mehanizem nezadosten/neustrezen. ^[21]

Posvojitev[uredi vir | uredi]

UML se je izkazal za uporabnega v številnih kontekstih načrtovanja, ^[16]tako zelo, da je postal skorajda vseprisoten v skupnosti IT. ^[22]

Včasih so ga obravnavali kot srebrno puško, kar je privedlo do težav pri njegovi uporabi. Napačna uporaba vključuje pretirano uporabo (z njo se oblikuje vsak najmanjši del kode sistema, kar je nepotrebno) in domnevo, da lahko z njo vsakdo oblikuje kar koli (tudi tisti, ki niso programirali). ^[23]

Videti je, da gre za obsežen jezik s številnimi konstrukcijami. Nekateri (vključno z Jacobsonom) menijo, da jih je preveč in da to ovira učenje (in s tem uporabo) tega jezika. ^[24]

Kritike[uredi | uredi | uredi]

Razdelek tega članka z naslovom Kritika ali polemika lahko ogrozi nevtralno stališče članka do obravnavane teme. Vsebino razdelka vključite v članek kot celoto ali pa gradivo ponovno napišite. (december 2010)

Pogoste kritike UML s strani industrije vključujejo: ^[4]

ni uporabno: "[jim] ne ponuja prednosti v primerjavi z njihovimi sedanjimi, razvitimi praksami in predstavitvami".
preveč zapletena, zlasti za komunikacijo s strankami: "Najboljši razlog za neuporabo UML je, da ni 'berljiv' za vse zainteresirane strani. Koliko je UML vreden, če poslovni uporabnik (stranka) ne more razumeti rezultata vašega prizadevanja za modeliranje?"
potreba po sinhronizaciji UML in kode, tako kot pri dokumentaciji na splošno.

Kritika UML 1.x[uredi | uredi | uredi]

Zapis kardinalnosti

Podobno kot pri diagramih ER podatkovnih baz Chen, Bachman in ISO je tudi pri modelih razredov določeno, da se uporabljajo kardinalnosti "look-across", čeprav več avtorjev (med drugim^[27] Merise, ^[25]Elmasri in Navathe)^[26] za vloge in minimalne in maksimalne kardinalnosti raje uporablja "look-here" ali "look-side". Nedavni raziskovalci (Feinerer, ^[28]Dullea idr.^[29]) so pokazali, da je tehnika "look-across", ki jo uporabljajo diagrami UML in ER, manj učinkovita in manj koherentna, kadar se uporablja za n-arne relacije reda >2.

Feinerer pravi: "Težave se pojavijo, če delujemo po semantiki "look-across", ki se uporablja za asociacije UML. Hartmann^[30] raziskuje to situacijo in pokaže, kako in zakaj različne transformacije ne uspejo." (Čeprav je omenjena "redukcija" lažna, saj sta diagrama 3.4 in 3.5 dejansko enaka) in tudi "Kot bomo videli na naslednjih nekaj straneh, razlaga look-across uvaja več težav, ki preprečujejo razširitev preprostih mehanizmov z binarnih na n-arne asociacije."

Vprašanja in odgovori

V: Kaj je enotni jezik za modeliranje (UML)?

O: Enotni jezik modeliranja (UML) je jezik modeliranja, ki se uporablja v programskem inženirstvu za zagotavljanje standardnega načina prikazovanja zasnove sistema.

V: Kakšen je bil prvotni namen UML?

O: Prvotni namen UML je bil standardizirati različne zapisovalne sisteme in pristope k načrtovanju programske opreme.

V: Kdo je razvil UML?

O: UML so razvili Grady Booch, Ivar Jacobson in James Rumbaugh v podjetju Rational Software v letih 1994-1995, nadaljnji razvoj pa so vodili do leta 1996.

V: Kdaj je bil UML sprejet kot standard?

O: UML je leta 1997 kot standard sprejela Skupina za upravljanje objektov (OMG).

V: Kdo upravlja UML?

O: UML od sprejetja kot standard leta 1997 upravlja Skupina za upravljanje objektov (Object Management Group).

V: Ali je bil UML priznan kot mednarodni standard?

O: Da, Mednarodna organizacija za standardizacijo (ISO) je UML leta 2005 priznala kot mednarodni standard.

V: Kakšen je namen UML v inženirstvu programske opreme?

O: Namen UML v inženirstvu programske opreme je zagotoviti standardni način za prikaz zasnove sistema, tako da jo razvijalci in zainteresirane strani zlahka razumejo in sporočajo.