{"id":10504,"date":"2026-07-24T15:39:20","date_gmt":"2026-07-24T07:39:20","guid":{"rendered":"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"},"modified":"2026-07-26T17:32:17","modified_gmt":"2026-07-26T09:32:17","slug":"a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples","status":"publish","type":"post","link":"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","title":{"rendered":"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357"},"content":{"rendered":"<h1 class=\"qwen-markdown-heading\" dir=\"ltr\"><span class=\"qwen-markdown-text\" data-spm-anchor-id=\"a2ty_o01.29997173.0.i225.290055fbrGIlFE\">\u7c21\u4ecb<\/span><\/h1>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u96d6\u7136\u7d71\u4e00\u5efa\u6a21\u8a9e\u8a00\uff08UML\uff09\u662f\u53ef\u8996\u5316\u8edf\u9ad4\u67b6\u69cb\u7684\u7121\u53ef\u722d\u8b70\u7684\u7522\u696d\u6a19\u6e96\uff0c\u4f46\u5b83\u6709\u4e00\u500b\u56fa\u6709\u7684\u9650\u5236\uff1a\u5716\u8868\u5728\u5c55\u793a\u7cfb\u7d71\u7531\u4ec0\u9ebc\u7d44\u6210\u65b9\u9762\u975e\u5e38\u51fa\u8272\uff0c<\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u4ec0\u9ebc<\/span><\/em><span class=\"qwen-markdown-text\">\u7cfb\u7d71\u662f\u7531\u4ec0\u9ebc\u7d44\u6210\u7684\uff0c\u4f46\u5b83\u5011\u5728\u8868\u9054\u652f\u914d\u7cfb\u7d71\u884c\u70ba\u7684\u8907\u96dc\u4e14\u7d30\u5fae\u7684\u5546\u696d\u898f\u5247\u65b9\u9762\u537b\u529b\u4e0d\u5f9e\u5fc3\u3002<\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u5982\u4f55<\/span><\/em><span class=\"qwen-markdown-text\">\u7cfb\u7d71\u7684\u884c\u70ba\u3002\u50c5\u4f9d\u8cf4\u591a\u6a23\u6027\u8207\u57fa\u672c\u985e\u578b\u7b49\u8996\u89ba\u5143\u7d20\uff0c\u7d93\u5e38\u6703\u4f7f\u95dc\u9375\u7684\u7cfb\u7d71\u908f\u8f2f\u8b8a\u5f97\u6a21\u7cca\uff0c\u9032\u800c\u5728\u958b\u767c\u968e\u6bb5\u5c0e\u81f4\u8aa4\u89e3\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u9032\u5165<\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u7269\u4ef6\u7d04\u675f\u8a9e\u8a00\uff08OCL\uff09<\/span><\/strong><span class=\"qwen-markdown-text\">\u3002\u5982\u679c UML \u662f\u60a8\u7cfb\u7d71\u6a21\u578b\u7684\u300c\u9aa8\u67b6\u300d\uff0c\u90a3\u9ebc OCL \u5c31\u662f\u300c\u795e\u7d93\u7cfb\u7d71\u300d\u2014\u2014\u63d0\u4f9b\u7cbe\u78ba\u3001\u660e\u78ba\u4e14\u5f62\u5f0f\u5316\u7684\u898f\u5247\uff0c\u4ee5\u6c7a\u5b9a\u9aa8\u67b6\u5982\u4f55\u904b\u4f5c\u3002\u900f\u904e\u5c07 OCL \u8207 UML \u6574\u5408\uff0c\u6a21\u578b\u8a2d\u8a08\u8005\u53ef\u4ee5\u5728\u9ad8\u968e\u8996\u89ba\u8a2d\u8a08\u8207\u56b4\u8b39\u7684\u6578\u5b78\u898f\u7bc4\u4e4b\u9593\u67b6\u8d77\u6a4b\u6a11\uff0c\u800c\u7121\u9700\u64b0\u5beb\u5be6\u969b\u7a0b\u5f0f\u78bc\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u672c\u5b8c\u6574\u6307\u5357\u63a2\u8a0e\u4e86 UML \u8207 OCL \u4e4b\u9593\u5f37\u5927\u7684\u5354\u540c\u4f5c\u7528\u3002\u6211\u5011\u5c07\u5256\u6790 OCL \u7684\u6838\u5fc3\u6982\u5ff5\uff0c\u793a\u7bc4\u5982\u4f55\u5c07\u7d04\u675f\u9644\u52a0\u81f3\u985e\u5225\u3001\u64cd\u4f5c\u8207\u72c0\u614b\u6a5f\uff0c\u4e26\u63d0\u4f9b\u5be6\u7528\u4e14\u53ef\u91cd\u8907\u7684<\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">PlantUML<\/span><\/strong><span class=\"qwen-markdown-text\">\u7bc4\u4f8b\u3002\u7121\u8ad6\u60a8\u662f\u5b9a\u7fa9\u7c21\u55ae\u7684\u985e\u5225\u4e0d\u8b8a\u5f0f\uff0c\u9084\u662f\u64b0\u5beb\u8907\u96dc\u7684\u8de8\u95dc\u806f\u5546\u696d\u898f\u5247\uff0c\u672c\u6307\u5357\u90fd\u5c07\u8ce6\u4e88\u60a8\u5fc5\u8981\u7684\u77e5\u8b58\uff0c\u4f7f\u60a8\u7684\u6a21\u578b\u5f9e\u55ae\u7d14\u7684\u8349\u5716\u63d0\u5347\u70ba\u7a69\u5065\u4e14\u5de5\u7a0b\u7d1a\u7684\u898f\u683c\u3002<\/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>\u96d6\u7136 UML\uff08\u7d71\u4e00\u5efa\u6a21\u8a9e\u8a00\uff09\u5728\u53ef\u8996\u5316\u7cfb\u7d71\u7684<strong data-nodeid=\"44816\">\u7d50\u69cb<\/strong>\u65b9\u9762\u8868\u73fe\u5353\u8d8a\uff0c\u4f46\u5b83\u7f3a\u4e4f\u7cbe\u78ba\u6027\u4f86\u8868\u9054\u8907\u96dc\u7684<strong data-nodeid=\"44817\">\u5546\u696d\u898f\u5247\u8207\u8a9e\u7fa9<\/strong>\u3002\u9019\u6b63\u662f<strong data-nodeid=\"44818\">\u7269\u4ef6\u7d04\u675f\u8a9e\u8a00\uff08OCL\uff09<\/strong>\u767c\u63ee\u4f5c\u7528\u4e4b\u8655\u3002OCL \u5145\u7576\u6b63\u5f0f\u7684\u300c\u9ecf\u5408\u5291\u300d\uff0c\u5c07 UML \u5716\u8868\u8207\u56b4\u683c\u4e14\u660e\u78ba\u7684\u5546\u696d\u908f\u8f2f\u9023\u7d50\u8d77\u4f86\u3002<\/p>\n<p data-nodeid=\"44740\">\u672c\u6307\u5357\u8aaa\u660e OCL \u5982\u4f55\u8207 UML \u6574\u5408\uff0c\u60a8\u9700\u8981\u4e86\u89e3\u7684\u95dc\u9375\u6982\u5ff5\uff0c\u4e26\u63d0\u4f9b\u5be6\u7528\u7684<strong data-nodeid=\"44824\">PlantUML<\/strong>\u7bc4\u4f8b\uff0c\u4ee5\u8996\u89ba\u5316\u9019\u4e9b\u7d04\u675f\u3002<\/p>\n<hr data-nodeid=\"44741\"\/>\n<h2 data-nodeid=\"44742\">1. \u5354\u540c\u4f5c\u7528\uff1aOCL \u5982\u4f55\u88dc\u8db3 UML<\/h2>\n<p data-nodeid=\"44743\">\u5c07 UML \u8996\u70ba\u7cfb\u7d71\u7684\u300c\u9aa8\u67b6\u300d\uff08\u985e\u5225\u3001\u95dc\u806f\u3001\u72c0\u614b\uff09\uff0c\u800c OCL \u5247\u662f\u300c\u795e\u7d93\u7cfb\u7d71\u300d\uff08\u898f\u5247\u3001\u689d\u4ef6\u8207\u908f\u8f2f\uff0c\u898f\u7bc4\u9aa8\u67b6\u5982\u4f55\u904b\u4f5c\uff09\u3002<\/p>\n<h3 data-nodeid=\"44744\">UML \u4e2d\u7684\u8996\u89ba\u8868\u793a<\/h3>\n<p data-nodeid=\"44745\">\u5728\u6a19\u6e96 UML \u4e2d\uff0cOCL \u7d04\u675f\u901a\u5e38\u4ee5<strong data-nodeid=\"44841\">\u8a3b\u89e3<\/strong>\u9644\u52a0\u81f3\u76f8\u95dc\u7684\u6a21\u578b\u5143\u7d20\uff08\u985e\u5225\u3001\u64cd\u4f5c\u6216\u72c0\u614b\uff09\u4f86\u8868\u793a\u3002<\/p>\n<ul data-nodeid=\"44746\">\n<li data-nodeid=\"44747\">\n<p data-nodeid=\"44748\"><strong data-nodeid=\"44848\">\u9020\u578b\uff1a<\/strong>\u00a0\u901a\u5e38\uff0c\u5305\u542bOCL\u7684\u8a3b\u89e3\u6703\u88ab\u8ce6\u4e88\u00a0<code data-backticks=\"1\" data-nodeid=\"44846\">{\u7d04\u675f}<\/code>\u00a0\u7bc4\u7587\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44749\">\n<p data-nodeid=\"44750\"><strong data-nodeid=\"44855\">\u4e0a\u4e0b\u6587\uff1a<\/strong>\u00a0\u6bcf\u500bOCL\u8868\u9054\u5f0f\u90fd\u4ee5\u00a0<code data-backticks=\"1\" data-nodeid=\"44853\">context<\/code>\u00a0\u95dc\u9375\u5b57\uff0c\u5ba3\u544a\u898f\u5247\u9069\u7528\u65bc\u54ea\u500bUML\u5143\u7d20\u3002<\/p>\n<\/li>\n<\/ul>\n<hr data-nodeid=\"44751\"\/>\n<h2 data-nodeid=\"44752\">2. UML\u4e2dOCL\u7684\u95dc\u9375\u6982\u5ff5<\/h2>\n<h3 data-nodeid=\"44753\">A. \u985e\u4e0d\u8b8a\u5f0f\uff08<code data-backticks=\"1\" data-nodeid=\"44858\">inv<\/code>)<\/h3>\n<p data-nodeid=\"44754\">\u4e0d\u8b8a\u5f0f\u662f\u5fc5\u9808\u00a0<strong data-nodeid=\"44865\">\u59cb\u7d42\u70ba\u771f<\/strong>\u00a0\u5c0d\u65bc\u985e\u7684\u6bcf\u500b\u5be6\u4f8b\u800c\u8a00\uff0c\u7121\u8ad6\u547c\u53eb\u4e86\u54ea\u4e9b\u64cd\u4f5c\uff0c\u90fd\u5fc5\u9808\u6210\u7acb\u3002<\/p>\n<p data-nodeid=\"44755\"><strong data-nodeid=\"44870\">\u95dc\u9375\u6982\u5ff5\uff1a<\/strong>\u00a0\u5982\u679c\u9055\u53cd\u4e86\u4e0d\u8b8a\u5f0f\uff0c\u7cfb\u7d71\u5c31\u8655\u65bc\u7121\u6548\u72c0\u614b\u3002<\/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>\u5728VPasCode\u4e2d\u7de8\u8f2fPlantuml<\/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:PLBDIiD04Bu7yWu3NZHIoK4F5fJQOa4GXVe4csHRbsvsPRDHKOJM7n1HY-0F2bO54Kyg2b8alesfoSbNCDjOgErjzvlvVcQOd2UHaBvBTSsh4hQ217B1fiZpPgGKnF8bdhCvMo8R6CpU7iObpYExMX7SPqw1KovWg5WiJXR6TKtNEXAGHwmwOzj9XuHDNGF804g_2xvhOP65fSI4LTAIXIXYDiv22IEQGiHRNCN24QWiPncoA7QoaEUSOiHKmoYi4RcSbDU6aQjaK-v8MdFm2lU8x2zjgNmgFWXIMPR0oxqv5TKmuhlcL-ieUZe8WyPFS6KO2axs8F6wxE_k9Cr0kFiQreBsIokktohkpkVtzaVqUliJ7CQNz_5rCpox-JvzZ6kDzkcpuX2ssXsvvDDaR0K2U9YMn_vmc9u24zhxvoawk8qU_rGulZiAFnvI_-XzBwuVJvXcrurtsVF49VAVuQ0qj7SRuSbRT78n42dJqSJCwLo1hkMIPt92lm00\" \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  **\u985e\u4e0d\u8b8a\u5f0f\uff1a**\r\n  context BankAccount\r\n  \r\n  -- \u5132\u503c\u6c38\u9060\u4e0d\u80fd\u70ba\u8ca0\uff0c\u9664\u975e\u555f\u7528\u900f\u652f\r\n  inv balanceRule: \r\n    self.balance &gt;= 0 \u6216 self.isOverdraftEnabled\r\n  \r\n  -- \u900f\u652f\u984d\u5ea6\u4e0d\u80fd\u8d85\u904e500\r\n  inv overdraftLimit: \r\n    self.isOverdraftEnabled \u610f\u5473\u8457 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:PLBDIiD04Bu7yWu3NZHIoK4F5fJQOa4GXVe4csHRbsvsPRDHKOJM7n1HY-0F2bO54Kyg2b8alesfoSbNCDjOgErjzvlvVcQOd2UHaBvBTSsh4hQ217B1fiZpPgGKnF8bdhCvMo8R6CpU7iObpYExMX7SPqw1KovWg5WiJXR6TKtNEXAGHwmwOzj9XuHDNGF804g_2xvhOP65fSI4LTAIXIXYDiv22IEQGiHRNCN24QWiPncoA7QoaEUSOiHKmoYi4RcSbDU6aQjaK-v8MdFm2lU8x2zjgNmgFWXIMPR0oxqv5TKmuhlcL-ieUZe8WyPFS6KO2axs8F6wxE_k9Cr0kFiQreBsIokktohkpkVtzaVqUliJ7CQNz_5rCpox-JvzZ6kDzkcpuX2ssXsvvDDaR0K2U9YMn_vmc9u24zhxvoawk8qU_rGulZiAFnvI_-XzBwuVJvXcrurtsVF49VAVuQ0qj7SRuSbRT78n42dJqSJCwLo1hkMIPt92lm00\" \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>\u5728VPasCode\u4e2d\u7de8\u8f2fPlantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44757\">B. \u64cd\u4f5c\u5408\u7d04\uff08<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\">\u64cd\u4f5c\uff08\u65b9\u6cd5\uff09\u53ef\u4ee5\u5177\u6709\u7d04\u675f\uff0c\u7528\u4ee5\u5b9a\u7fa9\u5176\u57f7\u884c\u524d\u5f8c\u7684\u884c\u70ba\u3002<\/p>\n<ul data-nodeid=\"44759\">\n<li data-nodeid=\"44760\">\n<p data-nodeid=\"44761\"><strong data-nodeid=\"44891\">\u524d\u7f6e\u689d\u4ef6\uff08<code data-backticks=\"1\" data-nodeid=\"44881\">pre<\/code>):<\/strong>\u5fc5\u9808\u70ba\u771f\u7684\u5167\u5bb9<em data-nodeid=\"44892\">\u5728\u2026\u2026\u4e4b\u524d<\/em>\u64cd\u4f5c\u958b\u59cb\u524d\u3002\uff08\u547c\u53eb\u8005\u7684\u8cac\u4efb\uff09<\/p>\n<\/li>\n<li data-nodeid=\"44762\">\n<p data-nodeid=\"44763\"><strong data-nodeid=\"44905\">\u5f8c\u7f6e\u689d\u4ef6\uff08<code data-backticks=\"1\" data-nodeid=\"44895\">\u5f8c\u7f6e<\/code>):<\/strong>\u5c07\u70ba\u771f\u7684\u5167\u5bb9<em data-nodeid=\"44906\">\u5728\u2026\u2026\u4e4b\u5f8c<\/em>\u64cd\u4f5c\u7d50\u675f\u5f8c\u3002\uff08\u64cd\u4f5c\u7684\u4fdd\u8b49\uff09<\/p>\n<\/li>\n<li data-nodeid=\"44764\">\n<p data-nodeid=\"44765\"><strong data-nodeid=\"44913\">\u4e3b\u9ad4\uff08<code data-backticks=\"1\" data-nodeid=\"44909\">\u4e3b\u9ad4<\/code>):<\/strong>\u5b9a\u7fa9\u67e5\u8a62\u64cd\u4f5c\u7684\u7cbe\u78ba\u56de\u50b3\u503c\u3002<\/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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/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:TPBDIWCn58Nt0_CE5zoqbOeRGOTI_A62Er5V8APn6fgP3CaTy0Steg1YGR0W54Kek2Y26qMAhNsQTgQkV0MJraMBkWltt9pptPiiQoGAuq2uZgxoC2AA1405qNe5KV7T6Da6bU4sFsGmFzaJIcIhX5Pz9UEml2Q5L31JMbnVA2svZkkCB62x8gE8X_wQoO0Zrm780qSMQ0zMYL_OLB8SKooE1PH8n4fWxD23BKQ4BSy2hJ1QbJ5cihPA6OzmBFWCT-oLiM3RZsso1GF5_Gg2t9iYiDTokUIcrl-u6roVfw-dNzr6BcVB8u8y32vgwSTpqhplTzwCDdpffXUjOUUotwuDUhVfoNlQUhUjPYF8zd7AtVF-8OqKyq0piJSt6ZrVD8Ib8CA3J7OokdVrP_Im-PIqpqpkL_SghJVJ-aDIVqjk6YDdgN7QckiVPo1X6HJJiK0e526CXPW8wxSxdqzr4vCyF0vRpP-LF3VINkl_yNxl6s1NbW-c2QWKWb7CH8fJbiqNTHpOEPd1iI_ZEilcQFxRDm00\" \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  **\u64cd\u4f5c\u5408\u7d04\uff1a**\r\n  \r\n  -- \u524d\u7f6e\u689d\u4ef6\uff1a\u8cfc\u7269\u8eca\u4e0d\u5f97\u70ba\u7a7a\r\n  context ShoppingCart::checkout(): Receipt\r\n  pre: self.items-&gt;notEmpty()\r\n  \r\n  -- \u5f8c\u7f6e\u689d\u4ef6\uff1a\u8cfc\u7269\u8eca\u88ab\u6e05\u7a7a\uff0c\u7522\u751f\u6536\u64da\r\n  post: self.items-&gt;isEmpty() and result &lt;&gt; null\r\n  \r\n  -- \u4e3b\u9ad4\uff1a\u67e5\u8a62\u64cd\u4f5c\u5b9a\u7fa9\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:TPBDIWCn58Nt0_CE5zoqbOeRGOTI_A62Er5V8APn6fgP3CaTy0Steg1YGR0W54Kek2Y26qMAhNsQTgQkV0MJraMBkWltt9pptPiiQoGAuq2uZgxoC2AA1405qNe5KV7T6Da6bU4sFsGmFzaJIcIhX5Pz9UEml2Q5L31JMbnVA2svZkkCB62x8gE8X_wQoO0Zrm780qSMQ0zMYL_OLB8SKooE1PH8n4fWxD23BKQ4BSy2hJ1QbJ5cihPA6OzmBFWCT-oLiM3RZsso1GF5_Gg2t9iYiDTokUIcrl-u6roVfw-dNzr6BcVB8u8y32vgwSTpqhplTzwCDdpffXUjOUUotwuDUhVfoNlQUhUjPYF8zd7AtVF-8OqKyq0piJSt6ZrVD8Ib8CA3J7OokdVrP_Im-PIqpqpkL_SghJVJ-aDIVqjk6YDdgN7QckiVPo1X6HJJiK0e526CXPW8wxSxdqzr4vCyF0vRpP-LF3VINkl_yNxl6s1NbW-c2QWKWb7CH8fJbiqNTHpOEPd1iI_ZEilcQFxRDm00\" \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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44767\">C. \u884d\u751f\u8207\u521d\u59cb\u503c\uff08<code data-backticks=\"1\" data-nodeid=\"44915\">\u884d\u751f<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44917\">\u521d\u59cb<\/code>)<\/h3>\n<p data-nodeid=\"44768\">\u53d6\u4ee3\u5132\u5b58\u91cd\u8907\u8cc7\u6599\uff0cUML \u5141\u8a31\u5c07\u5c6c\u6027\u6a19\u8a18\u70ba<code data-backticks=\"1\" data-nodeid=\"44920\">{\u884d\u751f}<\/code>\u6216<code data-backticks=\"1\" data-nodeid=\"44922\">{\u521d\u59cb}<\/code>\uff0c\u4e26\u7531 OCL \u5b9a\u7fa9\u5176\u7cbe\u78ba\u503c\u3002<\/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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/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:RL5FIm915Bylx7TuqAK49Ugs4AYfuAMBVO5nzxaExix8p6na8aWK6Kkt8X8YFDMfKnqg-pZhsgclq8mh8jLb6Dxln-_FUqMfY51H6DYMx53M9OA4u0P4of9IWZOZXNMNimOzGTXUvp2ki4pSZYzunBnz7d016zNTsawjObksjP20QjWDU0yH-hO5a8SM5L8Ta10TQ6XrvcVZ9XMgNI5AZysR3ViU2dg4tW28hu4wK-YZM6AKKKL9C00gIwxID0VAd0T86Eo14f7M69WO9YK8whSLyDOgZX79vUQJg_JwOJwwI4RtoMES3AVVqt4kPy25InwI-6Ps7i-VHkdpRVBsylKvCO1UXy9ZjL9pdDy1i-GEI0nQXLMvGW-9a0tAN3pa7kbjRgrRNRuc7--pkzDqV9RbIUEXDl_Vy4zhGpCxSPRbaNcB2zbMKN_rUNy0\" \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  **\u884d\u751f\u8207\u521d\u59cb\u503c\uff1a**\r\n  \r\n  -- \u52d5\u614b\u8a08\u7b97\u5e74\u9f61\r\n  context Employee::age: Integer\r\n  derive: self.birthDate.yearsSinceToday()\r\n  \r\n  -- \u5275\u5efa\u6642\u7684\u521d\u59cb\u72c0\u614b\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:RL5FIm915Bylx7TuqAK49Ugs4AYfuAMBVO5nzxaExix8p6na8aWK6Kkt8X8YFDMfKnqg-pZhsgclq8mh8jLb6Dxln-_FUqMfY51H6DYMx53M9OA4u0P4of9IWZOZXNMNimOzGTXUvp2ki4pSZYzunBnz7d016zNTsawjObksjP20QjWDU0yH-hO5a8SM5L8Ta10TQ6XrvcVZ9XMgNI5AZysR3ViU2dg4tW28hu4wK-YZM6AKKKL9C00gIwxID0VAd0T86Eo14f7M69WO9YK8whSLyDOgZX79vUQJg_JwOJwwI4RtoMES3AVVqt4kPy25InwI-6Ps7i-VHkdpRVBsylKvCO1UXy9ZjL9pdDy1i-GEI0nQXLMvGW-9a0tAN3pa7kbjRgrRNRuc7--pkzDqV9RbIUEXDl_Vy4zhGpCxSPRbaNcB2zbMKN_rUNy0\" \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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44770\">D. \u72c0\u614b\u6a5f\u5b88\u885b<\/h3>\n<p data-nodeid=\"44771\">\u5728\u72c0\u614b\u6a5f\u5716\u4e2d\uff0c\u8f49\u79fb\u53ef\u4ee5\u5177\u6709<strong data-nodeid=\"44930\">\u5b88\u885b<\/strong>\u2014\u5fc5\u9808\u8a55\u4f30\u70ba\u771f\u7684\u5e03\u6797\u8868\u9054\u5f0f\uff0c\u624d\u80fd\u4f7f\u8f49\u79fb\u767c\u751f\u3002OCL \u662f\u64b0\u5beb\u9019\u4e9b\u5b88\u885b\u7684\u6a19\u6e96\u8a9e\u8a00\u3002<\/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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/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:RPBDJi9058NtJVeEDt41DC5e39i66WHXgz4bOL7f02Fjp6Gw9H9Zua8tec5FuiO7O6bCH9-67tU-WdDRQ0WmgpldddFdcsdBeNAbYWBVDC8UPSALRW1QKwJYjdeToIFcLRdF9HpKJsg5Ui4qJADXDI6VTw0gYJPwfh4gOl62C8-opgaGalTT7sm8e-k0gcmEe_7e7S-TQTnZTrl7USb63xUXeRZIQX6EZ_HgxlTVaXlIKfj-fvG6J2CTXzwhBXKYjeQwGiArWbrzJKmmheabxNGLyFOskca0MDPo-B1u6iu-Ntydp_Ffw6ywjYpij3XJv5R1kVI8H86olZwB-Er3V8WeX19aLXCpG0FXKn826kEL6EFNqnUg3FAEPga5GWqGLSS0sNOPrtTCuDnabyt1Slmu_tbPVayMxs-phu_zcBQT1h0dUAXsaDS7PC3L42blObl5lJFyqaK7MEJxcxHbNUeVxXy0\" \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  **\u72c0\u614b\u4e0d\u8b8a\u5f0f\uff1a**\r\n  context Order\r\n  inv: self.status = 'Pending' implies \r\n       self.submittedBy-&gt;notEmpty()\r\nend note\r\n\r\nnote right of Approved\r\n  **approve() \u7684\u5f8c\u7f6e\u689d\u4ef6\uff1a**\r\n  context Order::approve()\r\n  post: self.status = 'Approved' and \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:RPBDJi9058NtJVeEDt41DC5e39i66WHXgz4bOL7f02Fjp6Gw9H9Zua8tec5FuiO7O6bCH9-67tU-WdDRQ0WmgpldddFdcsdBeNAbYWBVDC8UPSALRW1QKwJYjdeToIFcLRdF9HpKJsg5Ui4qJADXDI6VTw0gYJPwfh4gOl62C8-opgaGalTT7sm8e-k0gcmEe_7e7S-TQTnZTrl7USb63xUXeRZIQX6EZ_HgxlTVaXlIKfj-fvG6J2CTXzwhBXKYjeQwGiArWbrzJKmmheabxNGLyFOskca0MDPo-B1u6iu-Ntydp_Ffw6ywjYpij3XJv5R1kVI8H86olZwB-Er3V8WeX19aLXCpG0FXKn826kEL6EFNqnUg3FAEPga5GWqGLSS0sNOPrtTCuDnabyt1Slmu_tbPVayMxs-phu_zcBQT1h0dUAXsaDS7PC3L42blObl5lJFyqaK7MEJxcxHbNUeVxXy0\" \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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44773\"\/>\n<h2 data-nodeid=\"44774\">3. \u7d9c\u5408\u6848\u4f8b\u7814\u7a76\uff1a\u516c\u53f8\u6a21\u578b<\/h2>\n<p data-nodeid=\"44775\">\u8b93\u6211\u5011\u5c07 OCL \u61c9\u7528\u65bc\u4e00\u500b\u5305\u542b\u4ee5\u4e0b\u5167\u5bb9\u7684\u8907\u96dc UML \u985e\u5716<code data-backticks=\"1\" data-nodeid=\"44935\">Employee<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44937\">Department<\/code>\uff0c\u4ee5\u53ca<code data-backticks=\"1\" data-nodeid=\"44939\">Project<\/code>\u3002\u9019\u5c55\u793a\u4e86 OCL \u5982\u4f55\u5c0e\u822a\u95dc\u806f\u4e26\u4f7f\u7528\u96c6\u5408\u8fed\u4ee3\u5668\uff08<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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/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:dLNTRXD75Bwtv7SOfJU9Mw_Y06gr2XOGOobI1KXvWhKzSQRPdKbdPbCeHGgYA0x8v8A8fgab6Wh5ef3GYnQtsChBxDhhgxn2p-pih3S_tFHcjNlc_7ppdU-SlIAamwNlkVcSM2LqpU6EX-gk8yHLAJcf-H8lrXbT8jzZD9lreKpYQqvzjScPJniBp6KSVLQjLYlNlppZndW3S-DoRM5shfBFvNDn5NJTMtFP7OpHtNmEeI9QMhfXeoKeJPlQi4oua3SS3vyqrmYNAnL7WbazjN65S7pQ9XpNuNTiL7MP8vNfS-GqyVICZHQfn4tCyxbx4pWL3BYbXwaqWAZlrJ3FUCV6CtXSLdSaOLI06SjvVLJMPtVX-cGTD-uXMkFcmk9y0BSu-mRN_s_rYJLEcP8xDMjPXIbKBAAfqbJsaZRwZl5LKONMb54ZjPyVgjyCmYJq9eN8DMtBXfNIcDCLFOT21mI4wRS6d49enYSJVA8WA55ovef9HN5-IOXApJOI_XhcwqJ4bnH-3VH8A0X4A8wKGX4dpHM9s78QfMWj5AANc-DVEa6l7Hqy2llRKMipVFyaQhqvxkyL2if50SAtvOcmk2D5LB9G-FpVOUTj-EVRuSRhwFVjS6jJdH6whXIui8Bhgu0DkyjMB4XKlenANsKop466kDpufqvq__2utmfVxeqtsv3jkBzbKddExOGWaMHBsb8i2vXQo3j_6LtCfBrWeM1mDDhfHaVlWe-_XJzt8VCourTTDqaBJa7lu-XWFpnwEFwr5NQwGUynN2Fuvt6urOvU_17TtuLuWq1DtKqruadzBCF5iiuyhPoH8X_ze9wM6LNL4HLalfNVJ0RjHGj57xgQWGc7S10-tGy_l0gttqGF1e1m_A0xVhOntDeOFdaTjluUxVqOlcyDzrj1xn6u1OEEGPi8Pq5BoKO9i9Gu60NBwAnO9hJk-Wqir1MovCxei0JB9UZKpc7GsuZUxOQjLwCNVQ1qtFuhqoQVaczz76yt8nRBSTr52WkOrh6OdacfmgKl49u3ddGDN4BpPMKW44TWRd39WZpQgDuIoZ1jnEis5NMDISayfUfAPh1ZNU-tHplFjJ3FQ7dYRDkVs5S8wOrcd-JDAEuSBEc0tJARGk4mBKhcwmoKZBFfkeuOj4U30wtEuUwXxhqsWaQX3uRrTSSbZQ_JvPZfjMcnbIxkIRDrfyt1gUjSWG_uN_u7\" \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  **\u8907\u96dc\u4e0d\u8b8a\u5f0f\u8207\u5c0e\u822a\uff1a**\r\n  context Employee\r\n  \r\n  -- 1. \u57fa\u672c\u5c6c\u6027\u898f\u5247\r\n  inv ageCheck: self.age() &gt;= 18\r\n  \r\n  -- 2. \u5c0e\u822a\u95dc\u806f\uff08\u591a\u91cd\u6027\uff09\r\n  inv maxProjects: self.worksOn-&gt;size() &lt;= 4\r\n  \r\n  -- 3. \u4f7f\u7528\u8fed\u4ee3\u5668\uff08forAll\uff09\r\n  -- \u4e3b\u7ba1\u5fc5\u9808\u5728\u4e0b\u5c6c\u4e4b\u524d\u88ab\u8058\u7528\r\n  inv hireOrder: self.subordinates-&gt;forAll(\r\n    sub | sub.hireDate &gt; self.hireDate\r\n  )\r\n  \r\n  -- 4. \u8de8\u95dc\u806f\u898f\u5247\r\n  -- \u54e1\u5de5\u53ea\u80fd\u5728\u90e8\u9580\u6240\u63a7\u5236\u7684\u5c08\u6848\u4e0a\u5de5\u4f5c\r\n  inv projectControl: \r\n    self.worksFor.controls-&gt;includesAll(self.worksOn)\r\n    \r\n  -- 5. \u552f\u4e00\u8b58\u5225\u78bc\uff08\u9375\uff09\r\n  inv uniqueSSN: Employee.allInstances()-&gt;forAll(e1, e2 | \r\n    e1 &lt;&gt; e2 implies e1.SSN &lt;&gt; e2.SSN\r\n  )\r\nend note\r\n\r\nnote bottom of Department\r\n  **\u884d\u751f\u5c6c\u6027\uff1a**\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  **\u5c08\u6848\u4e0d\u8b8a\u5f0f\uff1a**\r\n  context Project\r\n  \r\n  -- \u5c08\u6848\u4f4d\u7f6e\u5fc5\u9808\u662f\u90e8\u9580\u4f4d\u7f6e\u4e4b\u4e00\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:dLNTRXD75Bwtv7SOfJU9Mw_Y06gr2XOGOobI1KXvWhKzSQRPdKbdPbCeHGgYA0x8v8A8fgab6Wh5ef3GYnQtsChBxDhhgxn2p-pih3S_tFHcjNlc_7ppdU-SlIAamwNlkVcSM2LqpU6EX-gk8yHLAJcf-H8lrXbT8jzZD9lreKpYQqvzjScPJniBp6KSVLQjLYlNlppZndW3S-DoRM5shfBFvNDn5NJTMtFP7OpHtNmEeI9QMhfXeoKeJPlQi4oua3SS3vyqrmYNAnL7WbazjN65S7pQ9XpNuNTiL7MP8vNfS-GqyVICZHQfn4tCyxbx4pWL3BYbXwaqWAZlrJ3FUCV6CtXSLdSaOLI06SjvVLJMPtVX-cGTD-uXMkFcmk9y0BSu-mRN_s_rYJLEcP8xDMjPXIbKBAAfqbJsaZRwZl5LKONMb54ZjPyVgjyCmYJq9eN8DMtBXfNIcDCLFOT21mI4wRS6d49enYSJVA8WA55ovef9HN5-IOXApJOI_XhcwqJ4bnH-3VH8A0X4A8wKGX4dpHM9s78QfMWj5AANc-DVEa6l7Hqy2llRKMipVFyaQhqvxkyL2if50SAtvOcmk2D5LB9G-FpVOUTj-EVRuSRhwFVjS6jJdH6whXIui8Bhgu0DkyjMB4XKlenANsKop466kDpufqvq__2utmfVxeqtsv3jkBzbKddExOGWaMHBsb8i2vXQo3j_6LtCfBrWeM1mDDhfHaVlWe-_XJzt8VCourTTDqaBJa7lu-XWFpnwEFwr5NQwGUynN2Fuvt6urOvU_17TtuLuWq1DtKqruadzBCF5iiuyhPoH8X_ze9wM6LNL4HLalfNVJ0RjHGj57xgQWGc7S10-tGy_l0gttqGF1e1m_A0xVhOntDeOFdaTjluUxVqOlcyDzrj1xn6u1OEEGPi8Pq5BoKO9i9Gu60NBwAnO9hJk-Wqir1MovCxei0JB9UZKpc7GsuZUxOQjLwCNVQ1qtFuhqoQVaczz76yt8nRBSTr52WkOrh6OdacfmgKl49u3ddGDN4BpPMKW44TWRd39WZpQgDuIoZ1jnEis5NMDISayfUfAPh1ZNU-tHplFjJ3FQ7dYRDkVs5S8wOrcd-JDAEuSBEc0tJARGk4mBKhcwmoKZBFfkeuOj4U30wtEuUwXxhqsWaQX3uRrTSSbZQ_JvPZfjMcnbIxkIRDrfyt1gUjSWG_uN_u7\" \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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44777\"\/>\n<h2 data-nodeid=\"44778\">4. UML \u4e2d\u7684\u9032\u968e OCL \u6280\u5de7<\/h2>\n<h3 data-nodeid=\"44779\">A. \u4f7f\u7528<code data-backticks=\"1\" data-nodeid=\"44949\">let<\/code>\u00a0\u70ba\u53ef\u8b80\u6027<\/h3>\n<p data-nodeid=\"44780\">\u7576\u4e00\u500b OCL \u8868\u9054\u5f0f\u8b8a\u5f97\u904e\u65bc\u8907\u96dc\u6642\uff0c\u8acb\u4f7f\u7528\u00a0<code data-backticks=\"1\" data-nodeid=\"44952\">let<\/code>\u95dc\u9375\u5b57\u5728\u7d04\u675f\u5167\u5b9a\u7fa9\u5c40\u90e8\u8b8a\u6578\u3002\u9019\u4f7f\u5f97 UML \u8a3b\u89e3\u66f4\u5bb9\u6613\u95b1\u8b80\u3002<\/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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/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:LP3DIiD058NtWRp3tRKDH0hYfZIXBWIxKkWJn3XDnqvcoioDlmZIZI85Duhu0w9OAIuKtDX5YozJcsJbApW9GUfkEFTyS-uz3OMUn2Xafg6wbFSywONWCq-fLKH9jo8aJL_m5ZqaK3KDqyXdi1Rsc3WW18vC0y26FI6xQeFNe4MmlYd53l7HDOtZZE022KWQT114-u_CECkQJR_Yon6K6C4If2SVoUCWUJvDx-xJ_aKoUV-Pt5fMvjGh8Dd7VtIUR4CoEelVhkFnzFjpEB_fpyOlyzUd-SCmxP_7LuFCHFbklY3bmRg8fAhbA80E1HJeiK9jweo0I72AEO0YhBrKt6Qxlc1CtrNkPFQAxQeeB5SAB-KBNu7hm78LFBwzADOTMD4L4grcbPX6Gpzryxy0\" \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  **\u4f7f\u7528 'let' \u9032\u884c\u8907\u96dc\u908f\u8f2f\uff1a**\r\n  context Employee\r\n  \r\n  -- \u8a08\u7b97\u7e3d\u5de5\u6642\u4e26\u6aa2\u67e5\u908a\u754c\r\n  inv workingHours: \r\n    let totalHours: Integer = \r\n      self.worksOn-&gt;collect(hours)-&gt;sum() \r\n    in totalHours &gt;= 30 and 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:LP3DIiD058NtWRp3tRKDH0hYfZIXBWIxKkWJn3XDnqvcoioDlmZIZI85Duhu0w9OAIuKtDX5YozJcsJbApW9GUfkEFTyS-uz3OMUn2Xafg6wbFSywONWCq-fLKH9jo8aJL_m5ZqaK3KDqyXdi1Rsc3WW18vC0y26FI6xQeFNe4MmlYd53l7HDOtZZE022KWQT114-u_CECkQJR_Yon6K6C4If2SVoUCWUJvDx-xJ_aKoUV-Pt5fMvjGh8Dd7VtIUR4CoEelVhkFnzFjpEB_fpyOlyzUd-SCmxP_7LuFCHFbklY3bmRg8fAhbA80E1HJeiK9jweo0I72AEO0YhBrKt6Qxlc1CtrNkPFQAxQeeB5SAB-KBNu7hm78LFBwzADOTMD4L4grcbPX6Gpzryxy0\" \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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44782\">B. \u5728\u5f8c\u7f6e\u689d\u4ef6\u4e2d\u8655\u7406\u5148\u524d\u7684\u503c\uff08<code data-backticks=\"1\" data-nodeid=\"44955\">@pre<\/code>)<\/h3>\n<p data-nodeid=\"44783\">\u5728\u5b9a\u7fa9\u5f8c\u7f6e\u689d\u4ef6\u6642\uff0c\u60a8\u901a\u5e38\u9700\u8981\u5c07\u00a0<em data-nodeid=\"44968\">\u65b0<\/em>\u00a0\u72c0\u614b\u8207\u00a0<em data-nodeid=\"44969\">\u820a<\/em>\u00a0\u72c0\u614b\u9032\u884c\u6bd4\u8f03\u3002OCL \u4f7f\u7528\u00a0<code data-backticks=\"1\" data-nodeid=\"44966\">@pre<\/code>\u00a0\u5f8c\u7db4\u4f86\u5b58\u53d6\u5c6c\u6027\u503c\uff0c\u5176\u503c\u6070\u597d\u70ba\u64cd\u4f5c\u958b\u59cb\u524d\u7684\u503c\u3002<\/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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/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:VL31IiD04Bqlx3_CiKOYdeEMYdZmt2-8wRHTJ3RBxWQiuasa10-28b8LL11wgNhIKgt-J3RHaxzWjZKUF7XxC_FUp7lJKDgNEeb2IjGsuyANVWH1w2krfhLaMud6pI3cJRQBi4m99RCPhCUHy7aFzYW1S04Z4SOzHEL14_NAnazPjzD5w3A9LQicFAZm0YNxTYMFDO9adQw6k5sjjbB7CPT3ytPKJE_pswlivIaRZxBfUt4wX8QG-FKwS1pBAmrgtD6LrFF-kGWmi-n2VlPO30xCoOrvllkyE3J7_VpyuQEVph59hxDnEkTaaudLY5Xf3nI6xQNVlB3wfs5zkNN6Wp1fCTwfYV8ayXROZ9GqIbZ--Xi0\" \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  **\u5728\u5f8c\u7f6e\u689d\u4ef6\u4e2d\u4f7f\u7528 @pre\uff1a**\r\n  context Company::hireEmployee(p: Employee)\r\n  \r\n  -- \u65b0\u7684\u54e1\u5de5\u96c6\u5408\u662f\u820a\u96c6\u5408\u52a0\u4e0a\u65b0\u7684\u4eba\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:VL31IiD04Bqlx3_CiKOYdeEMYdZmt2-8wRHTJ3RBxWQiuasa10-28b8LL11wgNhIKgt-J3RHaxzWjZKUF7XxC_FUp7lJKDgNEeb2IjGsuyANVWH1w2krfhLaMud6pI3cJRQBi4m99RCPhCUHy7aFzYW1S04Z4SOzHEL14_NAnazPjzD5w3A9LQicFAZm0YNxTYMFDO9adQw6k5sjjbB7CPT3ytPKJE_pswlivIaRZxBfUt4wX8QG-FKwS1pBAmrgtD6LrFF-kGWmi-n2VlPO30xCoOrvllkyE3J7_VpyuQEVph59hxDnEkTaaudLY5Xf3nI6xQNVlB3wfs5zkNN6Wp1fCTwfYV8ayXROZ9GqIbZ--Xi0\" \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>\u5728 VPasCode \u4e2d\u7de8\u8f2f Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44785\"\/>\n<h2 data-nodeid=\"44786\">5. UML \u4e2d OCL \u7684\u6700\u4f73\u5be6\u52d9<\/h2>\n<ol data-nodeid=\"44787\">\n<li data-nodeid=\"44788\">\n<p data-nodeid=\"44789\"><strong data-nodeid=\"44977\">\u547d\u540d\u60a8\u7684\u7d04\u675f\uff1a<\/strong>\u00a0\u8acb\u59cb\u7d42\u70ba\u60a8\u7684\u4e0d\u8b8a\u5f0f\u548c\u689d\u4ef6\u547d\u540d\uff08\u4f8b\u5982\u00a0<code data-backticks=\"1\" data-nodeid=\"44975\">inv maxProjects:<\/code>\uff09\u3002\u9019\u4f7f\u5f97\u5728\u6587\u4ef6\u6216\u53ef\u8ffd\u6eaf\u6027\u77e9\u9663\u4e2d\u5f15\u7528\u5b83\u5011\u8b8a\u5f97\u66f4\u5bb9\u6613\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44790\">\n<p data-nodeid=\"44791\"><strong data-nodeid=\"44984\">\u7b56\u7565\u6027\u5730\u4f7f\u7528\u8a3b\u89e3\uff1a<\/strong>\u00a0\u5728 PlantUML \u548c\u8996\u89ba\u5316 UML \u5de5\u5177\u4e2d\uff0c\u4e0d\u8981\u5c07 OCL \u6df7\u96dc\u5728\u985e\u6846\u4e2d\u3002\u5c07 OCL \u653e\u5728\u9130\u8fd1\u7684\u8a3b\u89e3\u4e2d\u3002\u9019\u80fd\u8b93\u5716\u8868\u4fdd\u6301\u4e7e\u6de8\u4e14\u6613\u65bc\u95b1\u8b80\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44792\">\n<p data-nodeid=\"44793\"><strong data-nodeid=\"44995\">\u4e0d\u8981\u904e\u5ea6\u7d04\u675f\uff1a<\/strong>\u50c5\u5728\u7121\u6cd5\u900f\u904eUML\u591a\u91cd\u6027\u8f15\u9b06\u8868\u9054\u7684\u898f\u5247\u6642\u624d\u64b0\u5bebOCL\uff08\u4f8b\u5982\uff0c<code data-backticks=\"1\" data-nodeid=\"44991\">0..1<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44993\">1..*<\/code>\uff09\u6216\u57fa\u672c\u985e\u578b\u3002\u82e5\u898f\u5247\u53ef\u8996\u89ba\u5448\u73fe\uff0c\u8acb\u4ee5\u8996\u89ba\u65b9\u5f0f\u5c55\u793a\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44794\">\n<p data-nodeid=\"44795\"><strong data-nodeid=\"45008\">\u5584\u7528\u96c6\u5408\u8fed\u4ee3\u5668\uff1a<\/strong>\u638c\u63e1<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>\uff0c\u4ee5\u53ca<code data-backticks=\"1\" data-nodeid=\"45006\">-&gt;collect()<\/code>\u3002\u5b83\u5011\u662f\u7528\u65bc\u5728OCL\u4e2d\u5c0e\u822aUML\u95dc\u806f\u95dc\u4fc2\u6700\u5f37\u5927\u7684\u5de5\u5177\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44796\">\n<p class=\"\" data-nodeid=\"44797\"><strong data-nodeid=\"45021\">\u6aa2\u67e5\u7a7a\u503c\/\u7a7a\u96c6\u5408\uff1a<\/strong>\u5728\u5c0e\u822a\u53ef\u9078\u95dc\u806f\u95dc\u4fc2\u6642\uff08\u591a\u91cd\u6027<code data-backticks=\"1\" data-nodeid=\"45013\">0..1<\/code>\u6216<code data-backticks=\"1\" data-nodeid=\"45015\">0..*<\/code>\uff09\uff0c\u8acb\u59cb\u7d42\u4f7f\u7528<code data-backticks=\"1\" data-nodeid=\"45017\">-&gt;notEmpty()<\/code>\u6216<code data-backticks=\"1\" data-nodeid=\"45019\">-&gt;isEmpty()<\/code>\u5728\u5b58\u53d6\u5c6c\u6027\u524d\uff0c\u4ee5\u907f\u514d\u672a\u5b9a\u7fa9\u7684\u8a55\u4f30\u932f\u8aa4\u3002<\/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\">\u7d50\u8ad6<\/span><\/h1>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u5728\u8edf\u9ad4\u5de5\u7a0b\u9818\u57df\u4e2d\uff0c\u6a21\u7cca\u6027\u662f\u54c1\u8cea\u7684\u6575\u4eba\u3002\u96d6\u7136UML\u63d0\u4f9b\u4e86\u8a0e\u8ad6\u7cfb\u7d71\u67b6\u69cb\u6642\u4e0d\u53ef\u6216\u7f3a\u7684\u8996\u89ba\u8a5e\u5f59\uff0c\u4f46\u6b63\u662f\u7269\u4ef6\u7d04\u675f\u8a9e\u8a00\uff08OCL\uff09\u7684\u6574\u5408\uff0c\u5c07\u9019\u4e9b\u8996\u89ba\u5716\u8868\u8f49\u5316\u70ba\u56b4\u8b39\u4e14\u7121\u6b67\u7fa9\u7684\u898f\u683c\u8aaa\u660e\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u6b63\u5982\u672c\u6307\u5357\u4e2d\u6240\u63a2\u8a0e\u7684\uff0cOCL\u5728\u9ad8\u968e\u8a2d\u8a08\u8207\u5be6\u4f5c\u4e4b\u9593\u626e\u6f14\u8457\u95dc\u9375\u6a4b\u6a11\u7684\u89d2\u8272\u3002\u900f\u904e\u638c\u63e1\u985e\u5225\u4e0d\u8b8a\u5f0f\u3001\u64cd\u4f5c\u5408\u7d04\u8207\u96c6\u5408\u8fed\u4ee3\u5668\uff0c\u60a8\u80fd\u78ba\u4fdd\u696d\u52d9\u898f\u5247\u4e0d\u6703\u5728\u8a2d\u8a08\u5718\u968a\u8207\u958b\u767c\u4eba\u54e1\u4e4b\u9593\u7684\u6e9d\u901a\u4e2d\u907a\u5931\u3002\u6b64\u5916\uff0c\u4f7f\u7528PlantUML\u7b49\u5de5\u5177\uff0c\u53ef\u8b93\u60a8\u7684OCL\u7d04\u675f\u4fdd\u6301\u7248\u672c\u63a7\u5236\u3001\u6613\u65bc\u95b1\u8b80\uff0c\u4e26\u8207\u8996\u89ba\u5716\u8868\u7121\u7e2b\u6574\u5408\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u6700\u7d42\uff0c\u63a1\u7528OCL\u5c07\u63d0\u5347\u60a8\u7684\u5efa\u6a21\u5be6\u52d9\u3002\u5b83\u4f7f\u60a8\u7684\u89d2\u8272\u5f9e\u55ae\u7d14\u7684\u300c\u7e6a\u88fd\u65b9\u6846\u8207\u7dda\u689d\u300d\u8f49\u8b8a\u70ba\u5b9a\u7fa9\u7cfb\u7d71\u7cbe\u78ba\u7684\u6578\u5b78\u8a9e\u7fa9\u3002\u900f\u904e\u878d\u5408UML\u7684\u8996\u89ba\u6e05\u6670\u6027\u8207OCL\u7684\u6b63\u5f0f\u7cbe\u78ba\u6027\uff0c\u60a8\u70ba\u5efa\u7acb\u4e0d\u50c5\u8a2d\u8a08\u826f\u597d\uff0c\u4e14\u56b4\u683c\u7b26\u5408\u73fe\u5be6\u4e16\u754c\u696d\u52d9\u9700\u6c42\u7684\u8edf\u9ad4\u5960\u5b9a\u4e86\u5805\u5be6\u7684\u57fa\u790e\u3002<\/span><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u7c21\u4ecb \u96d6\u7136\u7d71\u4e00\u5efa\u6a21\u8a9e\u8a00\uff08UML\uff09\u662f\u53ef\u8996\u5316\u8edf\u9ad4\u67b6\u69cb\u7684\u7121\u53ef\u722d\u8b70\u7684\u7522\u696d\u6a19\u6e96\uff0c\u4f46\u5b83\u6709\u4e00\u500b\u56fa\u6709\u7684\u9650\u5236\uff1a\u5716\u8868\u5728\u5c55\u793a\u7cfb\u7d71\u7531\u4ec0 [&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-10504","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>\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357 - Visual Paradigm \u535a\u5ba2<\/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\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\" \/>\n<meta property=\"og:locale\" content=\"zh_TW\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357 - Visual Paradigm \u535a\u5ba2\" \/>\n<meta property=\"og:description\" content=\"\u7c21\u4ecb \u96d6\u7136\u7d71\u4e00\u5efa\u6a21\u8a9e\u8a00\uff08UML\uff09\u662f\u53ef\u8996\u5316\u8edf\u9ad4\u67b6\u69cb\u7684\u7121\u53ef\u722d\u8b70\u7684\u7522\u696d\u6a19\u6e96\uff0c\u4f46\u5b83\u6709\u4e00\u500b\u56fa\u6709\u7684\u9650\u5236\uff1a\u5716\u8868\u5728\u5c55\u793a\u7cfb\u7d71\u7531\u4ec0 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\" \/>\n<meta property=\"og:site_name\" content=\"Visual Paradigm \u535a\u5ba2\" \/>\n<meta property=\"article:published_time\" content=\"2026-07-24T07:39:20+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-07-26T09:32:17+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=\"\u4f5c\u8005:\" \/>\n\t<meta name=\"twitter:data1\" content=\"Admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9810\u4f30\u95b1\u8b80\u6642\u9593\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 \u5206\u9418\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"url\":\"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"name\":\"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357 - Visual Paradigm \u535a\u5ba2\",\"isPartOf\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/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:32:17+00:00\",\"author\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\"},\"breadcrumb\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb\"},\"inLanguage\":\"zh-TW\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-TW\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/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\/tw\/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\/tw\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/#website\",\"url\":\"https:\/\/blog.visual-paradigm.com\/tw\/\",\"name\":\"Visual Paradigm \u535a\u5ba2\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blog.visual-paradigm.com\/tw\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"zh-TW\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\",\"name\":\"Admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-TW\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/tw\/#\/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\/tw\/author\/vpadminuser\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357 - Visual Paradigm \u535a\u5ba2","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\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","og_locale":"zh_TW","og_type":"article","og_title":"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357 - Visual Paradigm \u535a\u5ba2","og_description":"\u7c21\u4ecb \u96d6\u7136\u7d71\u4e00\u5efa\u6a21\u8a9e\u8a00\uff08UML\uff09\u662f\u53ef\u8996\u5316\u8edf\u9ad4\u67b6\u69cb\u7684\u7121\u53ef\u722d\u8b70\u7684\u7522\u696d\u6a19\u6e96\uff0c\u4f46\u5b83\u6709\u4e00\u500b\u56fa\u6709\u7684\u9650\u5236\uff1a\u5716\u8868\u5728\u5c55\u793a\u7cfb\u7d71\u7531\u4ec0 [&hellip;]","og_url":"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","og_site_name":"Visual Paradigm \u535a\u5ba2","article_published_time":"2026-07-24T07:39:20+00:00","article_modified_time":"2026-07-26T09:32:17+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":{"\u4f5c\u8005:":"Admin","\u9810\u4f30\u95b1\u8b80\u6642\u9593":"6 \u5206\u9418"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","url":"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","name":"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357 - Visual Paradigm \u535a\u5ba2","isPartOf":{"@id":"https:\/\/blog.visual-paradigm.com\/tw\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage"},"image":{"@id":"https:\/\/blog.visual-paradigm.com\/tw\/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:32:17+00:00","author":{"@id":"https:\/\/blog.visual-paradigm.com\/tw\/#\/schema\/person\/a649c442f11a53040710ddec750926c6"},"breadcrumb":{"@id":"https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb"},"inLanguage":"zh-TW","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blog.visual-paradigm.com\/tw\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"]}]},{"@type":"ImageObject","inLanguage":"zh-TW","@id":"https:\/\/blog.visual-paradigm.com\/tw\/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\/tw\/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\/tw\/"},{"@type":"ListItem","position":2,"name":"\u4f7f\u7528 OCL \u8207 PlantUML \u7bc4\u4f8b\u7684 UML \u5b8c\u6574\u6307\u5357"}]},{"@type":"WebSite","@id":"https:\/\/blog.visual-paradigm.com\/tw\/#website","url":"https:\/\/blog.visual-paradigm.com\/tw\/","name":"Visual Paradigm \u535a\u5ba2","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blog.visual-paradigm.com\/tw\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"zh-TW"},{"@type":"Person","@id":"https:\/\/blog.visual-paradigm.com\/tw\/#\/schema\/person\/a649c442f11a53040710ddec750926c6","name":"Admin","image":{"@type":"ImageObject","inLanguage":"zh-TW","@id":"https:\/\/blog.visual-paradigm.com\/tw\/#\/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\/tw\/author\/vpadminuser\/"}]}},"modified_by":"Admin","_links":{"self":[{"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/posts\/10504","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/comments?post=10504"}],"version-history":[{"count":0,"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/posts\/10504\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/media?parent=10504"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/categories?post=10504"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/tw\/wp-json\/wp\/v2\/tags?post=10504"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}