{"id":11693,"date":"2026-07-24T15:39:20","date_gmt":"2026-07-24T07:39:20","guid":{"rendered":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"},"modified":"2026-07-26T17:29:51","modified_gmt":"2026-07-26T09:29:51","slug":"a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples","status":"publish","type":"post","link":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","title":{"rendered":"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML"},"content":{"rendered":"<h1 class=\"qwen-markdown-heading\" dir=\"ltr\"><span class=\"qwen-markdown-text\" data-spm-anchor-id=\"a2ty_o01.29997173.0.i225.290055fbrGIlFE\">Wprowadzenie<\/span><\/h1>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">Cho\u0107 Unified Modeling Language (UML) jest niezaprzeczonym standardem bran\u017cowym wizualizacji architektury oprogramowania, ma inherentn\u0105 ograniczon\u0105 mo\u017cliwo\u015b\u0107: diagramy s\u0105 doskona\u0142e w pokazywaniu <\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">czego<\/span><\/em><span class=\"qwen-markdown-text\">sk\u0142ada si\u0119 system, ale maj\u0105 trudno\u015bci z wyra\u017ceniem skomplikowanych, subtelnych regu\u0142 biznesowych, kt\u00f3re kieruj\u0105 <\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">jak<\/span><\/em><span class=\"qwen-markdown-text\">zachowuje si\u0119. Opieranie si\u0119 wy\u0142\u0105cznie na elementach wizualnych, takich jak wielko\u015bci i typy podstawowe, cz\u0119sto pozostawia kluczow\u0105 logik\u0119 systemu niejasn\u0105, prowadz\u0105c do nieporozumie\u0144 w trakcie fazy rozwoju.<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">Wprowad\u017a <\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">J\u0119zyk ogranicze\u0144 obiekt\u00f3w (OCL)<\/span><\/strong><span class=\"qwen-markdown-text\">. Je\u015bli UML to \u201eszkielet\u201d modelu systemu, to OCL to \u201euk\u0142ad nerwowy\u201d \u2014 zapewniaj\u0105cy dok\u0142adne, jednoznaczne i formalne regu\u0142y, kt\u00f3re okre\u015blaj\u0105 spos\u00f3b dzia\u0142ania szkieletu. Poprzez integracj\u0119 OCL z UML modelerzy mog\u0105 zlikwidowa\u0107 przerw\u0119 mi\u0119dzy wysokopoziomowym projektowaniem wizualnym a rygorystyczn\u0105 specyfikacj\u0105 matematyczn\u0105, bez konieczno\u015bci pisania rzeczywistego kodu.<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">Ten kompletny przewodnik bada pot\u0119\u017cn\u0105 synergii mi\u0119dzy UML a OCL. Przedstawimy podstawowe koncepcje OCL, poka\u017cemy, jak przypisywa\u0107 ograniczenia do klas, operacji i maszyn stan\u00f3w, oraz zaprezentujemy praktyczne, powtarzalne <\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">PlantUML<\/span><\/strong><span class=\"qwen-markdown-text\">przyk\u0142ady. Niezale\u017cnie od tego, czy definiujesz proste niezmienniki klas, czy piszesz skomplikowane regu\u0142y biznesowe mi\u0119dzy asocjacjami, ten przewodnik wyposa\u017cy Ci\u0119 w wiedz\u0119, kt\u00f3ra pozwoli podnie\u015b\u0107 Twoje modele z prostych szkic\u00f3w do solidnych, in\u017cynieryjnych specyfikacji.<\/span><\/div>\n<p id=\"VRRnBro\"><img alt=\"UML + OCL = Unambiguous Design by Visual Paradigm\n\" class=\"alignnone wp-image-25380 size-full\" decoding=\"async\" height=\"928\" loading=\"lazy\" sizes=\"auto, (max-width: 1664px) 100vw, 1664px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png 1664w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9-300x167.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9-1030x574.png 1030w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9-768x428.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9-1536x857.png 1536w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9-150x84.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9-400x223.png 400w\" width=\"1664\"\/><\/p>\n<p data-nodeid=\"44739\">\n<p>Cho\u0107 UML (Unified Modeling Language) jest wyj\u0105tkowy w wizualizacji\u00a0<strong data-nodeid=\"44816\">struktury<\/strong>systemu, brakuje mu precyzji do wyra\u017cania skomplikowanych\u00a0<strong data-nodeid=\"44817\">regu\u0142 biznesowych i semantyki<\/strong>. To w\u0142a\u015bnie tutaj pojawia si\u0119\u00a0<strong data-nodeid=\"44818\">J\u0119zyk ogranicze\u0144 obiekt\u00f3w (OCL)<\/strong>\u00a0. OCL dzia\u0142a jak formalny \u201eklej\u201d, kt\u00f3ry \u0142\u0105czy diagramy UML z rygorystyczn\u0105, jednoznaczn\u0105 logik\u0105 biznesow\u0105.<\/p>\n<p data-nodeid=\"44740\">Ten przewodnik wyja\u015bnia, jak OCL integruje si\u0119 z UML, kluczowe koncepcje, kt\u00f3re musisz zna\u0107, oraz zapewnia praktyczne\u00a0<strong data-nodeid=\"44824\">PlantUML<\/strong>przyk\u0142ady do wizualizacji tych ogranicze\u0144.<\/p>\n<hr data-nodeid=\"44741\"\/>\n<h2 data-nodeid=\"44742\">1. Synergia: Jak OCL uzupe\u0142nia UML<\/h2>\n<p data-nodeid=\"44743\">Wyobra\u017a sobie UML jako \u201eszkielet\u201d Twojego systemu (klasy, asocjacje, stany) a OCL jako \u201euk\u0142ad nerwowy\u201d (regu\u0142y, warunki i logika, kt\u00f3re kieruj\u0105 zachowaniem szkieletu).<\/p>\n<h3 data-nodeid=\"44744\">Reprezentacja wizualna w UML<\/h3>\n<p data-nodeid=\"44745\">W standardowym UML ograniczenia OCL s\u0105 zwykle przedstawiane za pomoc\u0105\u00a0<strong data-nodeid=\"44841\">Uwagi<\/strong>\u00a0przypisanych do odpowiednich element\u00f3w modelu (klasy, operacje lub stany).<\/p>\n<ul data-nodeid=\"44746\">\n<li data-nodeid=\"44747\">\n<p data-nodeid=\"44748\"><strong data-nodeid=\"44848\">Stereotyp:<\/strong>Cz\u0119sto notatki zawieraj\u0105ce OCL otrzymuj\u0105 stereotyp<code data-backticks=\"1\" data-nodeid=\"44846\">{ograniczenie}<\/code>stereotyp.<\/p>\n<\/li>\n<li data-nodeid=\"44749\">\n<p data-nodeid=\"44750\"><strong data-nodeid=\"44855\">Kontekst:<\/strong>Ka\u017cdy wyra\u017cenie OCL zaczyna si\u0119 od s\u0142owa kluczowego<code data-backticks=\"1\" data-nodeid=\"44853\">context<\/code>deklaruj\u0105cego, do kt\u00f3rego elementu UML ma dotyczy\u0107 regu\u0142a.<\/p>\n<\/li>\n<\/ul>\n<hr data-nodeid=\"44751\"\/>\n<h2 data-nodeid=\"44752\">2. Kluczowe poj\u0119cia OCL w UML<\/h2>\n<h3 data-nodeid=\"44753\">A. Inwarianty klasy (<code data-backticks=\"1\" data-nodeid=\"44858\">inv<\/code>)<\/h3>\n<p data-nodeid=\"44754\">Inwarianty to warunki, kt\u00f3re musz\u0105<strong data-nodeid=\"44865\">zawsze by\u0107 prawdziwe<\/strong>dla ka\u017cdego wyst\u0105pienia klasy, niezale\u017cnie od tego, jakie operacje s\u0105 wywo\u0142ywane.<\/p>\n<p data-nodeid=\"44755\"><strong data-nodeid=\"44870\">Kluczowe poj\u0119cie:<\/strong>Je\u015bli inwariant jest naruszony, system znajduje si\u0119 w nieprawid\u0142owym stanie.<\/p>\n<p id=\"xgWMdFF\"><img alt=\"\" class=\"alignnone size-full wp-image-25373\" decoding=\"async\" height=\"868\" loading=\"lazy\" sizes=\"auto, (max-width: 1917px) 100vw, 1917px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d.png 1917w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d-300x136.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d-1030x466.png 1030w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d-768x348.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d-1536x695.png 1536w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d-150x68.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314b03109d-400x181.png 400w\" width=\"1917\"\/><\/p>\n<div class=\"vpascode-viewer-container vpascode-fancy-active\">\n<div class=\"vpascode-header\">\n<span class=\"vpascode-lang-label\">Plantuml<\/span><br \/>\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:PPBFQiCm3CRlWRo3O9SjeoE7xR30Hl-mGc5iq3w1ugYfgICNMqdBnjvzThAMhht9-Zv9FmcFlQ2JjZ5fuhUQT-Ym0MNG-uc8qsKhj52ML_gB83_ti1MQejhMphPSpQon3cxcy_dpx35DqgHl0LFaxKIfu13uJXE04U3m_6YRabm1gp24wq4gqI0hAc19Q8QKzfyTkShXMjuOIqDL0LDh3I57mptijMo2lB_59hOTQky6hQATzLekfP_85_71wNeZODVddB4qosOz_e8xT1fPV95bKGYN43h8fRzd7OLipmyA6PW2DvGKWXf5TmGj6mezxN6Vi1lGi5EirzmT3x1iJJX2J09uCkk7lpoyla0EuSvzyleqPoWd2Onkj4Iai37GGH5Ly9Jdnv4ddFVe-pVrUW3ePcSq-IkgKT-HkEg_HPgCGnZ-r2y0\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 8px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<div class=\"vpascode-code-wrapper\">\n            <div class=\"vpascode-viewer-container vpascode-fancy-active\">\r\n                                <div class=\"vpascode-header\">\r\n                    <span class=\"vpascode-lang-label\">Plantuml<\/span>\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:PPBVIiCm5CRl2ts70zxeTD8BlR2Wx0yE1gAmFS5fSjPbJPEIfgkTU2E8B-NbV2-JTfEvNQIattVodLyE6PGMZQro6GPb9bI11dDW4ijoQAqHIMLfohIQYmr1T5YZjAKHiYmrkb9yhAKsS3QPJEx6Ds4G1cq4Z51bGyPSXOMtC03e0tQ_prMUa8bXxfgejBCIbAWOnJ0Zb9qaofSr6MvmOHyL9f9u32Ej9Q7o1PTG2xjqTdsEkO_jpbvq7gT2by8UM--Up-E34UdIWbuSSlgZlTvKrMW4Ajj0vcxInBsUDzmaBBtQu_gMjGzpb5o34Yblt9SWrp_V14cp_O9gHRcYAs3B9a7mScQ8DwuvJmIbkcvWHQM5-kTZ-yasMZK-KwZrVYYpIhh1U16W9BcutkdmS0yHo2hfrDDv7V0zYLpONUFghxDR1xI5sL1ca6tGKTz6qHv3xsFRa7yafpr1v8KKcRlq2Mk_pIJ5smSK1WEtTQ_l5m00\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 8px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n                                <div class=\"vpascode-code-wrapper\">\r\n                    <pre class=\"lang-plantuml\" data-nodeid=\"44756\"><code class=\"language-plantuml\" data-language=\"plantuml\" class=\"language-plantuml\">@startuml\r\nskinparam classAttributeIconSize 0\r\nskinparam noteBackgroundColor #FFF9C4\r\n\r\nclass BankAccount {\r\n  - accountNumber: String\r\n  - balance: Real\r\n  - isOverdraftEnabled: Boolean\r\n  + withdraw(amount: Real)\r\n  + deposit(amount: Real)\r\n}\r\n\r\nnote right of BankAccount\r\n  **Inwarianty klasy:**\r\n  context BankAccount\r\n  \r\n  -- Saldo nigdy nie mo\u017ce by\u0107 ujemne, chyba \u017ce kredyt odbiegowy jest w\u0142\u0105czony\r\n  inv balanceRule: \r\n    self.balance &gt;= 0 lub self.isOverdraftEnabled\r\n  \r\n  -- Limit kredytu odbiegowego nie mo\u017ce przekracza\u0107 500\r\n  inv overdraftLimit: \r\n    self.isOverdraftEnabled implikuje self.balance &gt;= -500\r\nend note\r\n@enduml\r\n<\/code><\/pre>                <\/div>\r\n                <div class=\"vpascode-actions\">\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:PPBVIiCm5CRl2ts70zxeTD8BlR2Wx0yE1gAmFS5fSjPbJPEIfgkTU2E8B-NbV2-JTfEvNQIattVodLyE6PGMZQro6GPb9bI11dDW4ijoQAqHIMLfohIQYmr1T5YZjAKHiYmrkb9yhAKsS3QPJEx6Ds4G1cq4Z51bGyPSXOMtC03e0tQ_prMUa8bXxfgejBCIbAWOnJ0Zb9qaofSr6MvmOHyL9f9u32Ej9Q7o1PTG2xjqTdsEkO_jpbvq7gT2by8UM--Up-E34UdIWbuSSlgZlTvKrMW4Ajj0vcxInBsUDzmaBBtQu_gMjGzpb5o34Yblt9SWrp_V14cp_O9gHRcYAs3B9a7mScQ8DwuvJmIbkcvWHQM5-kTZ-yasMZK-KwZrVYYpIhh1U16W9BcutkdmS0yHo2hfrDDv7V0zYLpONUFghxDR1xI5sL1ca6tGKTz6qHv3xsFRa7yafpr1v8KKcRlq2Mk_pIJ5smSK1WEtTQ_l5m00\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 6px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n            <\/div>\r\n            \n<\/p><\/div>\n<div class=\"vpascode-actions\">\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:PPBFQiCm3CRlWRo3O9SjeoE7xR30Hl-mGc5iq3w1ugYfgICNMqdBnjvzThAMhht9-Zv9FmcFlQ2JjZ5fuhUQT-Ym0MNG-uc8qsKhj52ML_gB83_ti1MQejhMphPSpQon3cxcy_dpx35DqgHl0LFaxKIfu13uJXE04U3m_6YRabm1gp24wq4gqI0hAc19Q8QKzfyTkShXMjuOIqDL0LDh3I57mptijMo2lB_59hOTQky6hQATzLekfP_85_71wNeZODVddB4qosOz_e8xT1fPV95bKGYN43h8fRzd7OLipmyA6PW2DvGKWXf5TmGj6mezxN6Vi1lGi5EirzmT3x1iJJX2J09uCkk7lpoyla0EuSvzyleqPoWd2Onkj4Iai37GGH5Ly9Jdnv4ddFVe-pVrUW3ePcSq-IkgKT-HkEg_HPgCGnZ-r2y0\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 6px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44757\">B. Umowy operacji (<code data-backticks=\"1\" data-nodeid=\"44872\">pre<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44874\">post<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44876\">body<\/code>)<\/h3>\n<p data-nodeid=\"44758\">Operacje (metody) mog\u0105 mie\u0107 ograniczenia definiuj\u0105ce ich zachowanie przed i po wykonaniu.<\/p>\n<ul data-nodeid=\"44759\">\n<li data-nodeid=\"44760\">\n<p data-nodeid=\"44761\"><strong data-nodeid=\"44891\">Warunek wst\u0119pny (<code data-backticks=\"1\" data-nodeid=\"44881\">pre<\/code>):<\/strong>\u00a0Co musi by\u0107 prawdziwe\u00a0<em data-nodeid=\"44892\">przed<\/em>\u00a0rozpocz\u0119ciu operacji. (Odpowiedzialno\u015b\u0107 wywo\u0142uj\u0105cego).<\/p>\n<\/li>\n<li data-nodeid=\"44762\">\n<p data-nodeid=\"44763\"><strong data-nodeid=\"44905\">Warunek ko\u0144cowy (<code data-backticks=\"1\" data-nodeid=\"44895\">post<\/code>):<\/strong>\u00a0Co b\u0119dzie prawdziwe\u00a0<em data-nodeid=\"44906\">po<\/em>\u00a0zako\u0144czeniu operacji. (Gwarancja operacji).<\/p>\n<\/li>\n<li data-nodeid=\"44764\">\n<p data-nodeid=\"44765\"><strong data-nodeid=\"44913\">Cia\u0142o (<code data-backticks=\"1\" data-nodeid=\"44909\">cia\u0142o<\/code>):<\/strong> Okre\u015bla dok\u0142adn\u0105 warto\u015b\u0107 zwracan\u0105 przez operacje zapytania.<\/p>\n<\/li>\n<\/ul>\n<p id=\"sBOPitg\"><img alt=\"\" class=\"alignnone size-full wp-image-25374\" decoding=\"async\" height=\"875\" loading=\"lazy\" sizes=\"auto, (max-width: 1916px) 100vw, 1916px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d.png 1916w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d-300x137.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d-1030x470.png 1030w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d-768x351.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d-1536x701.png 1536w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d-150x69.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6314dc4244d-400x183.png 400w\" width=\"1916\"\/><\/p>\n<div class=\"vpascode-viewer-container vpascode-fancy-active\">\n<div class=\"vpascode-header\">\n<span class=\"vpascode-lang-label\">Plantuml<\/span><br \/>\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:TL9RIyCm57ulz3ySy6MhLdmHj8oo2nDySbx-G9QSTM5f4f8JS8h_tIGLwHXxA-TyrvFEFJ57eLTbuGzIM-PO3rmnxnT4Jcu3uJCt-br-8ToDCTeGBXa_TCu4BLP66GTNwuUd-_LZMPH5be3tlR5MwcuLFU2xB01ga8IzRs39kjd66H4ujSE2336rwACSDV26JANnDV0zyeC9D9ccAKTfQLXqI1-9CYmI_2Svfs3WPBSdCBkJ18bMLIyM7IDfDAoC9iSu-QQgqYx7g67Zi8wLXKoW1dBsFdXAbM6BWBsbOy964E4ddNWqpOMyrc437jNkDX-WRgFQEYbDfcDlu-dCNFhiAL7SW1iKqwn3dPgWoFAHUAel_PyyC2qYpmT5C6j11wL6ZaiZZWsy1dH7CF-d4RYJEcUuNFJy_W3Rh3QEmOrIo6bYdUGuhLiV-jGOOwRqKcKnZv_n__i5\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 8px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<div class=\"vpascode-code-wrapper\">\n            <div class=\"vpascode-viewer-container vpascode-fancy-active\">\r\n                                <div class=\"vpascode-header\">\r\n                    <span class=\"vpascode-lang-label\">Plantuml<\/span>\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:TPBFQXin4CRl2_iE0xtORbrw2RHBC4cC2oMNqBJaFDQEr_9gDK8QuSYbbrBeC_HTUepVgv8TGaoRc_Zcp_UR6Lq4GIznC7KLUcqTUXn06GpXKiJhPHJwfDZUwXt1k-SvbeMkKFMTvsZREHlsy6hn_kFPuaDTrTMX1ToksJbjktdsW6zr1J05BJI41gwmEx_nt4ObisD0MD1S3hcTDF2Pq1JvDQWrgPwZZCP5LQIT70CToPTISWoKzE_5kO21rzrQW5Sd1ALiClawy3O1E_AeDhgPJ8fy89Z27VfegOTja8VVpgO6hZdiKWzM4moy_qEmJ0-_mCKWgTJarGZToubDqxo0x3mr4CYitXvsC9rbrCNW98t6_s7eUVzJPTGdXWq5EJg_oRDRyhn5cnxbV9EExS65WvpQwF3e0cXRy1IY4JYVWOt6F3EUQzp_u0PQMcchrGQVbWGxT4dGQdnvvd-l0R3aDfsYA3Q6b8oSruh6qrc8GncUCbUvMrrTv6V-ZNy1\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 8px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n                                <div class=\"vpascode-code-wrapper\">\r\n                    <pre class=\"lang-plantuml\" data-nodeid=\"44766\"><code class=\"language-plantuml\" data-language=\"plantuml\" class=\"language-plantuml\">@startuml\r\nskinparam classAttributeIconSize 0\r\nskinparam noteBackgroundColor #E8F5E9\r\n\r\nclass ShoppingCart {\r\n  - items: Bag&lt;Product&gt;\r\n  - totalAmount: Real\r\n  + checkout(): Receipt\r\n  + getTotal(): Real\r\n}\r\n\r\nnote right of ShoppingCart\r\n  **Umowy operacji:**\r\n  \r\n  -- Warunek wst\u0119pny: Koszyk nie mo\u017ce by\u0107 pusty\r\n  context ShoppingCart::checkout(): Receipt\r\n  pre: self.items-&gt;notEmpty()\r\n  \r\n  -- Warunek ko\u0144cowy: Koszyk jest pusty, generowany jest paragon\r\n  post: self.items-&gt;isEmpty() and result &lt;&gt; null\r\n  \r\n  -- Cia\u0142o: definicja operacji zapytania\r\n  context ShoppingCart::getTotal(): Real\r\n  body: self.items-&gt;collect(price)-&gt;sum()\r\nend note\r\n@enduml\r\n<\/code><\/pre>                <\/div>\r\n                <div class=\"vpascode-actions\">\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:TPBFQXin4CRl2_iE0xtORbrw2RHBC4cC2oMNqBJaFDQEr_9gDK8QuSYbbrBeC_HTUepVgv8TGaoRc_Zcp_UR6Lq4GIznC7KLUcqTUXn06GpXKiJhPHJwfDZUwXt1k-SvbeMkKFMTvsZREHlsy6hn_kFPuaDTrTMX1ToksJbjktdsW6zr1J05BJI41gwmEx_nt4ObisD0MD1S3hcTDF2Pq1JvDQWrgPwZZCP5LQIT70CToPTISWoKzE_5kO21rzrQW5Sd1ALiClawy3O1E_AeDhgPJ8fy89Z27VfegOTja8VVpgO6hZdiKWzM4moy_qEmJ0-_mCKWgTJarGZToubDqxo0x3mr4CYitXvsC9rbrCNW98t6_s7eUVzJPTGdXWq5EJg_oRDRyhn5cnxbV9EExS65WvpQwF3e0cXRy1IY4JYVWOt6F3EUQzp_u0PQMcchrGQVbWGxT4dGQdnvvd-l0R3aDfsYA3Q6b8oSruh6qrc8GncUCbUvMrrTv6V-ZNy1\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 6px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n            <\/div>\r\n            \n<\/p><\/div>\n<div class=\"vpascode-actions\">\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:TL9RIyCm57ulz3ySy6MhLdmHj8oo2nDySbx-G9QSTM5f4f8JS8h_tIGLwHXxA-TyrvFEFJ57eLTbuGzIM-PO3rmnxnT4Jcu3uJCt-br-8ToDCTeGBXa_TCu4BLP66GTNwuUd-_LZMPH5be3tlR5MwcuLFU2xB01ga8IzRs39kjd66H4ujSE2336rwACSDV26JANnDV0zyeC9D9ccAKTfQLXqI1-9CYmI_2Svfs3WPBSdCBkJ18bMLIyM7IDfDAoC9iSu-QQgqYx7g67Zi8wLXKoW1dBsFdXAbM6BWBsbOy964E4ddNWqpOMyrc437jNkDX-WRgFQEYbDfcDlu-dCNFhiAL7SW1iKqwn3dPgWoFAHUAel_PyyC2qYpmT5C6j11wL6ZaiZZWsy1dH7CF-d4RYJEcUuNFJy_W3Rh3QEmOrIo6bYdUGuhLiV-jGOOwRqKcKnZv_n__i5\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 6px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44767\">C. Warto\u015bci pochodne i pocz\u0105tkowe (<code data-backticks=\"1\" data-nodeid=\"44915\">wyprowad\u017a<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44917\">init<\/code>)<\/h3>\n<p data-nodeid=\"44768\">Zamiast przechowywa\u0107 nadmiarowe dane, UML pozwala oznacza\u0107 atrybuty jako\u00a0<code data-backticks=\"1\" data-nodeid=\"44920\">{wyprowadzone}<\/code>\u00a0lub\u00a0<code data-backticks=\"1\" data-nodeid=\"44922\">{pocz\u0105tkowe}<\/code>, a OCL definiuje ich dok\u0142adn\u0105 warto\u015b\u0107.<\/p>\n<p id=\"aQqRxLs\"><img alt=\"\" class=\"alignnone size-full wp-image-25375\" decoding=\"async\" height=\"868\" loading=\"lazy\" sizes=\"auto, (max-width: 1921px) 100vw, 1921px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64.png 1921w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64-300x136.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64-1030x465.png 1030w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64-768x347.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64-1536x694.png 1536w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64-150x68.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63150cb1f64-400x181.png 400w\" width=\"1921\"\/><\/p>\n<div class=\"vpascode-viewer-container vpascode-fancy-active\">\n<div class=\"vpascode-header\">\n<span class=\"vpascode-lang-label\">Plantuml<\/span><br \/>\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:RP5FImCn4CNl2_iT1WJHXHRHMq3eV-Z5IyNxD3lT3iqc9Pc8Q-btDzcjHTHB23EFtxnvCmc2Nc9hoY8Ss1xHOmlQO0XJ4S_RABJMpcxua-3XfyOweHdgG-DTjFNS6UVXPlcqUbmjog8iUWGiswDn7H6SoW9W13lsGLwm9GMRHBVDKDwob_q29PNpEnHFDNb-f_eCsAJ6sWerv2yzjYoCvWmSfbgIJC7CEKDeuHd4nyGuPnlP9NXkzW9kTxMJ8LMr6FXmczWz3TxGH0ggghAWdpI2EHeTJNALRK3TMMnPep5TxgTaX3xa2bRgjzTX2GM1p6vytNFS4VgmOQlfrTNOtTt_cFZj9bqcJOr7Pq5xGc5d_v_v9uCiomcfInHaw_vUPJ59ttJiBm00\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 8px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<div class=\"vpascode-code-wrapper\">\n            <div class=\"vpascode-viewer-container vpascode-fancy-active\">\r\n                                <div class=\"vpascode-header\">\r\n                    <span class=\"vpascode-lang-label\">Plantuml<\/span>\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:RL71IiD04Bq7yWy3NZJG8deB2BQsXLxq4C7pTZDDXsnsmkx4cfGU_Gf_H__BJLfgKI_BxCpZpNjlxhqe9qrbuiYNP6lbL0NQAEyd8evMZU1IiyseGxW-nrWMd2fT5euRcp-mOGSNyzl5pM8MHt4qKC2ygWstYB2B8u0HhCbvULGLff05TbiSsYjoifaf2Ut-FJHtEJfwnNmFgWY3fHKiq1rdP4b8cJsGdsW9i1Icp0QLXJiGrmIEVI-ZLmcEYeq0hqzoUf8aUGd6-Uj34zIiDvnRXA7iFj-bv2scIT83XuqZU5ePqXri2Kl8MwkgyBCqK8Ly1D_aH9-clnKVhAJWqQp79xVZ5fNp6LcDpvohzlBgR5ycmSkFcXPgrxKWMtOTMch-t_idZHxMPvKUGq6R3vUBe_jGXhD_0m00\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 8px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n                                <div class=\"vpascode-code-wrapper\">\r\n                    <pre class=\"lang-plantuml\" data-nodeid=\"44769\"><code class=\"language-plantuml\" data-language=\"plantuml\" class=\"language-plantuml\">@startuml\r\nskinparam classAttributeIconSize 0\r\nskinparam noteBackgroundColor #E3F2FD\r\n\r\nclass Employee {\r\n  - firstName: String\r\n  - birthDate: Date\r\n  - {derived} age: Integer\r\n  - {initial} isActive: Boolean = true\r\n}\r\n\r\nnote right of Employee\r\n  **Warto\u015bci pochodne i pocz\u0105tkowe:**\r\n  \r\n  -- Oblicz wiek dynamicznie\r\n  context Employee::age: Integer\r\n  derive: self.birthDate.yearsSinceToday()\r\n  \r\n  -- Stan pocz\u0105tkowy przy tworzeniu\r\n  context Employee::isActive: Boolean\r\n  init: true\r\nend note\r\n@enduml\r\n<\/code><\/pre>                <\/div>\r\n                <div class=\"vpascode-actions\">\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:RL71IiD04Bq7yWy3NZJG8deB2BQsXLxq4C7pTZDDXsnsmkx4cfGU_Gf_H__BJLfgKI_BxCpZpNjlxhqe9qrbuiYNP6lbL0NQAEyd8evMZU1IiyseGxW-nrWMd2fT5euRcp-mOGSNyzl5pM8MHt4qKC2ygWstYB2B8u0HhCbvULGLff05TbiSsYjoifaf2Ut-FJHtEJfwnNmFgWY3fHKiq1rdP4b8cJsGdsW9i1Icp0QLXJiGrmIEVI-ZLmcEYeq0hqzoUf8aUGd6-Uj34zIiDvnRXA7iFj-bv2scIT83XuqZU5ePqXri2Kl8MwkgyBCqK8Ly1D_aH9-clnKVhAJWqQp79xVZ5fNp6LcDpvohzlBgR5ycmSkFcXPgrxKWMtOTMch-t_idZHxMPvKUGq6R3vUBe_jGXhD_0m00\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 6px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n            <\/div>\r\n            \n<\/p><\/div>\n<div class=\"vpascode-actions\">\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:RP5FImCn4CNl2_iT1WJHXHRHMq3eV-Z5IyNxD3lT3iqc9Pc8Q-btDzcjHTHB23EFtxnvCmc2Nc9hoY8Ss1xHOmlQO0XJ4S_RABJMpcxua-3XfyOweHdgG-DTjFNS6UVXPlcqUbmjog8iUWGiswDn7H6SoW9W13lsGLwm9GMRHBVDKDwob_q29PNpEnHFDNb-f_eCsAJ6sWerv2yzjYoCvWmSfbgIJC7CEKDeuHd4nyGuPnlP9NXkzW9kTxMJ8LMr6FXmczWz3TxGH0ggghAWdpI2EHeTJNALRK3TMMnPep5TxgTaX3xa2bRgjzTX2GM1p6vytNFS4VgmOQlfrTNOtTt_cFZj9bqcJOr7Pq5xGc5d_v_v9uCiomcfInHaw_vUPJ59ttJiBm00\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 6px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44770\">D. Ochrony maszyn stan\u00f3w<\/h3>\n<p data-nodeid=\"44771\">W diagramach maszyn stan\u00f3w przej\u015bcia mog\u0105 mie\u0107<strong data-nodeid=\"44930\">ochrony<\/strong>\u2014wyra\u017cenia logiczne, kt\u00f3re musz\u0105 mie\u0107 warto\u015b\u0107 true, aby przej\u015bcie mog\u0142o si\u0119 wydarzy\u0107. OCL to standardowy j\u0119zyk do pisania tych ochron.<\/p>\n<p id=\"rmaKYWP\"><img alt=\"\" class=\"alignnone size-full wp-image-25376\" decoding=\"async\" height=\"871\" loading=\"lazy\" sizes=\"auto, (max-width: 1911px) 100vw, 1911px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44.png 1911w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44-300x137.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44-1030x469.png 1030w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44-768x350.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44-1536x700.png 1536w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44-150x68.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63153146a44-400x182.png 400w\" width=\"1911\"\/><\/p>\n<div class=\"vpascode-viewer-container vpascode-fancy-active\">\n<div class=\"vpascode-header\">\n<span class=\"vpascode-lang-label\">Plantuml<\/span><br \/>\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:RP91Qm8n48NlWVo7WHxKXIqjnSkYYzKgz5IfH_6Gkb5Jiqb8ib8f_U-TsTL5r9ncttip-IRiA4JXOrLgpi9U6IUyA06rACTYlTzwMvbYOhNry31xcVPdVSuuMoOhIDCS9bvYiE3iLDJYN9f2cUshSzuUX8OCGlLLgjZjKMiz-YRpozaVkTSwpMi-S7W6osWZgWDuViApkf__bDzo7I_p-R1juAmTHzd5JZbNHmDMH7XMoCKrgSDO9FPgkujWDzVed04aoQBUwjqSX5V2n2n9I5zR4-LFX0zVI4-2CWUyIUhD8pr35M08dTEy3gZIQIK3KB0-JR1-ErndV4np99cMBXu95Dk0o6u9pnisQ7CROeeaXOhA6l95utTxzp2phBN9SzXzWto-e0C28LhU9dPgBzxeHGOvc4hhIzeHblYx_GC0\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 8px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<div class=\"vpascode-code-wrapper\">\n            <div class=\"vpascode-viewer-container vpascode-fancy-active\">\r\n                                <div class=\"vpascode-header\">\r\n                    <span class=\"vpascode-lang-label\">Plantuml<\/span>\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:RPB1Jy8m5CRlJVe_lCG3kWIZCLmMM124n9D63nu8XxeLAElQfcjHOlpVVMy3941FRr-_z-tttZQiW_0XLfgpkbJ62IygG2t8aSZBfRVH56EhhOUhwSEaD-rnnjaicKEtcy7OIpGMdEsAHdoLfb1c-UYSjnkX8OKwVbOgNDzGQnDzvldXx9TkJtNAQnymF8LPi07LFjpVuPbVzh_9jSp3iJyR71euEyIHztsbd6kiDLP4k5Ve5iUa3cEHsAlbAe1TdA9p1f0ap-PBU2LCeDMPc2O9wRarGNu7UF65z2Geiy4tIRsufJN46WRGsULrG5LEgpAk9P2rEQsrsHuEDDfsCsIPL2vi2HKRWTZE6VSpjd0VmaSZIt3s4bUQYjPDaO2cEfmnxlCGyX-kDUsQYoVwhFqCJDJw66s89VvTVm00\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 8px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n                                <div class=\"vpascode-code-wrapper\">\r\n                    <pre class=\"lang-plantuml\" data-nodeid=\"44772\"><code class=\"language-plantuml\" data-language=\"plantuml\" class=\"language-plantuml\">@startuml\r\nskinparam stateBackgroundColor #F3E5F5\r\n\r\n[*] --&gt; Created\r\nCreated --&gt; PendingApproval : submit()\r\n\r\nstate PendingApproval {\r\n}\r\n\r\nPendingApproval --&gt; Approved : [total &lt; 10000]\r\nPendingApproval --&gt; Rejected : [total &gt;= 10000]\r\n\r\nApproved --&gt; Shipped : ship()\r\nShipped --&gt; [*]\r\n\r\nnote right of PendingApproval\r\n  **Inwariant stanu:**\r\n  context Order\r\n  inv: self.status = 'Pending' implikuje \r\n       self.submittedBy-&gt;notEmpty()\r\nend note\r\n\r\nnote right of Approved\r\n  **Warunek po:**\r\n  context Order::approve()\r\n  post: self.status = 'Approved' i \r\n        self.approvedDate &lt;&gt; null\r\nend note\r\n@enduml\r\n<\/code><\/pre>                <\/div>\r\n                <div class=\"vpascode-actions\">\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:RPB1Jy8m5CRlJVe_lCG3kWIZCLmMM124n9D63nu8XxeLAElQfcjHOlpVVMy3941FRr-_z-tttZQiW_0XLfgpkbJ62IygG2t8aSZBfRVH56EhhOUhwSEaD-rnnjaicKEtcy7OIpGMdEsAHdoLfb1c-UYSjnkX8OKwVbOgNDzGQnDzvldXx9TkJtNAQnymF8LPi07LFjpVuPbVzh_9jSp3iJyR71euEyIHztsbd6kiDLP4k5Ve5iUa3cEHsAlbAe1TdA9p1f0ap-PBU2LCeDMPc2O9wRarGNu7UF65z2Geiy4tIRsufJN46WRGsULrG5LEgpAk9P2rEQsrsHuEDDfsCsIPL2vi2HKRWTZE6VSpjd0VmaSZIt3s4bUQYjPDaO2cEfmnxlCGyX-kDUsQYoVwhFqCJDJw66s89VvTVm00\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 6px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n            <\/div>\r\n            \n<\/p><\/div>\n<div class=\"vpascode-actions\">\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:RP91Qm8n48NlWVo7WHxKXIqjnSkYYzKgz5IfH_6Gkb5Jiqb8ib8f_U-TsTL5r9ncttip-IRiA4JXOrLgpi9U6IUyA06rACTYlTzwMvbYOhNry31xcVPdVSuuMoOhIDCS9bvYiE3iLDJYN9f2cUshSzuUX8OCGlLLgjZjKMiz-YRpozaVkTSwpMi-S7W6osWZgWDuViApkf__bDzo7I_p-R1juAmTHzd5JZbNHmDMH7XMoCKrgSDO9FPgkujWDzVed04aoQBUwjqSX5V2n2n9I5zR4-LFX0zVI4-2CWUyIUhD8pr35M08dTEy3gZIQIK3KB0-JR1-ErndV4np99cMBXu95Dk0o6u9pnisQ7CROeeaXOhA6l95utTxzp2phBN9SzXzWto-e0C28LhU9dPgBzxeHGOvc4hhIzeHblYx_GC0\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 6px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44773\"\/>\n<h2 data-nodeid=\"44774\">3. Kompleksowy przyk\u0142ad badawczy: Model firmy<\/h2>\n<p data-nodeid=\"44775\">Zastosujmy OCL do z\u0142o\u017conego diagramu klas UML obejmuj\u0105cego<code data-backticks=\"1\" data-nodeid=\"44935\">Employee<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44937\">Department<\/code>, oraz<code data-backticks=\"1\" data-nodeid=\"44939\">Project<\/code>. Pokazuje, jak OCL przemieszcza si\u0119 po powi\u0105zaniach i u\u017cywa iterator\u00f3w kolekcji (<code data-backticks=\"1\" data-nodeid=\"44941\">select<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44943\">forAll<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44945\">size<\/code>).<\/p>\n<p id=\"nWIRDWg\"><img alt=\"\" class=\"alignnone size-full wp-image-25377\" decoding=\"async\" height=\"762\" loading=\"lazy\" sizes=\"auto, (max-width: 949px) 100vw, 949px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315519982f.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315519982f.png 949w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315519982f-300x241.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315519982f-768x617.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315519982f-150x120.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315519982f-400x321.png 400w\" width=\"949\"\/><\/p>\n<div class=\"vpascode-viewer-container vpascode-fancy-active\">\n<div class=\"vpascode-header\">\n<span class=\"vpascode-lang-label\">Plantuml<\/span><br \/>\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:dLLjRzem4FwEn7yuCMa3DgBITTeKjQWj50bjQwUX_G2J7E3LiPdjiBAN_xvp73ifwxxi2tBEzzoTdtlkk3IMQLiMejinzrpkc6O5P88PSsMjvglIuY9JSib_89oqVQIoUCso-urMfSodIYWDp-Rp-UpcxLzkIkUeWylrzEHqrkrqErKMk2bsGXqGuMUt0p22vV8sXIMbbXjlM7Djx2qhyB5vnRNTpfWbi_lrnYtNU6mpJ31zI64k5BFEz1BO1lk351RIuWPrj_ExAMU6LBSjKDfGa2oB5UgMTsNygnwXCcQvaeRCQC_zrSJV_QJdyptclq6kT7YmURg0JrfznUn_ipVMAcGajtUI9CCUZ4RG6_VQZqpXkzBtPawjcK0UxKz3_IbKM4Fl925ttjQ6ZIFcE6F197N04CoVShebQCkd1NwKa9HejHAcoMYUJaceQ4x1b3lKUswgHvfoHNhaaWHY74TEeQ3vPcj1hIFAqJeSJXLzuWEnlsUQCsaDF8TRjkSRp_PmwFnSLVXW7s6hjenWdC0rCpo3E4tmkHIL1vTx9yJf5hDxAX75Egbq2PCB6BzhnJXDOagvWIjZLCQzrA3_iHIMxmJFk3qCGjI2FTIKcJfmtQZHnD0SKuhp2pXhPNYTm1VZWYyiQcQLfiXhfQ-46DGUouR1eZGMLbZDMau7SiGZKdqPpk7EJNvTHDjdDF7n-yuP71n-kTyaJB1hb0E5R-StQ9Lybi1KAsD6BJuYjNGVkvyn2KgAGoLMEaNX1349zue3s2roxIR0XlfhnwbtIw4kDV99CvC4GOucN6QYpD6uHxKv7tXONTORObhoRoN28YUXypL73Vtts3IlhAwhBHZUa30X5f8MjSpGz0UHEno_0ZmbudmA7CFvn1auuJZD5uuJYkEDxbHpY3Alrd8K_qfPgmgd_bbh0JZzp_pUQjHxfFZ6Fqt_iTe0_F9B7pCNfFX4EN4MFuMbuae9Io2Eub4fBUUQwu08kp4gLqbquQdZhOttmZGhFFHYpmJFFyJLsX90w7iICOq2VFl3nT4BB-c3_ct_0000\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 8px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<div class=\"vpascode-code-wrapper\">\n            <div class=\"vpascode-viewer-container vpascode-fancy-active\">\r\n                                <div class=\"vpascode-header\">\r\n                    <span class=\"vpascode-lang-label\">Plantuml<\/span>\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:dLNDRjj64BuBq3iCt8kaLeJbfcX1E48SAm8C18vHevVULjoHj2Avg-ukpP1fBWQ2F4EHnyZLjqZlrLajbw8Tzr908hYpy_FDp3V3LyOoROiyw_TCAkIMQPP3aZ5ZBgpLOb5Ol4gKl1KrmcbNHogBhrcIhhGg9BzKcTBmmtm-dxtvzJirfJdgeFBwylHirk_rUuSey2RVPgf2X0_z7i0ORc-lOxYbq7Bb1KkXZRrcEJuMBuIswncp97PFBrmBZKzbXcLCLp7CCyMi4_q8R8M3OGnNqk8ATR_tyGXdXeJRvYXj02IBV86wetqGVeSdKmcpGab3OhJd_chgxpvG-k8E-KUG2nqIDiy3kD5gWyd_ZNwK7bosnJqvZQBH2Op7S38vwIOPGwbqQkRKcYdmLlwygNyB21lJTv8ijrxMDPkqDayZvanI1moP-JTEjsJQqUaOFmf8JBHQPUOOqJmVagnQSGocsAA-4-QGf2aMn4SXYI36rSWn5BHOhIsePMlboZeQ_Rc_L_i79H64B9aMJDeA1DM_52kMR5Wy6Zb51mlVsqV6XxwCOHB1ZU8qPAKg4Mfc6A-0MLtHP7txMZej8UyS8o_NcAI45RDbT20eJ5_2vBUEhxC8haDas2hwbMBtgMPIi6GDWrmILlf_sNqU1hyvUzzKppIkcvwDfuP6ceASluGNdHW_H_37_g4goIabRL4pgpG1XS5IwOii6pPwDxgkji8mMK5U606BQlUPqhEwu99uM46PrBZ_Gbus8CN-WS3oSd_Fw3PWSyFwpcs61bctCUEf3pTmok1w1d-xPnGct3NI6OMpqnjsydWHmU-uAYWYv6Bt3w-hRhboqQR14bLAaK9EnKDYbJipoiLMMQgeqzmpBRLa1Add7sd8YevRNMCDflpsTGEy5cn_7t9hs7dfzMDeqcWRGFCM1JAFfq8cMS7Hk8IxJHfwimRhBzGQGieoggxWD2RLaaxK7XYaMP7KRTCBAVugyB180oCZbcLNacWe4pI3OLjUdFm4U4QrzP5m0kTJ9n1a9z9YWoIAo9CNkxUcq2ZvORUt4xHGrghSZT2iiqNS45rujbFzaxNYideoD4VrEFwFzGZW5sZyk8A1my-WQUVv9YmcX-Gg377eQV44IqUxAVfRHGKNjH-vngZ3-0rokVi4DItWe2SQAXIX7NTqmT-s2xf3XS20gFru7BdWYH0kdkJuYWxqpVuN\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 8px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n                                <div class=\"vpascode-code-wrapper\">\r\n                    <pre class=\"lang-plantuml\" data-nodeid=\"44776\"><code class=\"language-plantuml\" data-language=\"plantuml\" class=\"language-plantuml\">@startuml\r\nskinparam classAttributeIconSize 0\r\nskinparam noteBackgroundColor #FFFDE7\r\nskinparam noteBorderColor #FBC02D\r\n\r\nclass Employee {\r\n  - SSN: String\r\n  - firstName: String\r\n  - birthDate: Date\r\n  - hireDate: Date\r\n  - salary: Float\r\n  + age(): Integer\r\n}\r\n\r\nclass Department {\r\n  - number: Integer\r\n  - name: String\r\n  - locations: Set&lt;String&gt;\r\n  - {derived} nbrEmployees: Integer\r\n}\r\n\r\nclass Project {\r\n  - number: Integer\r\n  - name: String\r\n  - location: String\r\n}\r\n\r\nEmployee \"0..*\" -- \"1\" Department : worksFor &gt; department\r\nEmployee \"0..*\" -- \"0..*\" Project : worksOn &gt; project\r\nEmployee \"1\" -- \"0..1\" Department : manages &gt; managedDept\r\nDepartment \"1\" -- \"0..*\" Project : controls &gt; projects\r\nEmployee \"1\" -- \"0..*\" Employee : supervisor &gt; subordinates\r\n\r\nnote right of Employee\r\n  **Z\u0142o\u017cone inwarianty i nawigacja:**\r\n  context Employee\r\n  \r\n  -- 1. Podstawowe zasady atrybut\u00f3w\r\n  inv ageCheck: self.age() &gt;= 18\r\n  \r\n  -- 2. Nawigacja po powi\u0105zaniach (mno\u017cno\u015b\u0107)\r\n  inv maxProjects: self.worksOn-&gt;size() &lt;= 4\r\n  \r\n  -- 3. U\u017cywanie iterator\u00f3w (forAll)\r\n  -- Przypisany musi by\u0107 zatrudniony wcze\u015bniej ni\u017c podw\u0142adni\r\n  inv hireOrder: self.subordinates-&gt;forAll(\r\n    sub | sub.hireDate &gt; self.hireDate\r\n  )\r\n  \r\n  -- 4. Regu\u0142a mi\u0119dzy powi\u0105zaniami\r\n  -- Pracownik mo\u017ce pracowa\u0107 tylko nad projektami kontrolowanymi przez sw\u00f3j dzia\u0142\r\n  inv projectControl: \r\n    self.worksFor.controls-&gt;includesAll(self.worksOn)\r\n    \r\n  -- 5. Unikalny identyfikator (klucz)\r\n  inv uniqueSSN: Employee.allInstances()-&gt;forAll(e1, e2 | \r\n    e1 &lt;&gt; e2 implikuje e1.SSN &lt;&gt; e2.SSN\r\n  )\r\nend note\r\n\r\nnote bottom of Department\r\n  **Atrybut pochodny:**\r\n  context Department::nbrEmployees: Integer\r\n  derive: self.worksFor-&gt;size()\r\nend note\r\n\r\nnote right of Project\r\n  **Inwariant projektu:**\r\n  context Project\r\n  \r\n  -- Lokalizacja projektu musi by\u0107 jedn\u0105 z lokalizacji dzia\u0142u\r\n  inv validLocation: \r\n    self.controls.locations-&gt;includes(self.location)\r\nend note\r\n\r\n@enduml\r\n<\/code><\/pre>                <\/div>\r\n                <div class=\"vpascode-actions\">\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:dLNDRjj64BuBq3iCt8kaLeJbfcX1E48SAm8C18vHevVULjoHj2Avg-ukpP1fBWQ2F4EHnyZLjqZlrLajbw8Tzr908hYpy_FDp3V3LyOoROiyw_TCAkIMQPP3aZ5ZBgpLOb5Ol4gKl1KrmcbNHogBhrcIhhGg9BzKcTBmmtm-dxtvzJirfJdgeFBwylHirk_rUuSey2RVPgf2X0_z7i0ORc-lOxYbq7Bb1KkXZRrcEJuMBuIswncp97PFBrmBZKzbXcLCLp7CCyMi4_q8R8M3OGnNqk8ATR_tyGXdXeJRvYXj02IBV86wetqGVeSdKmcpGab3OhJd_chgxpvG-k8E-KUG2nqIDiy3kD5gWyd_ZNwK7bosnJqvZQBH2Op7S38vwIOPGwbqQkRKcYdmLlwygNyB21lJTv8ijrxMDPkqDayZvanI1moP-JTEjsJQqUaOFmf8JBHQPUOOqJmVagnQSGocsAA-4-QGf2aMn4SXYI36rSWn5BHOhIsePMlboZeQ_Rc_L_i79H64B9aMJDeA1DM_52kMR5Wy6Zb51mlVsqV6XxwCOHB1ZU8qPAKg4Mfc6A-0MLtHP7txMZej8UyS8o_NcAI45RDbT20eJ5_2vBUEhxC8haDas2hwbMBtgMPIi6GDWrmILlf_sNqU1hyvUzzKppIkcvwDfuP6ceASluGNdHW_H_37_g4goIabRL4pgpG1XS5IwOii6pPwDxgkji8mMK5U606BQlUPqhEwu99uM46PrBZ_Gbus8CN-WS3oSd_Fw3PWSyFwpcs61bctCUEf3pTmok1w1d-xPnGct3NI6OMpqnjsydWHmU-uAYWYv6Bt3w-hRhboqQR14bLAaK9EnKDYbJipoiLMMQgeqzmpBRLa1Add7sd8YevRNMCDflpsTGEy5cn_7t9hs7dfzMDeqcWRGFCM1JAFfq8cMS7Hk8IxJHfwimRhBzGQGieoggxWD2RLaaxK7XYaMP7KRTCBAVugyB180oCZbcLNacWe4pI3OLjUdFm4U4QrzP5m0kTJ9n1a9z9YWoIAo9CNkxUcq2ZvORUt4xHGrghSZT2iiqNS45rujbFzaxNYideoD4VrEFwFzGZW5sZyk8A1my-WQUVv9YmcX-Gg377eQV44IqUxAVfRHGKNjH-vngZ3-0rokVi4DItWe2SQAXIX7NTqmT-s2xf3XS20gFru7BdWYH0kdkJuYWxqpVuN\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 6px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n            <\/div>\r\n            \n<\/p><\/div>\n<div class=\"vpascode-actions\">\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:dLLjRzem4FwEn7yuCMa3DgBITTeKjQWj50bjQwUX_G2J7E3LiPdjiBAN_xvp73ifwxxi2tBEzzoTdtlkk3IMQLiMejinzrpkc6O5P88PSsMjvglIuY9JSib_89oqVQIoUCso-urMfSodIYWDp-Rp-UpcxLzkIkUeWylrzEHqrkrqErKMk2bsGXqGuMUt0p22vV8sXIMbbXjlM7Djx2qhyB5vnRNTpfWbi_lrnYtNU6mpJ31zI64k5BFEz1BO1lk351RIuWPrj_ExAMU6LBSjKDfGa2oB5UgMTsNygnwXCcQvaeRCQC_zrSJV_QJdyptclq6kT7YmURg0JrfznUn_ipVMAcGajtUI9CCUZ4RG6_VQZqpXkzBtPawjcK0UxKz3_IbKM4Fl925ttjQ6ZIFcE6F197N04CoVShebQCkd1NwKa9HejHAcoMYUJaceQ4x1b3lKUswgHvfoHNhaaWHY74TEeQ3vPcj1hIFAqJeSJXLzuWEnlsUQCsaDF8TRjkSRp_PmwFnSLVXW7s6hjenWdC0rCpo3E4tmkHIL1vTx9yJf5hDxAX75Egbq2PCB6BzhnJXDOagvWIjZLCQzrA3_iHIMxmJFk3qCGjI2FTIKcJfmtQZHnD0SKuhp2pXhPNYTm1VZWYyiQcQLfiXhfQ-46DGUouR1eZGMLbZDMau7SiGZKdqPpk7EJNvTHDjdDF7n-yuP71n-kTyaJB1hb0E5R-StQ9Lybi1KAsD6BJuYjNGVkvyn2KgAGoLMEaNX1349zue3s2roxIR0XlfhnwbtIw4kDV99CvC4GOucN6QYpD6uHxKv7tXONTORObhoRoN28YUXypL73Vtts3IlhAwhBHZUa30X5f8MjSpGz0UHEno_0ZmbudmA7CFvn1auuJZD5uuJYkEDxbHpY3Alrd8K_qfPgmgd_bbh0JZzp_pUQjHxfFZ6Fqt_iTe0_F9B7pCNfFX4EN4MFuMbuae9Io2Eub4fBUUQwu08kp4gLqbquQdZhOttmZGhFFHYpmJFFyJLsX90w7iICOq2VFl3nT4BB-c3_ct_0000\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 6px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44777\"\/>\n<h2 data-nodeid=\"44778\">4. Zaawansowane techniki OCL w UML<\/h2>\n<h3 data-nodeid=\"44779\">A. U\u017cywanie<code data-backticks=\"1\" data-nodeid=\"44949\">let<\/code>\u00a0dla czytelno\u015bci<\/h3>\n<p data-nodeid=\"44780\">Gdy wyra\u017cenie OCL staje si\u0119 zbyt z\u0142o\u017cone, u\u017cyj\u00a0<code data-backticks=\"1\" data-nodeid=\"44952\">let<\/code>s\u0142owa kluczowego do zdefiniowania zmiennych lokalnych w ograniczeniu. U\u0142atwia to odczytywanie notatki UML.<\/p>\n<p id=\"jRJogLz\"><img alt=\"\" class=\"alignnone size-full wp-image-25378\" decoding=\"async\" height=\"870\" loading=\"lazy\" sizes=\"auto, (max-width: 1917px) 100vw, 1917px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc.png 1917w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc-300x136.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc-1030x467.png 1030w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc-768x349.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc-1536x697.png 1536w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc-150x68.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a631597c90bc-400x182.png 400w\" width=\"1917\"\/><\/p>\n<div class=\"vpascode-viewer-container vpascode-fancy-active\">\n<div class=\"vpascode-header\">\n<span class=\"vpascode-lang-label\">Plantuml<\/span><br \/>\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:LL7DIiD04Bu7yWxVhMqWKX0leGaL4Un9eVW0s-qasMQpKtOdMXNVtKqCKc_BzpipkmsYl0ozJPFG6NTMNlNGLeLmB-BDOH3QQNPxyqbOfqcQJ1mU-xFb3o9yfGcGuvrz5vvTWJt9viNpYRHKQV8zEXmBmPkc5N3zvnnzMVOQZ6kmi2GBrEoXET9qWUN6w2BBHbMi5xh8F-VKckD1MJrO5VE5HLcqFFW0vOxGBUaE1nxSKNb3OJGOzpOD6YkVHc4nnG2n_TS_exlOrv17EVD085lVp3lcbMPhutxBgMsLLs7ebwjPQznL5AeIj-jfdYjmK-8kdf8YEfucJRRn6N_W1m00\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 8px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<div class=\"vpascode-code-wrapper\">\n            <div class=\"vpascode-viewer-container vpascode-fancy-active\">\r\n                                <div class=\"vpascode-header\">\r\n                    <span class=\"vpascode-lang-label\">Plantuml<\/span>\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:LL5BQiCm4DqRV8UtIs9m2PHkGcBIHQ5PfH1w0CLM7CMo9aZZkd7f9j13z2ebo_XUbOtfPoVUlD-Cbew5vQhKOU0APOx2YXAf5ixTCrkrhLYkKZ8RrKXCmo0C-XaUogEcavHu2mCWHassS6ipmqRo_CdIGQQSXC5xfp344bRbUmRjVfITBegUsykf5aP9ZBJa4J92qvwflP2H1sZALQ5cKTIHVGkMh_pFe0-FiTvgbJP8HNikg5Py_K07RA-Vo2bhb862ErfHP-qNSklpqbwkp4lVN9dyaIhhPhqXuAk0YOKUq9LFpgN5OfW3JkhTpR1qdAIajLzulE_eapXnLJcU35mV_ck5P87RgM_p1velSESlAqs6xb9XiFHF_o7V\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 8px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n                                <div class=\"vpascode-code-wrapper\">\r\n                    <pre class=\"lang-plantuml\" data-nodeid=\"44781\"><code class=\"language-plantuml\" data-language=\"plantuml\" class=\"language-plantuml\">@startuml\r\nskinparam classAttributeIconSize 0\r\n\r\nclass Employee {\r\n  - worksOn: Set&lt;Project&gt;\r\n}\r\n\r\nnote right of Employee\r\n  **U\u017cywanie 'let' do z\u0142o\u017conej logiki:**\r\n  context Employee\r\n  \r\n  -- Oblicz ca\u0142kowit\u0105 liczb\u0119 godzin i sprawd\u017a granice\r\n  inv workingHours: \r\n    let totalHours: Integer = \r\n      self.worksOn-&gt;collect(hours)-&gt;sum() \r\n    in totalHours &gt;= 30 i totalHours &lt;= 50\r\nend note\r\n@enduml\r\n<\/code><\/pre>                <\/div>\r\n                <div class=\"vpascode-actions\">\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:LL5BQiCm4DqRV8UtIs9m2PHkGcBIHQ5PfH1w0CLM7CMo9aZZkd7f9j13z2ebo_XUbOtfPoVUlD-Cbew5vQhKOU0APOx2YXAf5ixTCrkrhLYkKZ8RrKXCmo0C-XaUogEcavHu2mCWHassS6ipmqRo_CdIGQQSXC5xfp344bRbUmRjVfITBegUsykf5aP9ZBJa4J92qvwflP2H1sZALQ5cKTIHVGkMh_pFe0-FiTvgbJP8HNikg5Py_K07RA-Vo2bhb862ErfHP-qNSklpqbwkp4lVN9dyaIhhPhqXuAk0YOKUq9LFpgN5OfW3JkhTpR1qdAIajLzulE_eapXnLJcU35mV_ck5P87RgM_p1velSESlAqs6xb9XiFHF_o7V\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 6px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n            <\/div>\r\n            \n<\/p><\/div>\n<div class=\"vpascode-actions\">\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:LL7DIiD04Bu7yWxVhMqWKX0leGaL4Un9eVW0s-qasMQpKtOdMXNVtKqCKc_BzpipkmsYl0ozJPFG6NTMNlNGLeLmB-BDOH3QQNPxyqbOfqcQJ1mU-xFb3o9yfGcGuvrz5vvTWJt9viNpYRHKQV8zEXmBmPkc5N3zvnnzMVOQZ6kmi2GBrEoXET9qWUN6w2BBHbMi5xh8F-VKckD1MJrO5VE5HLcqFFW0vOxGBUaE1nxSKNb3OJGOzpOD6YkVHc4nnG2n_TS_exlOrv17EVD085lVp3lcbMPhutxBgMsLLs7ebwjPQznL5AeIj-jfdYjmK-8kdf8YEfucJRRn6N_W1m00\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 6px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44782\">B. Obs\u0142uga poprzednich warto\u015bci w warunkach po (<code data-backticks=\"1\" data-nodeid=\"44955\">@pre<\/code>)<\/h3>\n<p data-nodeid=\"44783\">Podczas definiowania warunku po, cz\u0119sto musisz por\u00f3wna\u0107 stan\u00a0<em data-nodeid=\"44968\">nowy<\/em>\u00a0stan z\u00a0<em data-nodeid=\"44969\">stary<\/em>\u00a0stanem. OCL u\u017cywa\u00a0<code data-backticks=\"1\" data-nodeid=\"44966\">@pre<\/code>\u00a0przyrostka do uzyskania warto\u015bci w\u0142a\u015bciwo\u015bci dok\u0142adnie takiej, jak by\u0142a przed rozpocz\u0119ciem operacji.<\/p>\n<p id=\"kzEcVyQ\"><img alt=\"\" class=\"alignnone size-full wp-image-25379\" decoding=\"async\" height=\"875\" loading=\"lazy\" sizes=\"auto, (max-width: 1916px) 100vw, 1916px\" src=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b.png\" srcset=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b.png 1916w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b-300x137.png 300w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b-1030x470.png 1030w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b-768x351.png 768w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b-1536x701.png 1536w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b-150x69.png 150w, https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a6315ba6f75b-400x183.png 400w\" width=\"1916\"\/><\/p>\n<div class=\"vpascode-viewer-container vpascode-fancy-active\">\n<div class=\"vpascode-header\">\n<span class=\"vpascode-lang-label\">Plantuml<\/span><br \/>\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:VL11JiCm4BnRyX_cM585SRQW2a8Sk24L7c2IRREgOrlsHb0GVyUEI0ySkEtCxEpERfV59fadfrK-iOyssGczipdVYoH-cuMU-k3t_4cuqKghHSD3cABrPtnf1RIWARfm9ie6UvBRnr-ug-eM8oTQgKqqMEihhRxhI1-4aFWu2i9X7LsjJVEQsH_HnKHWZ-UGfIrf1XOEFfkcgLs54FgGrMZCF_k09N2Bbv7WwVsI79a4d2653svOu7P1jIjIoi5NQomHJ57TuVfoDEx-43LlksFVktae-JUnR2O_e1wgLLVAyl0V\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 8px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<div class=\"vpascode-code-wrapper\">\n            <div class=\"vpascode-viewer-container vpascode-fancy-active\">\r\n                                <div class=\"vpascode-header\">\r\n                    <span class=\"vpascode-lang-label\">Plantuml<\/span>\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:VL2nJiCm4Dqj-H_UM585CLjG1I465fQA3t3IQsCbyLcs8vCYlgehMyL_4LUa0mFRktltxhsxAaJjupZqKeJEMAUz7j3qEeJ76BsfnqWl3TkjEHBkf93Ymk691wVjX0yfW18qk9udeg2mfNZ__5jkChj6QpmjhPLJMF2D59zvfUL8yERGHl1-MPsbHV7s_JKbRGsXSfwGaBGVRQUR5evLKUIfELwazxW8bVh73xW4Bl7AQSAnDkUJX_EwuMHDTpubH4P-oPLSmtBIuC2rpbh78Ie4wlUtrwlnyAUHmvOROvj-t1bxMBdPckmE-L8fgXdE7_y1\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 8px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n                                <div class=\"vpascode-code-wrapper\">\r\n                    <pre class=\"lang-plantuml\" data-nodeid=\"44784\"><code class=\"language-plantuml\" data-language=\"plantuml\" class=\"language-plantuml\">@startuml\r\nskinparam classAttributeIconSize 0\r\n\r\nclass Company {\r\n  - employees: Set&lt;Employee&gt;\r\n  + hireEmployee(p: Employee)\r\n}\r\n\r\nnote right of Company\r\n  **U\u017cywanie @pre w warunkach po:**\r\n  context Company::hireEmployee(p: Employee)\r\n  \r\n  -- Nowy zbi\u00f3r pracownik\u00f3w to stary zbi\u00f3r + nowa osoba\r\n  post: self.employees = self.employees@pre-&gt;including(p)\r\nend note\r\n@enduml\r\n<\/code><\/pre>                <\/div>\r\n                <div class=\"vpascode-actions\">\r\n                    <a href=\"https:\/\/www.vpascode.com\/#plantuml:VL2nJiCm4Dqj-H_UM585CLjG1I465fQA3t3IQsCbyLcs8vCYlgehMyL_4LUa0mFRktltxhsxAaJjupZqKeJEMAUz7j3qEeJ76BsfnqWl3TkjEHBkf93Ymk691wVjX0yfW18qk9udeg2mfNZ__5jkChj6QpmjhPLJMF2D59zvfUL8yERGHl1-MPsbHV7s_JKbRGsXSfwGaBGVRQUR5evLKUIfELwazxW8bVh73xW4Bl7AQSAnDkUJX_EwuMHDTpubH4P-oPLSmtBIuC2rpbh78Ie4wlUtrwlnyAUHmvOROvj-t1bxMBdPckmE-L8fgXdE7_y1\" \r\n                       target=\"_blank\" \r\n                       rel=\"noopener noreferrer\" \r\n                       class=\"vpascode-fancy-btn\">\r\n                        <svg width=\"14\" height=\"14\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\" style=\"margin-right: 6px;\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg>\r\n                        <span>Edit Plantuml in VPasCode<\/span>\r\n                    <\/a>\r\n                <\/div>\r\n            <\/div>\r\n            \n<\/p><\/div>\n<div class=\"vpascode-actions\">\n<a class=\"vpascode-fancy-btn\" href=\"https:\/\/www.vpascode.com\/#plantuml:VL11JiCm4BnRyX_cM585SRQW2a8Sk24L7c2IRREgOrlsHb0GVyUEI0ySkEtCxEpERfV59fadfrK-iOyssGczipdVYoH-cuMU-k3t_4cuqKghHSD3cABrPtnf1RIWARfm9ie6UvBRnr-ug-eM8oTQgKqqMEihhRxhI1-4aFWu2i9X7LsjJVEQsH_HnKHWZ-UGfIrf1XOEFfkcgLs54FgGrMZCF_k09N2Bbv7WwVsI79a4d2653svOu7P1jIjIoi5NQomHJ57TuVfoDEx-43LlksFVktae-JUnR2O_e1wgLLVAyl0V\" rel=\"noopener noreferrer\" target=\"_blank\"><br \/>\n<svg fill=\"none\" height=\"14\" stroke=\"currentColor\" stroke-linecap=\"round\" stroke-linejoin=\"round\" stroke-width=\"2.5\" style=\"margin-right: 6px;\" viewbox=\"0 0 24 24\" width=\"14\"><path d=\"M11 4H4a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2v-7\"><\/path><path d=\"M18.5 2.5a2.121 2.121 0 0 1 3 3L12 15l-4 1 1-4 9.5-9.5z\"><\/path><\/svg><br \/>\n<span>Edytuj Plantuml w VPasCode<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44785\"\/>\n<h2 data-nodeid=\"44786\">5. Najlepsze praktyki dla OCL w UML<\/h2>\n<ol data-nodeid=\"44787\">\n<li data-nodeid=\"44788\">\n<p data-nodeid=\"44789\"><strong data-nodeid=\"44977\">Nazwij swoje ograniczenia:<\/strong>\u00a0Zawsze nadawaj nazw\u0119 swoim niezmiennikom i warunkom (np.\u00a0<code data-backticks=\"1\" data-nodeid=\"44975\">inv maxProjects:<\/code>). U\u0142atwia to odwo\u0142ywanie si\u0119 do nich w dokumentacji lub macierzach \u015bladu.<\/p>\n<\/li>\n<li data-nodeid=\"44790\">\n<p data-nodeid=\"44791\"><strong data-nodeid=\"44984\">U\u017cywaj notatek strategicznie:<\/strong>\u00a0W PlantUML i wizualnych narz\u0119dziach UML nie zanieczyszczaj pola klasy OCL. Umie\u015b\u0107 OCL w s\u0105siednich notatkach. Zachowuje to czytelno\u015b\u0107 i przejrzysto\u015b\u0107 diagramu.<\/p>\n<\/li>\n<li data-nodeid=\"44792\">\n<p data-nodeid=\"44793\"><strong data-nodeid=\"44995\">Nie nadmiernie ograniczaj:<\/strong>\u00a0Pisz tylko OCL dla regu\u0142, kt\u00f3re nie mog\u0105 by\u0107 \u0142atwo wyra\u017cone za pomoc\u0105 wielko\u015bci UML (np.\u00a0<code data-backticks=\"1\" data-nodeid=\"44991\">0..1<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44993\">1..*<\/code>) lub typ\u00f3w podstawowych. Je\u015bli regu\u0142a mo\u017ce by\u0107 pokazana wizualnie, poka\u017c j\u0105 wizualnie.<\/p>\n<\/li>\n<li data-nodeid=\"44794\">\n<p data-nodeid=\"44795\"><strong data-nodeid=\"45008\">Wykorzystaj iteratory kolekcji:<\/strong>\u00a0Opanuj\u00a0<code data-backticks=\"1\" data-nodeid=\"45000\">-&gt;select()<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"45002\">-&gt;forAll()<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"45004\">-&gt;exists()<\/code>, oraz\u00a0<code data-backticks=\"1\" data-nodeid=\"45006\">-&gt;collect()<\/code>. S\u0105 to najmocniejsze narz\u0119dzia do nawigowania po powi\u0105zaniach UML w OCL.<\/p>\n<\/li>\n<li data-nodeid=\"44796\">\n<p class=\"\" data-nodeid=\"44797\"><strong data-nodeid=\"45021\">Sprawd\u017a warto\u015bci null\/puste zbiory:<\/strong>\u00a0Podczas nawigowania po opcjonalnych powi\u0105zaniach (wielko\u015b\u0107\u00a0<code data-backticks=\"1\" data-nodeid=\"45013\">0..1<\/code>\u00a0lub\u00a0<code data-backticks=\"1\" data-nodeid=\"45015\">0..*<\/code>), zawsze u\u017cywaj\u00a0<code data-backticks=\"1\" data-nodeid=\"45017\">-&gt;notEmpty()<\/code>\u00a0lub\u00a0<code data-backticks=\"1\" data-nodeid=\"45019\">-&gt;isEmpty()<\/code>\u00a0przed uzyskiwaniem dost\u0119pu do w\u0142a\u015bciwo\u015bci, aby unikn\u0105\u0107 b\u0142\u0119d\u00f3w nieokre\u015blonej oceny.<\/p>\n<\/li>\n<\/ol>\n<p>\u00a0<\/p>\n<h1 class=\"qwen-markdown-heading\" dir=\"ltr\"><span class=\"qwen-markdown-text\" data-spm-anchor-id=\"a2ty_o01.29997173.0.i226.290055fbrGIlFE\">Wnioski<\/span><\/h1>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">W dziedzinie in\u017cynierii oprogramowania niepewno\u015b\u0107 jest wrogiem jako\u015bci. Cho\u0107 UML zapewnia nieoceniony wizualny s\u0142ownictwo do dyskusji nad architektur\u0105 systemu, to w\u0142a\u015bnie integracja j\u0119zyka ogranicze\u0144 obiektowych (OCL) przekszta\u0142ca te wizualne schematy w rygorystyczne, jednoznaczne specyfikacje.<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">Jak pokazali\u015bmy w tym przewodniku, OCL pe\u0142ni kluczow\u0105 rol\u0119 jako most mi\u0119dzy projektowaniem na wysokim poziomie a implementacj\u0105. Opanowanie niezmiennik\u00f3w klas, kontrakt\u00f3w operacji oraz iterator\u00f3w kolekcji zapewnia, \u017ce Twoje zasady biznesowe nie zostan\u0105 utracone w trakcie przek\u0142adu mi\u0119dzy zespo\u0142em projektowym a programistami. Dodatkowo, wykorzystanie narz\u0119dzi takich jak PlantUML pozwala Ci utrzyma\u0107 ograniczenia OCL w kontrolowanych wersjach, czytelne oraz bezproblemowo zintegrowane z Twoimi wizualnymi schematami.<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">Na koniec, przyj\u0119cie OCL podnosi poziom Twojej praktyki modelowania. Przesuwa Twoj\u0105 rol\u0119 z prostego \u201erysowania pude\u0142ek i linii\u201d do definiowania dok\u0142adnych, matematycznych znacze\u0144 systemu. Przyjmuj\u0105c synergii mi\u0119dzy wizualn\u0105 przejrzysto\u015bci\u0105 UML a formaln\u0105 precyzj\u0105 OCL, tworzysz solidn\u0105 podstaw\u0119 do budowania oprogramowania, kt\u00f3re nie tylko jest dobrze zaprojektowane, ale r\u00f3wnie\u017c \u015bci\u015ble dopasowane do rzeczywistych wymaga\u0144 biznesowych.<\/span><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Wprowadzenie Cho\u0107 Unified Modeling Language (UML) jest niezaprzeczonym standardem bran\u017cowym wizualizacji architektury oprogramowania, ma inherentn\u0105 ograniczon\u0105 mo\u017cliwo\u015b\u0107: diagramy s\u0105 doskona\u0142e w pokazywaniu czegosk\u0142ada si\u0119 system, ale maj\u0105 trudno\u015bci z wyra\u017ceniem skomplikowanych, subtelnych regu\u0142 biznesowych, kt\u00f3re kieruj\u0105 jakzachowuje si\u0119. Opieranie si\u0119 wy\u0142\u0105cznie na elementach wizualnych, takich jak wielko\u015bci i typy podstawowe, cz\u0119sto pozostawia kluczow\u0105 logik\u0119 systemu [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_lmt_disableupdate":"","_lmt_disable":"","footnotes":""},"categories":[36],"tags":[],"class_list":["post-11693","post","type-post","status-publish","format-standard","hentry","category-uml","loop-entry","clr"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v24.3 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML - Visual Paradigm Blog<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\" \/>\n<meta property=\"og:locale\" content=\"pl_PL\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML - Visual Paradigm Blog\" \/>\n<meta property=\"og:description\" content=\"Wprowadzenie Cho\u0107 Unified Modeling Language (UML) jest niezaprzeczonym standardem bran\u017cowym wizualizacji architektury oprogramowania, ma inherentn\u0105 ograniczon\u0105 mo\u017cliwo\u015b\u0107: diagramy s\u0105 doskona\u0142e w pokazywaniu czegosk\u0142ada si\u0119 system, ale maj\u0105 trudno\u015bci z wyra\u017ceniem skomplikowanych, subtelnych regu\u0142 biznesowych, kt\u00f3re kieruj\u0105 jakzachowuje si\u0119. Opieranie si\u0119 wy\u0142\u0105cznie na elementach wizualnych, takich jak wielko\u015bci i typy podstawowe, cz\u0119sto pozostawia kluczow\u0105 logik\u0119 systemu [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\" \/>\n<meta property=\"og:site_name\" content=\"Visual Paradigm Blog\" \/>\n<meta property=\"article:published_time\" content=\"2026-07-24T07:39:20+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-07-26T09:29:51+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png\" \/>\n<meta name=\"author\" content=\"Admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Napisane przez\" \/>\n\t<meta name=\"twitter:data1\" content=\"Admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Szacowany czas czytania\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 minut\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"url\":\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"name\":\"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML - Visual Paradigm Blog\",\"isPartOf\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png\",\"datePublished\":\"2026-07-24T07:39:20+00:00\",\"dateModified\":\"2026-07-26T09:29:51+00:00\",\"author\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\"},\"breadcrumb\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb\"},\"inLanguage\":\"pl-PL\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"pl-PL\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage\",\"url\":\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png\",\"contentUrl\":\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/blog.visual-paradigm.com\/pl\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/#website\",\"url\":\"https:\/\/blog.visual-paradigm.com\/pl\/\",\"name\":\"Visual Paradigm Blog\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blog.visual-paradigm.com\/pl\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"pl-PL\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\",\"name\":\"Admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"pl-PL\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/pl\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/6b756c36f5e9132f6067fb4d22bef2e3?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/6b756c36f5e9132f6067fb4d22bef2e3?s=96&d=mm&r=g\",\"caption\":\"Admin\"},\"url\":\"https:\/\/blog.visual-paradigm.com\/pl\/author\/vpadminuser\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML - Visual Paradigm Blog","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","og_locale":"pl_PL","og_type":"article","og_title":"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML - Visual Paradigm Blog","og_description":"Wprowadzenie Cho\u0107 Unified Modeling Language (UML) jest niezaprzeczonym standardem bran\u017cowym wizualizacji architektury oprogramowania, ma inherentn\u0105 ograniczon\u0105 mo\u017cliwo\u015b\u0107: diagramy s\u0105 doskona\u0142e w pokazywaniu czegosk\u0142ada si\u0119 system, ale maj\u0105 trudno\u015bci z wyra\u017ceniem skomplikowanych, subtelnych regu\u0142 biznesowych, kt\u00f3re kieruj\u0105 jakzachowuje si\u0119. Opieranie si\u0119 wy\u0142\u0105cznie na elementach wizualnych, takich jak wielko\u015bci i typy podstawowe, cz\u0119sto pozostawia kluczow\u0105 logik\u0119 systemu [&hellip;]","og_url":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","og_site_name":"Visual Paradigm Blog","article_published_time":"2026-07-24T07:39:20+00:00","article_modified_time":"2026-07-26T09:29:51+00:00","og_image":[{"url":"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png","type":"","width":"","height":""}],"author":"Admin","twitter_card":"summary_large_image","twitter_misc":{"Napisane przez":"Admin","Szacowany czas czytania":"6 minut"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","url":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","name":"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML - Visual Paradigm Blog","isPartOf":{"@id":"https:\/\/blog.visual-paradigm.com\/pl\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage"},"image":{"@id":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage"},"thumbnailUrl":"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png","datePublished":"2026-07-24T07:39:20+00:00","dateModified":"2026-07-26T09:29:51+00:00","author":{"@id":"https:\/\/blog.visual-paradigm.com\/pl\/#\/schema\/person\/a649c442f11a53040710ddec750926c6"},"breadcrumb":{"@id":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb"},"inLanguage":"pl-PL","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"]}]},{"@type":"ImageObject","inLanguage":"pl-PL","@id":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage","url":"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png","contentUrl":"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png"},{"@type":"BreadcrumbList","@id":"https:\/\/blog.visual-paradigm.com\/pl\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/blog.visual-paradigm.com\/pl\/"},{"@type":"ListItem","position":2,"name":"Kompletny przewodnik po u\u017cywaniu OCL w UML z przyk\u0142adami PlantUML"}]},{"@type":"WebSite","@id":"https:\/\/blog.visual-paradigm.com\/pl\/#website","url":"https:\/\/blog.visual-paradigm.com\/pl\/","name":"Visual Paradigm Blog","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blog.visual-paradigm.com\/pl\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"pl-PL"},{"@type":"Person","@id":"https:\/\/blog.visual-paradigm.com\/pl\/#\/schema\/person\/a649c442f11a53040710ddec750926c6","name":"Admin","image":{"@type":"ImageObject","inLanguage":"pl-PL","@id":"https:\/\/blog.visual-paradigm.com\/pl\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/6b756c36f5e9132f6067fb4d22bef2e3?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/6b756c36f5e9132f6067fb4d22bef2e3?s=96&d=mm&r=g","caption":"Admin"},"url":"https:\/\/blog.visual-paradigm.com\/pl\/author\/vpadminuser\/"}]}},"modified_by":"Admin","_links":{"self":[{"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/posts\/11693","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/comments?post=11693"}],"version-history":[{"count":0,"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/posts\/11693\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/media?parent=11693"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/categories?post=11693"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/pl\/wp-json\/wp\/v2\/tags?post=11693"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}