|
Turvalise tarkvara arendamine UMLsec abil
Liina Kamm, Tartu Ülikool 2004 |
|||
|
Sisukord: Tiitel Sisukord Sissejuhatus UML UMLsec Näidisülesanne Kokkuvõte English summary Allikad ![]() Tagasi kodulehele |
1.10.1 Piirangud ja kommentaaridPiirang 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] |
||