![\"Objct](\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63134535ef7.png\")
<\/p>\nOpieraj\u0105c si\u0119 na podanych materia\u0142ach wyk\u0142adowych, ten przewodnik obejmuje podstawowe poj\u0119cia, sk\u0142adni\u0119 oraz zastosowania praktyczne j\u0119zyka ogranicze\u0144 obiektowych (OCL) w kontek\u015bcie modelowania UML.<\/p>\n
<\/p>\n
Cho\u0107 diagramy UML (takie jak diagramy klas) s\u0105 doskona\u0142e do wizualizacji struktury, nie mog\u0105 wyra\u017ca\u0107 wszystkich istotnych aspekt\u00f3w specyfikacji.<\/p>\n
J\u0119zyk naturalny<\/strong>\u00a0jest niejednoznaczny.<\/p>\n<\/li>\n Tradycyjne j\u0119zyki formalne<\/strong>\u00a0s\u0105 jednoznaczne, ale zbyt trudne do odczytania i pisania dla przeci\u0119tnych modelist\u00f3w system\u00f3w.<\/p>\n<\/li>\n OCL<\/strong>\u00a0mostkuje t\u0119 przerw\u0119: jest to\u00a0j\u0119zyk formalny<\/strong>\u00a0u\u017cywany do wyra\u017cania dok\u0142adnych ogranicze\u0144, a mimo to nadal pozostaje\u00a0\u0142atwy do odczytania i pisania<\/strong>.<\/p>\n<\/li>\n<\/ul>\n Czysty j\u0119zyk wyra\u017ce\u0144:<\/strong>\u00a0Wyra\u017cenia nie maj\u0105 skutk\u00f3w ubocznych. Ocena wyra\u017cenia OCL zwraca warto\u015b\u0107, ale\u00a0nie mo\u017ce<\/em>\u00a0zmieni\u0107 stan systemu. Mo\u017ce jednak\u00a0opisa\u0107<\/em>\u00a0zmian\u0119 stanu (np. w warunku po).<\/p>\n<\/li>\n Nie jest j\u0119zykiem programowania:<\/strong>\u00a0Nie mo\u017cesz pisa\u0107 logiki programu, przep\u0142ywu sterowania ani wywo\u0142ywa\u0107 proces\u00f3w\/operacji, kt\u00f3re zmieniaj\u0105 stan.<\/p>\n<\/li>\n J\u0119zyk typ\u00f3w:<\/strong>\u00a0Ka\u017cde wyra\u017cenie ma typ. Poprawnie zapisane wyra\u017cenia musz\u0105 spe\u0142nia\u0107 zasady zgodno\u015bci typ\u00f3w. Ka\u017cdy klasifikator UML jest typem OCL.<\/p>\n<\/li>\n Ocena natychmiastowa:<\/strong>\u00a0Stan obiekt\u00f3w nie mo\u017ce si\u0119 zmienia\u0107\u00a0podczas<\/em>\u00a0oceny wyra\u017cenia OCL.<\/p>\n<\/li>\n<\/ol>\n Ka\u017cdy wyra\u017cenie OCL jest oceniane w kontek\u015bcie okre\u015blonego klasyfikatora UML (klasa, interfejs itp.).<\/p>\n Komentarze:<\/strong>\u00a0Oznaczane przez\u00a0 Operatory infiksowe:<\/strong>\u00a0Mo\u017cna u\u017cywa\u0107 standardowych operator\u00f3w matematycznych\/logicznych ( U\u017cyj notacji kropkowej, aby uzyska\u0107 dost\u0119p do atrybut\u00f3w lub operacji. Nawiasy s\u0105 wymagane dla operacji, nawet je\u015bli nie maj\u0105 parametr\u00f3w.<\/p>\n OCL zawiera typy standardowe z okre\u015blonymi operacjami:<\/p>\n Logiczny:<\/strong>\u00a0 Liczba ca\u0142kowita \/ Liczba rzeczywista:<\/strong>\u00a0Liczby (Operacje:\u00a0 Ci\u0105g:<\/strong>\u00a0Tekst (Operacje:\u00a0 Zbiory to typy abstrakcyjne u\u017cywane do przechowywania wielu element\u00f3w. Dost\u0119p do nich uzyskuje si\u0119 za pomoc\u0105\u00a0 Zbi\u00f3r:<\/strong>\u00a0Zbi\u00f3r matematyczny (bez powt\u00f3rze\u0144, nieuporz\u0105dkowany).\u00a0 Uporz\u0105dkowanyZbi\u00f3r:<\/strong>\u00a0Bez powt\u00f3rze\u0144, ale uporz\u0105dkowane wed\u0142ug pozycji.\u00a0 Pojemnik:<\/strong>\u00a0Zezwala na duplikaty, nieuporz\u0105dkowane.\u00a0 Sequencja:<\/strong>\u00a0Zezwala na duplikaty, uporz\u0105dkowane.\u00a0 Uwaga:<\/em>\u00a0Zapis\u00a0 Wsp\u00f3lne:<\/strong>\u00a0 Iteratory (kluczowe dla OCL):<\/strong><\/p>\n Wariacje sk\u0142adni iteratora:<\/em><\/p>\n OCL jest intensywnie wykorzystywany jako j\u0119zyk nawigacji do przemieszczania si\u0119 po powi\u0105zaniach.<\/p>\n Nawiguj u\u017cywaj\u0105c nazwy roli przeciwnej. Typ zwracany zale\u017cy od wielokrotno\u015bci:<\/p>\n Wielokrotno\u015b\u0107\u00a0 Wielokrotno\u015b\u0107\u00a0 Je\u015bli nazwa roli jest brakuj\u0105ca, u\u017cyj ma\u0142ej litery nazwy klasy po drugiej stronie (np.\u00a0 Przejd\u017a do klasy powi\u0105zania u\u017cywaj\u0105c ma\u0142ej litery nazwy klasy powi\u0105zania.<\/p>\n Gdy powi\u0105zanie wraca do tej samej klasy (np. Ma\u0142\u017ce\u0144stwo mi\u0119dzy dwoma osobami), musisz okre\u015bli\u0107 kierunek za pomoc\u0105 nawias\u00f3w kwadratowych\u00a0 U\u017cyj atrybut\u00f3w jako wyr\u00f3\u017cnika w nawiasach kwadratowych, aby wybra\u0107 konkretny obiekt.<\/p>\n U\u017cyj\u00a0 Warunki, kt\u00f3re musz\u0105\u00a0zawsze<\/strong>\u00a0by\u0107 prawdziwe dla wszystkich instancji klasy.<\/p>\n Ograniczenia zwi\u0105zane z operacjami.<\/p>\n Je\u015bli podwyra\u017cenie jest nieokre\u015blone (np. przegl\u0105danie nullowego zwi\u0105zku), ca\u0142e wyra\u017cenie jest nieokre\u015blone. Jednak operatory logiczne maj\u0105 wyj\u0105tki skr\u00f3tu:<\/p>\nKluczowe cechy OCL<\/h3>\n
\n
\n2. Podstawowa sk\u0142adnia i semantyka<\/h2>\n
Kontekst i self<\/h3>\n
\n
kontekst<\/code><\/strong>: Okre\u015bla klas\u0119, do kt\u00f3rej stosuje si\u0119 ograniczenie.<\/p>\n<\/li>\nself<\/code><\/strong>: S\u0142owo kluczowe oznaczaj\u0105ce konkretny egzemplarz klasy kontekstu, kt\u00f3ry jest oceniany.<\/p>\n<\/li>\n<\/ul>\nkontekst Osoba\r\n-- 'self' odnosi si\u0119 do konkretnego egzemplarza Osoba\r\n<\/code><\/pre>\nKomentarze i operatory<\/h3>\n
\n
--<\/code>\u00a0(np.\u00a0-- to jest komentarz<\/code>).<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0=<\/code>,\u00a0<<\/code>). Koncepcyjnie,\u00a0a + b<\/code>\u00a0jest identyczne z\u00a0a.+(b)<\/code>.<\/p>\n<\/li>\n<\/ul>\nDost\u0119p do w\u0142a\u015bciwo\u015bci<\/h3>\n
kontekst Osoba\r\nself.wiek -- Dost\u0119p do atrybutu 'wiek'\r\nself.cenaAkcji() -- Wywo\u0142anie operacji 'cenaAkcji'\r\n<\/code><\/pre>\n
\n3. Typy i kolekcje<\/h2>\n
Podstawowe zdefiniowane typy<\/h3>\n
\n
prawda<\/code>,\u00a0fa\u0142sz<\/code>\u00a0(Operacje:\u00a0i<\/code>,\u00a0lub<\/code>,\u00a0nie<\/code>,\u00a0oznacza<\/code>,\u00a0xor<\/code>)<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0*<\/code>,\u00a0\/<\/code>,\u00a0abs<\/code>,\u00a0maks<\/code>,\u00a0min<\/code>,\u00a0dzi<\/code>,\u00a0mod<\/code>)<\/p>\n<\/li>\nrozmiar<\/code>,\u00a0koniugacja<\/code>,\u00a0podci\u0105g<\/code>,\u00a0naLiczbeCalkowita<\/code>)<\/p>\n<\/li>\n<\/ul>\nZbiory<\/h3>\n
-><\/code>\u00a0notacji.<\/p>\n\n
Zbi\u00f3r {1, 2, 5}<\/code><\/p>\n<\/li>\nUporz\u0105dkowanyZbi\u00f3r {5, 4, 3}<\/code><\/p>\n<\/li>\nPojemnik {1, 2, 2, 5}<\/code><\/p>\n<\/li>\nSequencja {1, 2, 5, 10}<\/code><\/p>\n\n
..<\/code>\u00a0zapis tworzy sekwencj\u0119 kolejnych liczb ca\u0142kowitych:\u00a0Sequencja {1..5}<\/code>.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\nKluczowe operacje na zbiorach<\/h3>\n
\n
rozmiar()<\/code>,\u00a0jestPusty()<\/code>,\u00a0nieJestPusty()<\/code>,\u00a0zawiera(v)<\/code>,\u00a0nieZawiera(v)<\/code>,\u00a0liczba(v)<\/code>,\u00a0suma()<\/code>.<\/p>\n<\/li>\n\n
wybierz(expr)<\/code>: Zwraca elementy, gdzie\u00a0wyra\u017cenie<\/code>\u00a0jest prawdziwe.<\/p>\n<\/li>\nodrzuc(wyra\u017cenie)<\/code>: Zwraca elementy, gdzie\u00a0wyra\u017cenie<\/code>\u00a0jest fa\u0142szywe.<\/p>\n<\/li>\nzbierz(wyra\u017cenie)<\/code>: Wyodr\u0119bnia okre\u015blon\u0105 w\u0142a\u015bciwo\u015b\u0107 ze wszystkich element\u00f3w do nowej kolekcji.<\/p>\n<\/li>\ndlaWszystkich(wyra\u017cenie)<\/code>: Zwraca\u00a0prawda<\/code>\u00a0je\u015bli\u00a0wyra\u017cenie<\/code>\u00a0jest prawdziwe dla\u00a0wszystkich<\/em>\u00a0element\u00f3w.<\/p>\n<\/li>\nistnieje(wyra\u017cenie)<\/code>: Zwraca\u00a0prawda<\/code>\u00a0je\u015bli\u00a0wyra\u017cenie<\/code>\u00a0jest prawdziwe dla\u00a0przynajmniej jednego<\/em>\u00a0elementu.<\/p>\n<\/li>\niteruj(elem; acc = init | wyra\u017cenie)<\/code>: Og\u00f3lna podstawa dla wszystkich iterator\u00f3w.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\nself.employee->select(wiek > 50)\r\nself.employee->select(p | p.wiek > 50)\r\nself.employee->select(p: Osoba | p.wiek > 50)\r\n<\/code><\/pre>\n
\n4. Przechodzenie po modelach UML<\/h2>\n
Standardowa nawigacja<\/h3>\n
\n
1<\/code>\u00a0lub\u00a00..1<\/code>:<\/strong>\u00a0Zwraca pojedynczy obiekt.<\/p>\n<\/li>\n*<\/code>:<\/strong>\u00a0Zwraca\u00a0Zbi\u00f3r<\/code>\u00a0(lub\u00a0Uporz\u0105dkowany zbi\u00f3r<\/code>\u00a0je\u015bli oznaczony\u00a0{uporz\u0105dkowany}<\/code>).<\/p>\n<\/li>\n<\/ul>\nkontekst Company\r\nself.manager.age > 40 -- manager to 0..1, zwraca obiekt Person\r\nself.employee->notEmpty() -- employee to 0..*, zwraca Zbi\u00f3r\r\n<\/code><\/pre>\nself.bank<\/code>).<\/em><\/p>\nKlasy powi\u0105za\u0144<\/h3>\n
kontekst Person\r\nself.job->size() >= 1 -- 'job' to klasa powi\u0105zania mi\u0119dzy Person i Company\r\n<\/code><\/pre>\nPowi\u0105zania rekurencyjne<\/h3>\n
[nazwaRoli]<\/code>.<\/p>\nkontekst Osoba\r\nself.marszyna[\u017cona]->select(m | m.zako\u0144czona = false)->size() = 1\r\n<\/code><\/pre>\nZaawansowane powi\u0105zania<\/h3>\n
kontekst Bank\r\nself.klient[12345] -- Zwraca konkretn\u0105 osob\u0119 z numerem konta 12345\r\nself.klient -- Zwraca zbi\u00f3r wszystkich klient\u00f3w\r\n<\/code><\/pre>\nPrzypisywanie typu (rzutowanie)<\/h3>\n
oclAsType()<\/code>\u00a0aby uzyska\u0107 dost\u0119p do w\u0142a\u015bciwo\u015bci podtypu lub ukrytej w\u0142a\u015bciwo\u015bci nadklasy.<\/p>\nself.oclAsType(Pod).p -- Dost\u0119p do w\u0142a\u015bciwo\u015bci 'p' zdefiniowanej w podtypie\r\nself.oclAsType(Nad).p -- Dost\u0119p do w\u0142a\u015bciwo\u015bci 'p' zdefiniowanej w nadklasie\r\n<\/code><\/pre>\n
\n5. Pisanie ogranicze\u0144<\/h2>\n
1. Inwarianty (
inv<\/code>)<\/h3>\nkontekst Firma \r\ninv: self.liczbaPracownikow <= 50\r\ninv SME: self.cenaAkcyji() > 0 -- 'SME' to opcjonalna nazwa ograniczenia\r\n<\/code><\/pre>\n2. Warunki wst\u0119pne i ko\u0144cowe (
pre<\/code>,\u00a0post<\/code>)<\/h3>\n\n
pre<\/code><\/strong>: Musi by\u0107 prawdziwe\u00a0przed<\/em>\u00a0wykonaniem.<\/p>\n<\/li>\npost<\/code><\/strong>: Musi by\u0107 prawdziwe\u00a0po<\/em>\u00a0wykonanie. U\u017cyj\u00a0wynik<\/code>\u00a0dla warto\u015bci zwracanej.<\/p>\n<\/li>\n@pre<\/code><\/strong>: U\u017cywane w warunkach po, aby odwo\u0142a\u0107 si\u0119 do warto\u015bci w\u0142a\u015bciwo\u015bci\u00a0przed<\/em>\u00a0rozpocz\u0119cia operacji.<\/p>\n<\/li>\n<\/ul>\nkontekst Osoba::dochod(): Integer\r\npre dorosly: self.wiek >= 18\r\npost wynikOK: wynik < 5000\r\n\r\nkontekst Firma::zatrudnijPracownika(p: Osoba)\r\npost: pracownik = pracownik@pre->w\u0142\u0105czaj\u0105c(p)\r\n<\/code><\/pre>\n3. Wyra\u017cenia cia\u0142a, pocz\u0105tkowe i wyprowadzone<\/h3>\n
\n
cia\u0142o<\/code><\/strong>: Definiuje wynik operacji zapytania (mo\u017ce by\u0107 rekurencyjne).<\/p>\n<\/li>\ninit<\/code><\/strong>: Definiuje warto\u015b\u0107 pocz\u0105tkow\u0105 atrybutu.<\/p>\n<\/li>\nwyprowad\u017a<\/code><\/strong>: Definiuje atrybut wyprowadzony.<\/p>\n<\/li>\n<\/ul>\nkontekst Osoba::dochod(): Integer\r\ncia\u0142o: self.praca.pensja->suma()\r\n\r\nkontekst Osoba::zam\u0119\u017cna: Logiczna\r\ninit: fa\u0142sz\r\n\r\nkontekst Firma::liczbaPracownikow: Integer\r\nwyprowad\u017a: self.pracownik->rozmiar()\r\n<\/code><\/pre>\n
\n6. Zaawansowane cechy OCL<\/h2>\n
Wyra\u017cenia let i def<\/h3>\n
\n
let<\/code><\/strong>: Definiuje zmienn\u0105 lokaln\u0105 wewn\u0105trz pojedynczego wyra\u017cenia.<\/p>\nlet sumaGodzin: Integer = self.pracujeNa->zbieraj(godziny)->suma() w sumaGodzin >= 30\r\n<\/code><\/pre>\n<\/li>\ndef<\/code><\/strong>: Definiuje ponownie u\u017cywane zmienne lub operacje przypisane do klasyfikatora.<\/p>\ndef: maTytul(t: String): Logiczna = self.praca->istnieje(tytul = t)\r\n<\/code><\/pre>\n<\/li>\n<\/ul>\nNieokre\u015blone warto\u015bci (logika tr\u00f3jwarto\u015bciowa)<\/h3>\n
\n
prawda lub <nieokre\u015blone><\/code>\u00a0=\u00a0prawda<\/strong><\/p>\n<\/li>\n