Turvalise tarkvara arendamine UMLsec abil
Liina Kamm, Tartu Ülikool 2004
Sisukord:
Tiitel
Sisukord
Sissejuhatus
UML
UMLsec
Näidisülesanne
Kokkuvõte
English summary
Allikad

PDF täisversioon



Tagasi kodulehele

Eelmine: 1.10 UML laiendusmehhanismid

Järgmine: 1.10.2 Elemendi atribuudid

1.10.1 Piirangud ja kommentaarid

Piirang on semantiline seos mudelielementide vahel. Ta spetsifitseerib tingimused ja eeldused, mis peavad süsteemi korrektseks toimimiseks tõesed olema. Mitmed piirangud (näiteks “XOR”) on UML standardites eeldefineeritud. Kasutaja defineerib endale vajalikud piirangud loogelistes sulgudes {} ning kinnitab need mudelielemendi külge. Piirang võib olla kirjeldatud OCL (Object Constraint Language) abil või tavatekstina. [7, lk 3.26-3.29] OCL on formaalne keel, mille abil on võimalik esitada kõrvalefektideta piiranguid, vältida mitmetimõistetavust. Selle keele kasutamiseks ei pea omama tugevat matemaatilist tausta. [7, lk 6.1]

Kui piirang on seotud ühe elemendiga, siis märgitakse ta selle elemendi järele. Kui ta on seotud ühe graafilise sümboliga, siis märgitakse ta selle sümboli lähedale, kui kahega, siis ühendatakse need sümbolid omavahel katkendliku noolega ning märgendatakse see nool piiranguga. Kui sümboleid on kolm või rohkem ühendatakse nad piiranguga, mis kirjutatakse eraldi märkusena (ristkülik, mille parem ülemine nurk on ettepoole murtud). [7, lk 3.26-3.29]

Kommentaar on tekstilõik (ka viide tavakeelsele dokumendile), mis ühendatakse mudelielemendi külge. Kommentaaridega saab elemendile lisada üldist informatsiooni, millel ei ole semantilist tähtsust (näiteks otsuste põhjuste kirjeldamiseks). Neid kujutatakse märkusena. [7, lk 3.26-3.29]