{"id":9984,"date":"2026-07-24T15:39:20","date_gmt":"2026-07-24T07:39:20","guid":{"rendered":"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"},"modified":"2026-07-26T17:31:18","modified_gmt":"2026-07-26T09:31:18","slug":"a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples","status":"publish","type":"post","link":"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","title":{"rendered":"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\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\">\u5f15\u8a00<\/span><\/h1>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u5c3d\u7ba1\u7edf\u4e00\u5efa\u6a21\u8bed\u8a00\uff08UML\uff09\u662f\u53ef\u89c6\u5316\u8f6f\u4ef6\u67b6\u6784\u65e0\u53ef\u4e89\u8bae\u7684\u884c\u4e1a\u6807\u51c6\uff0c\u4f46\u5b83\u5b58\u5728\u4e00\u4e2a\u56fa\u6709\u7684\u5c40\u9650\u6027\uff1a\u56fe\u8868\u5728\u5c55\u793a<\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u4ec0\u4e48<\/span><\/em><span class=\"qwen-markdown-text\">\u7cfb\u7edf\u7531\u4ec0\u4e48\u6784\u6210\u65b9\u9762\u975e\u5e38\u51fa\u8272\uff0c\u4f46\u5728\u8868\u8fbe\u652f\u914d<\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u5982\u4f55<\/span><\/em><span class=\"qwen-markdown-text\">\u7cfb\u7edf\u884c\u4e3a\u7684\u590d\u6742\u4e14\u5fae\u5999\u7684\u4e1a\u52a1\u89c4\u5219\u65b9\u9762\u5374\u529b\u4e0d\u4ece\u5fc3\u3002\u4ec5\u4f9d\u8d56\u591a\u91cd\u6027\u3001\u57fa\u672c\u7c7b\u578b\u7b49\u89c6\u89c9\u5143\u7d20\uff0c\u5e38\u5e38\u4f1a\u4f7f\u5173\u952e\u7684\u7cfb\u7edf\u903b\u8f91\u53d8\u5f97\u6a21\u7cca\uff0c\u4ece\u800c\u5728\u5f00\u53d1\u9636\u6bb5\u5f15\u53d1\u8bef\u89e3\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u6b64\u65f6\uff0c<\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u5bf9\u8c61\u7ea6\u675f\u8bed\u8a00\uff08OCL\uff09<\/span><\/strong><span class=\"qwen-markdown-text\">\u3002\u5982\u679cUML\u662f\u7cfb\u7edf\u6a21\u578b\u7684\u201c\u9aa8\u67b6\u201d\uff0c\u90a3\u4e48OCL\u5c31\u662f\u201c\u795e\u7ecf\u7cfb\u7edf\u201d\u2014\u2014\u63d0\u4f9b\u7cbe\u786e\u3001\u65e0\u6b67\u4e49\u4e14\u5f62\u5f0f\u5316\u7684\u89c4\u5219\uff0c\u7528\u4ee5\u89c4\u5b9a\u9aa8\u67b6\u5982\u4f55\u8fd0\u4f5c\u3002\u901a\u8fc7\u5c06OCL\u4e0eUML\u7ed3\u5408\uff0c\u5efa\u6a21\u8005\u53ef\u4ee5\u5728\u9ad8\u5c42\u6b21\u7684\u89c6\u89c9\u8bbe\u8ba1\u4e0e\u4e25\u683c\u7684\u6570\u5b66\u89c4\u8303\u4e4b\u95f4\u67b6\u8d77\u6865\u6881\uff0c\u800c\u65e0\u9700\u7f16\u5199\u5b9e\u9645\u4ee3\u7801\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u672c\u5168\u9762\u6307\u5357\u63a2\u8ba8\u4e86UML\u4e0eOCL\u4e4b\u95f4\u5f3a\u5927\u7684\u534f\u540c\u4f5c\u7528\u3002\u6211\u4eec\u5c06\u5256\u6790OCL\u7684\u6838\u5fc3\u6982\u5ff5\uff0c\u6f14\u793a\u5982\u4f55\u5c06\u7ea6\u675f\u9644\u52a0\u5230\u7c7b\u3001\u64cd\u4f5c\u548c\u72b6\u6001\u673a\uff0c\u5e76\u63d0\u4f9b\u5b9e\u7528\u4e14\u53ef\u590d\u73b0\u7684<\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">PlantUML<\/span><\/strong><span class=\"qwen-markdown-text\">\u793a\u4f8b\u3002\u65e0\u8bba\u60a8\u662f\u5728\u5b9a\u4e49\u7b80\u5355\u7684\u7c7b\u4e0d\u53d8\u5f0f\uff0c\u8fd8\u662f\u7f16\u5199\u590d\u6742\u7684\u8de8\u5173\u8054\u4e1a\u52a1\u89c4\u5219\uff0c\u672c\u6307\u5357\u90fd\u5c06\u4e3a\u60a8\u63d0\u4f9b\u6240\u9700\u77e5\u8bc6\uff0c\u4f7f\u60a8\u7684\u6a21\u578b\u4ece\u7b80\u5355\u7684\u8349\u56fe\u8dc3\u5347\u4e3a\u7a33\u5065\u7684\u5de5\u7a0b\u7ea7\u89c4\u8303\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>\u5c3d\u7ba1UML\uff08\u7edf\u4e00\u5efa\u6a21\u8bed\u8a00\uff09\u5728\u53ef\u89c6\u5316\u7cfb\u7edf\u7684<strong data-nodeid=\"44816\">\u7ed3\u6784<\/strong>\u65b9\u9762\u8868\u73b0\u51fa\u8272\uff0c\u4f46\u5b83\u7f3a\u4e4f\u7cbe\u786e\u8868\u8fbe\u590d\u6742<strong data-nodeid=\"44817\">\u4e1a\u52a1\u89c4\u5219\u548c\u8bed\u4e49<\/strong>\u7684\u80fd\u529b\u3002\u8fd9\u6b63\u662f<strong data-nodeid=\"44818\">\u5bf9\u8c61\u7ea6\u675f\u8bed\u8a00\uff08OCL\uff09<\/strong>\u53d1\u6325\u4f5c\u7528\u7684\u5730\u65b9\u3002OCL\u5145\u5f53\u6b63\u5f0f\u7684\u201c\u7c98\u5408\u5242\u201d\uff0c\u5c06UML\u56fe\u4e0e\u4e25\u683c\u3001\u65e0\u6b67\u4e49\u7684\u4e1a\u52a1\u903b\u8f91\u8054\u7cfb\u8d77\u6765\u3002<\/p>\n<p data-nodeid=\"44740\">\u672c\u6307\u5357\u89e3\u91ca\u4e86OCL\u5982\u4f55\u4e0eUML\u96c6\u6210\uff0c\u60a8\u9700\u8981\u4e86\u89e3\u7684\u5173\u952e\u6982\u5ff5\uff0c\u4ee5\u53ca\u63d0\u4f9b\u5b9e\u7528\u7684<strong data-nodeid=\"44824\">PlantUML<\/strong>\u793a\u4f8b\u6765\u53ef\u89c6\u5316\u8fd9\u4e9b\u7ea6\u675f\u3002<\/p>\n<hr data-nodeid=\"44741\"\/>\n<h2 data-nodeid=\"44742\">1. \u534f\u540c\u4f5c\u7528\uff1aOCL\u5982\u4f55\u8865\u5145UML<\/h2>\n<p data-nodeid=\"44743\">\u5c06UML\u89c6\u4e3a\u7cfb\u7edf\u7684\u201c\u9aa8\u67b6\u201d\uff08\u7c7b\u3001\u5173\u8054\u3001\u72b6\u6001\uff09\uff0c\u800cOCL\u5219\u662f\u201c\u795e\u7ecf\u7cfb\u7edf\u201d\uff08\u89c4\u5b9a\u9aa8\u67b6\u5982\u4f55\u884c\u4e3a\u7684\u89c4\u5219\u3001\u6761\u4ef6\u548c\u903b\u8f91\uff09\u3002<\/p>\n<h3 data-nodeid=\"44744\">UML\u4e2d\u7684\u53ef\u89c6\u5316\u8868\u793a<\/h3>\n<p data-nodeid=\"44745\">\u5728\u6807\u51c6UML\u4e2d\uff0cOCL\u7ea6\u675f\u901a\u5e38\u4f7f\u7528<strong data-nodeid=\"44841\">\u6ce8\u91ca<\/strong>\u9644\u52a0\u5230\u76f8\u5173\u6a21\u578b\u5143\u7d20\uff08\u7c7b\u3001\u64cd\u4f5c\u6216\u72b6\u6001\uff09\u4e0a\u8868\u793a\u3002<\/p>\n<ul data-nodeid=\"44746\">\n<li data-nodeid=\"44747\">\n<p data-nodeid=\"44748\"><strong data-nodeid=\"44848\">\u6784\u9020\u578b\uff1a<\/strong>\u901a\u5e38\uff0c\u5305\u542bOCL\u7684\u6ce8\u91ca\u4f1a\u88ab\u8d4b\u4e88<code data-backticks=\"1\" data-nodeid=\"44846\">{\u7ea6\u675f}<\/code>\u6784\u9020\u578b\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44749\">\n<p data-nodeid=\"44750\"><strong data-nodeid=\"44855\">\u4e0a\u4e0b\u6587\uff1a<\/strong>\u6bcf\u4e2aOCL\u8868\u8fbe\u5f0f\u90fd\u4ee5<code data-backticks=\"1\" data-nodeid=\"44853\">context<\/code>\u5173\u952e\u5b57\u5f00\u5934\uff0c\u58f0\u660e\u8be5\u89c4\u5219\u9002\u7528\u4e8e\u54ea\u4e2aUML\u5143\u7d20\u3002<\/p>\n<\/li>\n<\/ul>\n<hr data-nodeid=\"44751\"\/>\n<h2 data-nodeid=\"44752\">2. UML\u4e2dOCL\u7684\u5173\u952e\u6982\u5ff5<\/h2>\n<h3 data-nodeid=\"44753\">A. \u7c7b\u4e0d\u53d8\u5f0f\uff08<code data-backticks=\"1\" data-nodeid=\"44858\">inv<\/code>)<\/h3>\n<p data-nodeid=\"44754\">\u4e0d\u53d8\u5f0f\u662f\u5fc5\u987b\u6ee1\u8db3\u7684\u6761\u4ef6\uff0c<strong data-nodeid=\"44865\">\u59cb\u7ec8\u4e3a\u771f<\/strong>\u5bf9\u4e8e\u7c7b\u7684\u6bcf\u4e2a\u5b9e\u4f8b\uff0c\u65e0\u8bba\u8c03\u7528\u4ec0\u4e48\u64cd\u4f5c\uff0c\u90fd\u5fc5\u987b\u6210\u7acb\u3002<\/p>\n<p data-nodeid=\"44755\"><strong data-nodeid=\"44870\">\u5173\u952e\u6982\u5ff5\uff1a<\/strong>\u5982\u679c\u4e0d\u53d8\u5f0f\u88ab\u8fdd\u53cd\uff0c\u7cfb\u7edf\u5c31\u5904\u4e8e\u65e0\u6548\u72b6\u6001\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\u7f16\u8f91Plantuml<\/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:PL9FIm915Bylx7TuqAKCOmzrI2ZCI0YYe3x1k3lguEoCpCvM545GKOT20ucCB8WEtIoAa5ByChhkdlmApUucMDvcVk_z_hp7IpiI2UdQLDUS4c5b990D9aMEioAb83bNudMJinroWC4Oxs5SuWmoImN1NMQjSie5J6MpsSNLULtJjKW2CeYLLanJTKWur3M09A3uk-dQEInIiADCM24kvH15pCGfsCQ8nX1njdQni0JAopM6SXHRASXmJZ5YOSCix15PLEMzQMI7iZ5t9gvPkCmT8l-NZi9yONmGf52KmFFZEKDg8Z5u--wrhlgLstwxCcpV9H8XhFOWyRxytnqbJKAlKm-U6jvho-_UAwv_qkcrlloFns7xCgW_1us7VhKvgBq4nnMlrWmvXEsEHjvsgHex104SJFDplpWiBu41tiLDZ4vkOym_5WxgLPKYzlS_p_pk-O9XZDpuYBr1R2B_64vAWtTQwL-_3nh74v6IaIPcLdG5kfPMJtL2Fm00\" \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  **\u7c7b\u4e0d\u53d8\u5f0f\uff1a**\r\n  context BankAccount\r\n  \r\n  -- \u4f59\u989d\u6c38\u8fdc\u4e0d\u80fd\u4e3a\u8d1f\uff0c\u9664\u975e\u542f\u7528\u900f\u652f\r\n  inv balanceRule: \r\n    self.balance &gt;= 0 \u6216 self.isOverdraftEnabled\r\n  \r\n  -- \u900f\u652f\u9650\u989d\u4e0d\u80fd\u8d85\u8fc7500\r\n  inv overdraftLimit: \r\n    self.isOverdraftEnabled \u610f\u5473\u7740 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:PL9FIm915Bylx7TuqAKCOmzrI2ZCI0YYe3x1k3lguEoCpCvM545GKOT20ucCB8WEtIoAa5ByChhkdlmApUucMDvcVk_z_hp7IpiI2UdQLDUS4c5b990D9aMEioAb83bNudMJinroWC4Oxs5SuWmoImN1NMQjSie5J6MpsSNLULtJjKW2CeYLLanJTKWur3M09A3uk-dQEInIiADCM24kvH15pCGfsCQ8nX1njdQni0JAopM6SXHRASXmJZ5YOSCix15PLEMzQMI7iZ5t9gvPkCmT8l-NZi9yONmGf52KmFFZEKDg8Z5u--wrhlgLstwxCcpV9H8XhFOWyRxytnqbJKAlKm-U6jvho-_UAwv_qkcrlloFns7xCgW_1us7VhKvgBq4nnMlrWmvXEsEHjvsgHex104SJFDplpWiBu41tiLDZ4vkOym_5WxgLPKYzlS_p_pk-O9XZDpuYBr1R2B_64vAWtTQwL-_3nh74v6IaIPcLdG5kfPMJtL2Fm00\" \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\u7f16\u8f91Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44757\">B. \u64cd\u4f5c\u5951\u7ea6\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\u7ea6\u675f\u6761\u4ef6\uff0c\u7528\u4e8e\u5b9a\u4e49\u5176\u6267\u884c\u524d\u548c\u6267\u884c\u540e\u7684\u884c\u4e3a\u3002<\/p>\n<ul data-nodeid=\"44759\">\n<li data-nodeid=\"44760\">\n<p data-nodeid=\"44761\"><strong data-nodeid=\"44891\">\u524d\u7f6e\u6761\u4ef6\uff08<code data-backticks=\"1\" data-nodeid=\"44881\">pre<\/code>):<\/strong>\u5fc5\u987b\u4e3a\u771f\u7684\u5185\u5bb9<em data-nodeid=\"44892\">\u5728\u2026\u2026\u4e4b\u524d<\/em>\u64cd\u4f5c\u5f00\u59cb\u524d\u3002\uff08\u8c03\u7528\u8005\u7684\u8d23\u4efb\uff09\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44762\">\n<p data-nodeid=\"44763\"><strong data-nodeid=\"44905\">\u540e\u7f6e\u6761\u4ef6\uff08<code data-backticks=\"1\" data-nodeid=\"44895\">\u540e\u7f6e<\/code>):<\/strong>\u5c06\u4f1a\u4e3a\u771f\u7684\u5185\u5bb9<em data-nodeid=\"44906\">\u5728\u2026\u2026\u4e4b\u540e<\/em>\u64cd\u4f5c\u5b8c\u6210\u540e\u3002\uff08\u64cd\u4f5c\u7684\u4fdd\u8bc1\uff09\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44764\">\n<p data-nodeid=\"44765\"><strong data-nodeid=\"44913\">\u4e3b\u4f53\uff08<code data-backticks=\"1\" data-nodeid=\"44909\">\u4e3b\u4f53<\/code>):<\/strong>\u5b9a\u4e49\u67e5\u8be2\u64cd\u4f5c\u7684\u786e\u5207\u8fd4\u56de\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>\u5728VPasCode\u4e2d\u7f16\u8f91Plantuml<\/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:TPB1IYD148Rl0_CE1LwIB14lWWuIr11XRxBw0csddJJfcHwwQq1tyIGB1ioYw4aKKL2GPRCNaHYTjvdCp2slO7UIGyAkjwR-wl__ghhNDHA5SI1SHxTv61550g22QBs1gFXUZEmhbU4E_yvWQROdbCWs2MtxIiPXiow5LB3GMDbQRgowZkkCBM2d9QE8XtxTPC0Frm6e0aSMQ0ysYR-shMGpfbYR22YHY8t0sA47tnWHjlm5Q8lHjeonLBPLodY44y5dk6klJ0JRVcIJBHWexhSGvFuSWRrMgMGNtJIv7ZwSvuF7qVjLfMBBOu8g33lTFEbbDtVfsulHYkS_UUUfI1xJVhSuJjB-87yQs5Qp4MG7EEVkUP-GHefve9dONnoFNgqPmaOGuM6fF1jzzkk_qSNzxwp_q-IEta_pozliv2oxVCcwlR6pr3XlpVNK6KZO1CLqB13MQX36Gio4fVstDBamCTdjG_7tVhgItbNwslbyl7_t3R0dcuVp15GAmIYM8iKfArThEWxidCpWs9TndNLpDF_j0m00\" \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\u5951\u7ea6\uff1a**\r\n  \r\n  -- \u524d\u7f6e\u6761\u4ef6\uff1a\u8d2d\u7269\u8f66\u4e0d\u80fd\u4e3a\u7a7a\r\n  context ShoppingCart::checkout(): Receipt\r\n  pre: self.items-&gt;notEmpty()\r\n  \r\n  -- \u540e\u7f6e\u6761\u4ef6\uff1a\u8d2d\u7269\u8f66\u88ab\u6e05\u7a7a\uff0c\u751f\u6210\u6536\u636e\r\n  post: self.items-&gt;isEmpty() and result &lt;&gt; null\r\n  \r\n  -- \u4e3b\u4f53\uff1a\u67e5\u8be2\u64cd\u4f5c\u5b9a\u4e49\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:TPB1IYD148Rl0_CE1LwIB14lWWuIr11XRxBw0csddJJfcHwwQq1tyIGB1ioYw4aKKL2GPRCNaHYTjvdCp2slO7UIGyAkjwR-wl__ghhNDHA5SI1SHxTv61550g22QBs1gFXUZEmhbU4E_yvWQROdbCWs2MtxIiPXiow5LB3GMDbQRgowZkkCBM2d9QE8XtxTPC0Frm6e0aSMQ0ysYR-shMGpfbYR22YHY8t0sA47tnWHjlm5Q8lHjeonLBPLodY44y5dk6klJ0JRVcIJBHWexhSGvFuSWRrMgMGNtJIv7ZwSvuF7qVjLfMBBOu8g33lTFEbbDtVfsulHYkS_UUUfI1xJVhSuJjB-87yQs5Qp4MG7EEVkUP-GHefve9dONnoFNgqPmaOGuM6fF1jzzkk_qSNzxwp_q-IEta_pozliv2oxVCcwlR6pr3XlpVNK6KZO1CLqB13MQX36Gio4fVstDBamCTdjG_7tVhgItbNwslbyl7_t3R0dcuVp15GAmIYM8iKfArThEWxidCpWs9TndNLpDF_j0m00\" \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>\u5728VPasCode\u4e2d\u7f16\u8f91Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44767\">C. \u884d\u751f\u503c\u4e0e\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\">\u4e0e\u5176\u5b58\u50a8\u5197\u4f59\u6570\u636e\uff0cUML\u5141\u8bb8\u5c06\u5c5e\u6027\u6807\u8bb0\u4e3a<code data-backticks=\"1\" data-nodeid=\"44920\">{\u884d\u751f}<\/code>\u6216<code data-backticks=\"1\" data-nodeid=\"44922\">{\u521d\u59cb}<\/code>\uff0c\u7531OCL\u5b9a\u4e49\u5176\u786e\u5207\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>\u5728VPasCode\u4e2d\u7f16\u8f91Plantuml<\/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:RL5DIm916Bulx7zueKi9IjHj8KXJmKiN-mFZxkiwk3iZCxEHYM3WGGmw1O8HqQbEdaJw47zDwzQflz2CAoBLPHZUv-7vUDzZgOXGKHZObcnIrYA2XE06HCgyKeBM8eKLbxCglKJOt-Omhh10tAOlUCIy4nvm0Jkbm_91kMXRjhMIW5BO2dWR4Jgs1P25EXLIdP8G7QXgTUQduneLgb4aIe_Dcmux7WfwZbuNYA-12bFeerXZb555IT05AlEkqZG72fm7I1WSWHAHrkYQ62Ob2Eet5F3w9euHoMIMqqLo-_3nSXCFxkEdwxWt_vwFCna3hboo40-VbxshpybZCXd5hzElHTy0UXqABzH6pN5-1qoJEo0ngESsvN9j949MANFnZ7kalRktRJMuYz_VbgDPCkwdUPBXJ9l_R_YdjQ6PdJZhyiYyrOLiwrX_zNb_0000\" \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  **\u6d3e\u751f\u4e0e\u521d\u59cb\u503c\uff1a**\r\n  \r\n  -- \u52a8\u6001\u8ba1\u7b97\u5e74\u9f84\r\n  context Employee::age: Integer\r\n  derive: self.birthDate.yearsSinceToday()\r\n  \r\n  -- \u521b\u5efa\u65f6\u7684\u521d\u59cb\u72b6\u6001\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:RL5DIm916Bulx7zueKi9IjHj8KXJmKiN-mFZxkiwk3iZCxEHYM3WGGmw1O8HqQbEdaJw47zDwzQflz2CAoBLPHZUv-7vUDzZgOXGKHZObcnIrYA2XE06HCgyKeBM8eKLbxCglKJOt-Omhh10tAOlUCIy4nvm0Jkbm_91kMXRjhMIW5BO2dWR4Jgs1P25EXLIdP8G7QXgTUQduneLgb4aIe_Dcmux7WfwZbuNYA-12bFeerXZb555IT05AlEkqZG72fm7I1WSWHAHrkYQ62Ob2Eet5F3w9euHoMIMqqLo-_3nSXCFxkEdwxWt_vwFCna3hboo40-VbxshpybZCXd5hzElHTy0UXqABzH6pN5-1qoJEo0ngESsvN9j949MANFnZ7kalRktRJMuYz_VbgDPCkwdUPBXJ9l_R_YdjQ6PdJZhyiYyrOLiwrX_zNb_0000\" \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\u7f16\u8f91 Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44770\">D. \u72b6\u6001\u673a\u5b88\u536b<\/h3>\n<p data-nodeid=\"44771\">\u5728\u72b6\u6001\u673a\u56fe\u4e2d\uff0c\u8f6c\u6362\u53ef\u4ee5\u5177\u6709<strong data-nodeid=\"44930\">\u5b88\u536b<\/strong>\u2014\u2014\u5fc5\u987b\u6c42\u503c\u4e3a true \u624d\u80fd\u53d1\u751f\u7684\u5e03\u5c14\u8868\u8fbe\u5f0f\u3002OCL \u662f\u7f16\u5199\u8fd9\u4e9b\u5b88\u536b\u7684\u6807\u51c6\u8bed\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\u7f16\u8f91 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:RP91Im915CVl2_iT7dHG5umYl2owcARNeexYOND7dToT6MPd9OcWe5DGTWoXGr-WemJPjr7ts5VepQukeixfpV_z_sz-CxlLKBbIHO5l6k60Ck5ADm3K5AcvdK5FyeXvTUvp2GVDaqQfMJ8DqsXPRIWM7QXBWaRFD5P58buGvb7MEnL2yg7hWmrXT1rGbI_eQ39wntDd6lUwkwthUUa6XzlGKboXMeRZ8rpj_VvBSaCwQjFlLBA0QMJZjFUgJuL8h25Mcd2jw2vUKoSOHs99Utq5lBkDRXe0bXK_JvSFZ_FlbyNuVJ4R_yqcbgKx7SuKkLLmBZqYjK3P4CyYVlTGFqGKGWLoguave87mAGb16vEL6fFNmmlLHaK7MHg1K2EDYZ7GRBkCwpkcS6wwonSWdZmjtbxZtw_bn-VyPxeVqxQpWEu97geTvFK1EN0H8kDDRQkuTwQ_TDa15ld-9cqLI_pX_W40\" \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  **\u72b6\u6001\u4e0d\u53d8\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\u540e\u7f6e\u6761\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:RP91Im915CVl2_iT7dHG5umYl2owcARNeexYOND7dToT6MPd9OcWe5DGTWoXGr-WemJPjr7ts5VepQukeixfpV_z_sz-CxlLKBbIHO5l6k60Ck5ADm3K5AcvdK5FyeXvTUvp2GVDaqQfMJ8DqsXPRIWM7QXBWaRFD5P58buGvb7MEnL2yg7hWmrXT1rGbI_eQ39wntDd6lUwkwthUUa6XzlGKboXMeRZ8rpj_VvBSaCwQjFlLBA0QMJZjFUgJuL8h25Mcd2jw2vUKoSOHs99Utq5lBkDRXe0bXK_JvSFZ_FlbyNuVJ4R_yqcbgKx7SuKkLLmBZqYjK3P4CyYVlTGFqGKGWLoguave87mAGb16vEL6fFNmmlLHaK7MHg1K2EDYZ7GRBkCwpkcS6wwonSWdZmjtbxZtw_bn-VyPxeVqxQpWEu97geTvFK1EN0H8kDDRQkuTwQ_TDa15ld-9cqLI_pX_W40\" \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\u7f16\u8f91 Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44773\"\/>\n<h2 data-nodeid=\"44774\">3. \u7efc\u5408\u6848\u4f8b\u7814\u7a76\uff1a\u516c\u53f8\u6a21\u578b<\/h2>\n<p data-nodeid=\"44775\">\u8ba9\u6211\u4eec\u5c06 OCL \u5e94\u7528\u4e8e\u4e00\u4e2a\u6d89\u53ca\u4ee5\u4e0b\u5143\u7d20\u7684\u590d\u6742 UML \u7c7b\u56fe\uff1a<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\u8fd9\u5c55\u793a\u4e86 OCL \u5982\u4f55\u904d\u5386\u5173\u8054\u5e76\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\u7f16\u8f91 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:dLLRRnD757wtvFzmbBuafbx5AQZLAbX0ZAL85I3b5wpjYRDaTpRCpAPGG0hbagJ8YP0iDOGK251Y0KrKKHNJsCsVsV7bAN-1CvxTzURI5rvMksVEvPllVEVi1Iui9dpNIQVul4qNB6QvK7OipYyAmUoIByXqsQCpziy4nfC-r1FaabMUhpBFfvKfp_4OV5Ci5WkNlp_Xvh4AOP7BfQdnYK8wbKuDgi1bTy7nRX42jzCfW2pCp5mnOGPBqwespDgCYokMIuwQIpOJSmLBe5azjN7EPkIuZLkEnMwPK7GyIoZJ6R2gP7JCX6agI9MmTEhk44w186xX4YeYGDHtIuGbl0V64tWShsm9swCSpKHCwgEyFhkDrxSNIUKkq1ABBinF1t2DUTT9-Mkh3ws3b36v8-E6aHc1R1P6SYF9IvhmayVcUH5RauTAR3yzLBz52CFGgnGZ5xGj6PQBOuvNT2sA7U0OfjygU8gX2Pz4y962g4J1F8SFA_BJIs9KR3Q1-mk4BTfyS4dkbr2FDaM1SCMHKYWmkpedm9kDenIjcOnyK-ly_alGhCdr3TbQ3vfhSg_LMtbtsDhCP9IB0aHkYYDXWuva8MU0VF5lP-k3_EjvPscdj_D0hZnLPpPTL0gScYFbUSH6d5bZ84Z8duVS3uaC4mRqxzNasYFvy6FlNlsmjIBVRFQNQvZjiBKQfNAjco51FCmMjYMRvpYrc7VoF9nDfFtEWA1zqAqtUWT_1lklvTC6Pfxrs4N72TEYKz3Sx-vkouE7_UrzkTK8ce_n6i7dntArrdlrllziEMY_ZX2egRkgHZoidsGuczUPHvKpAFBXZdeQqQYgZgYWw5lvZINGdZMWzwcX6HXoY0VooORyz8TSVzUxtqQ4dTKbHDY_t-Z_rkYixSYLVxgR3_hRdxlFTeFch-WPjBSYmA5sfhIQJ0YnnTpXD1YHrB9vcvOTlqAukaMItp4T5i8vX-skxmNDfSxBvTxUe-w7jyXglxwRw9HFxHi-6IouI2-6vJZJ57SmBHC-EXQpHNBV0fb0gdGDaeF9l3BO66VZw92SWNcqKRs5h15Q6MpSMDSbJmZFLS8k96PRIRlpzt_T-WkjpHDo7ZgRvl-iB02zrCoZl4MYEmLBF6FNecMXS4Gj2aVi19I4SyXq6D6kTTkxMg2TZJtTU6r4cM8V8jONBSUk_1ZlnqIlenORyUuUDbjtEZeuTfqB-86_p2y0\" \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  **\u590d\u6742\u4e0d\u53d8\u5f0f\u4e0e\u5bfc\u822a\uff1a**\r\n  context Employee\r\n  \r\n  -- 1. \u57fa\u672c\u5c5e\u6027\u89c4\u5219\r\n  inv ageCheck: self.age() &gt;= 18\r\n  \r\n  -- 2. \u904d\u5386\u5173\u8054\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\u987b\u5728\u4e0b\u5c5e\u4e4b\u524d\u88ab\u96c7\u4f63\r\n  inv hireOrder: self.subordinates-&gt;forAll(\r\n    sub | sub.hireDate &gt; self.hireDate\r\n  )\r\n  \r\n  -- 4. \u8de8\u5173\u8054\u89c4\u5219\r\n  -- \u5458\u5de5\u53ea\u80fd\u5728\u6240\u5c5e\u90e8\u95e8\u63a7\u5236\u7684\u9879\u76ee\u4e0a\u5de5\u4f5c\r\n  inv projectControl: \r\n    self.worksFor.controls-&gt;includesAll(self.worksOn)\r\n    \r\n  -- 5. \u552f\u4e00\u6807\u8bc6\u7b26\uff08\u952e\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  **\u6d3e\u751f\u5c5e\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  **\u9879\u76ee\u4e0d\u53d8\u5f0f\uff1a**\r\n  context Project\r\n  \r\n  -- \u9879\u76ee\u4f4d\u7f6e\u5fc5\u987b\u662f\u90e8\u95e8\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:dLLRRnD757wtvFzmbBuafbx5AQZLAbX0ZAL85I3b5wpjYRDaTpRCpAPGG0hbagJ8YP0iDOGK251Y0KrKKHNJsCsVsV7bAN-1CvxTzURI5rvMksVEvPllVEVi1Iui9dpNIQVul4qNB6QvK7OipYyAmUoIByXqsQCpziy4nfC-r1FaabMUhpBFfvKfp_4OV5Ci5WkNlp_Xvh4AOP7BfQdnYK8wbKuDgi1bTy7nRX42jzCfW2pCp5mnOGPBqwespDgCYokMIuwQIpOJSmLBe5azjN7EPkIuZLkEnMwPK7GyIoZJ6R2gP7JCX6agI9MmTEhk44w186xX4YeYGDHtIuGbl0V64tWShsm9swCSpKHCwgEyFhkDrxSNIUKkq1ABBinF1t2DUTT9-Mkh3ws3b36v8-E6aHc1R1P6SYF9IvhmayVcUH5RauTAR3yzLBz52CFGgnGZ5xGj6PQBOuvNT2sA7U0OfjygU8gX2Pz4y962g4J1F8SFA_BJIs9KR3Q1-mk4BTfyS4dkbr2FDaM1SCMHKYWmkpedm9kDenIjcOnyK-ly_alGhCdr3TbQ3vfhSg_LMtbtsDhCP9IB0aHkYYDXWuva8MU0VF5lP-k3_EjvPscdj_D0hZnLPpPTL0gScYFbUSH6d5bZ84Z8duVS3uaC4mRqxzNasYFvy6FlNlsmjIBVRFQNQvZjiBKQfNAjco51FCmMjYMRvpYrc7VoF9nDfFtEWA1zqAqtUWT_1lklvTC6Pfxrs4N72TEYKz3Sx-vkouE7_UrzkTK8ce_n6i7dntArrdlrllziEMY_ZX2egRkgHZoidsGuczUPHvKpAFBXZdeQqQYgZgYWw5lvZINGdZMWzwcX6HXoY0VooORyz8TSVzUxtqQ4dTKbHDY_t-Z_rkYixSYLVxgR3_hRdxlFTeFch-WPjBSYmA5sfhIQJ0YnnTpXD1YHrB9vcvOTlqAukaMItp4T5i8vX-skxmNDfSxBvTxUe-w7jyXglxwRw9HFxHi-6IouI2-6vJZJ57SmBHC-EXQpHNBV0fb0gdGDaeF9l3BO66VZw92SWNcqKRs5h15Q6MpSMDSbJmZFLS8k96PRIRlpzt_T-WkjpHDo7ZgRvl-iB02zrCoZl4MYEmLBF6FNecMXS4Gj2aVi19I4SyXq6D6kTTkxMg2TZJtTU6r4cM8V8jONBSUk_1ZlnqIlenORyUuUDbjtEZeuTfqB-86_p2y0\" \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\u7f16\u8f91 Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44777\"\/>\n<h2 data-nodeid=\"44778\">4. UML \u4e2d\u7684\u9ad8\u7ea7 OCL \u6280\u5de7<\/h2>\n<h3 data-nodeid=\"44779\">A. \u4f7f\u7528<code data-backticks=\"1\" data-nodeid=\"44949\">let<\/code>\u00a0\u4e3a\u4e86\u53ef\u8bfb\u6027<\/h3>\n<p data-nodeid=\"44780\">\u5f53OCL\u8868\u8fbe\u5f0f\u53d8\u5f97\u8fc7\u4e8e\u590d\u6742\u65f6\uff0c\u4f7f\u7528\u00a0<code data-backticks=\"1\" data-nodeid=\"44952\">let<\/code>\u5173\u952e\u5b57\u5728\u7ea6\u675f\u5185\u5b9a\u4e49\u5c40\u90e8\u53d8\u91cf\u3002\u8fd9\u4f7f\u5f97UML\u6ce8\u91ca\u66f4\u5bb9\u6613\u9605\u8bfb\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>\u5728VPasCode\u4e2d\u7f16\u8f91Plantuml<\/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:LP3DIiD058NtWRp3tRKDH0hY9ZIXBWIxKkWJn3XjnqvcoioDlmX1n9M2WjALYDY2gouhfLXVnlpu5av2aBeRpZtVd7jFMw4lCGgPQQWXvIDV-Y44p5Tg6r7IWmX99n2yIyy9D4t3DCePx8GZ9iu8WGlJ0B3XHCYXskCET0cszgKu8W5wfd5P45mW0Kdx0mJH-oCBphA-Fx-ontUeCO8rI2RNsVrDChbBdwz-ucM-Ud0ig_3f1P2SuZ-spBKXdxrcit4QBvEFQJgU9ujv-XQdBzDyjSYURWiJvSVbUfJtTqKabLEY03eIKA3FAhMZC_f4WblD0HHXlOtgCjiB16FwglgWi3TiJqLXlL5vAL_x2ZmNDflWyyDriUN2bYwGQBKen3JQ-gbx_mK0\" \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' \u5904\u7406\u590d\u6742\u903b\u8f91:**\r\n  context Employee\r\n  \r\n  -- \u8ba1\u7b97\u603b\u5de5\u65f6\u5e76\u68c0\u67e5\u8fb9\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:LP3DIiD058NtWRp3tRKDH0hY9ZIXBWIxKkWJn3XjnqvcoioDlmX1n9M2WjALYDY2gouhfLXVnlpu5av2aBeRpZtVd7jFMw4lCGgPQQWXvIDV-Y44p5Tg6r7IWmX99n2yIyy9D4t3DCePx8GZ9iu8WGlJ0B3XHCYXskCET0cszgKu8W5wfd5P45mW0Kdx0mJH-oCBphA-Fx-ontUeCO8rI2RNsVrDChbBdwz-ucM-Ud0ig_3f1P2SuZ-spBKXdxrcit4QBvEFQJgU9ujv-XQdBzDyjSYURWiJvSVbUfJtTqKabLEY03eIKA3FAhMZC_f4WblD0HHXlOtgCjiB16FwglgWi3TiJqLXlL5vAL_x2ZmNDflWyyDriUN2bYwGQBKen3JQ-gbx_mK0\" \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>\u5728VPasCode\u4e2d\u7f16\u8f91Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44782\">B. \u5728\u540e\u7f6e\u6761\u4ef6\u4e2d\u5904\u7406\u5148\u524d\u503c\uff08<code data-backticks=\"1\" data-nodeid=\"44955\">@pre<\/code>)<\/h3>\n<p data-nodeid=\"44783\">\u5728\u5b9a\u4e49\u540e\u7f6e\u6761\u4ef6\u65f6\uff0c\u4f60\u901a\u5e38\u9700\u8981\u5c06\u00a0<em data-nodeid=\"44968\">\u65b0<\/em>\u00a0\u72b6\u6001\u4e0e\u00a0<em data-nodeid=\"44969\">\u65e7<\/em>\u00a0\u72b6\u6001\u8fdb\u884c\u6bd4\u8f83\u3002OCL\u4f7f\u7528\u00a0<code data-backticks=\"1\" data-nodeid=\"44966\">@pre<\/code>\u00a0\u540e\u7f00\u6765\u8bbf\u95ee\u5c5e\u6027\u7684\u503c\uff0c\u8be5\u503c\u6070\u597d\u662f\u64cd\u4f5c\u5f00\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>\u5728VPasCode\u4e2d\u7f16\u8f91Plantuml<\/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:VL1DIyD04Bqlv3_CiKOYdXSj4V7WkRyWfjDsCTbTTZTW5MyYqeDK42r-W1x4NlmuQQaK_qmsmNzXjZKUF7XxC_FUp7iJQXCfawM9H_Gkup9IKGfn4cczOOnYEvd1xLZm5jj7MFM8H-Ops1IfZ7WV3Zm2402cCX5zH4sXXMPjwwTikkaoz9Z2kjMG56gyv953jv8BWw1OjsT0TEhLJkhxzcPiXwVbxBculSy_tlB9KpxxBC_744g5rFSTgx9dSC_KGah_kGSmDnn0SV5QNXtPiv5zV_YwFhR3asBqKbm-Bh0TtEMJmOAJJwTE8uKs53GcdPNVjB3-f-5S1Kt6uoHhCzvjoEeayZQuX1u9ArXz-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\u540e\u7f6e\u6761\u4ef6\u4e2d\u4f7f\u7528 @pre:**\r\n  context Company::hireEmployee(p: Employee)\r\n  \r\n  -- \u65b0\u7684\u5458\u5de5\u96c6\u5408\u662f\u65e7\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:VL1DIyD04Bqlv3_CiKOYdXSj4V7WkRyWfjDsCTbTTZTW5MyYqeDK42r-W1x4NlmuQQaK_qmsmNzXjZKUF7XxC_FUp7iJQXCfawM9H_Gkup9IKGfn4cczOOnYEvd1xLZm5jj7MFM8H-Ops1IfZ7WV3Zm2402cCX5zH4sXXMPjwwTikkaoz9Z2kjMG56gyv953jv8BWw1OjsT0TEhLJkhxzcPiXwVbxBculSy_tlB9KpxxBC_744g5rFSTgx9dSC_KGah_kGSmDnn0SV5QNXtPiv5zV_YwFhR3asBqKbm-Bh0TtEMJmOAJJwTE8uKs53GcdPNVjB3-f-5S1Kt6uoHhCzvjoEeayZQuX1u9ArXz-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>\u5728VPasCode\u4e2d\u7f16\u8f91Plantuml<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44785\"\/>\n<h2 data-nodeid=\"44786\">5. UML\u4e2dOCL\u7684\u6700\u4f73\u5b9e\u8df5<\/h2>\n<ol data-nodeid=\"44787\">\n<li data-nodeid=\"44788\">\n<p data-nodeid=\"44789\"><strong data-nodeid=\"44977\">\u4e3a\u4f60\u7684\u7ea6\u675f\u547d\u540d\uff1a<\/strong>\u00a0\u59cb\u7ec8\u4e3a\u4f60\u7684\u4e0d\u53d8\u91cf\u548c\u6761\u4ef6\u547d\u540d\uff08\u4f8b\u5982\uff0c\u00a0<code data-backticks=\"1\" data-nodeid=\"44975\">inv maxProjects:<\/code>\uff09\u3002\u8fd9\u4f7f\u5f97\u5728\u6587\u6863\u6216\u53ef\u8ffd\u6eaf\u6027\u77e9\u9635\u4e2d\u5f15\u7528\u5b83\u4eec\u66f4\u52a0\u5bb9\u6613\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44790\">\n<p data-nodeid=\"44791\"><strong data-nodeid=\"44984\">\u6709\u7b56\u7565\u5730\u4f7f\u7528\u6ce8\u91ca\uff1a<\/strong>\u00a0\u5728PlantUML\u548c\u53ef\u89c6\u5316UML\u5de5\u5177\u4e2d\uff0c\u4e0d\u8981\u5728\u7c7b\u6846\u4e2d\u585e\u6ee1OCL\u3002\u5c06OCL\u653e\u5728\u76f8\u90bb\u7684\u6ce8\u91ca\u4e2d\u3002\u8fd9\u80fd\u4fdd\u6301\u56fe\u8868\u7684\u6574\u6d01\u548c\u53ef\u8bfb\u6027\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44792\">\n<p data-nodeid=\"44793\"><strong data-nodeid=\"44995\">\u4e0d\u8981\u8fc7\u5ea6\u7ea6\u675f\uff1a<\/strong>\u4ec5\u5f53\u89c4\u5219\u65e0\u6cd5\u901a\u8fc7UML\u591a\u91cd\u6027\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\u7c7b\u578b\u8f7b\u677e\u8868\u8fbe\u65f6\uff0c\u624d\u7f16\u5199OCL\u3002\u5982\u679c\u89c4\u5219\u80fd\u591f\u4ee5\u89c6\u89c9\u65b9\u5f0f\u5c55\u793a\uff0c\u5c31\u5e94\u4f7f\u7528\u89c6\u89c9\u65b9\u5f0f\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44794\">\n<p data-nodeid=\"44795\"><strong data-nodeid=\"45008\">\u5229\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\u4eec\u662fOCL\u4e2d\u7528\u4e8e\u904d\u5386UML\u5173\u8054\u5173\u7cfb\u6700\u5f3a\u5927\u7684\u5de5\u5177\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44796\">\n<p class=\"\" data-nodeid=\"44797\"><strong data-nodeid=\"45021\">\u68c0\u67e5\u7a7a\u503c\/\u7a7a\u96c6\u5408\uff1a<\/strong>\u5728\u904d\u5386\u53ef\u9009\u5173\u8054\u5173\u7cfb\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\u65f6\uff0c\u59cb\u7ec8\u4f7f\u7528<code data-backticks=\"1\" data-nodeid=\"45017\">-&gt;notEmpty()<\/code>\u6216<code data-backticks=\"1\" data-nodeid=\"45019\">-&gt;isEmpty()<\/code>\u5728\u8bbf\u95ee\u5c5e\u6027\u4e4b\u524d\uff0c\u4ee5\u907f\u514d\u672a\u5b9a\u4e49\u7684\u6c42\u503c\u9519\u8bef\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\">\u7ed3\u8bba<\/span><\/h1>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u5728\u8f6f\u4ef6\u5de5\u7a0b\u9886\u57df\uff0c\u6a21\u7cca\u6027\u662f\u8d28\u91cf\u7684\u654c\u4eba\u3002\u5c3d\u7ba1UML\u4e3a\u8ba8\u8bba\u7cfb\u7edf\u67b6\u6784\u63d0\u4f9b\u4e86\u5b9d\u8d35\u7684\u89c6\u89c9\u8bcd\u6c47\uff0c\u4f46\u6b63\u662f\u5bf9\u8c61\u7ea6\u675f\u8bed\u8a00\uff08OCL\uff09\u7684\u5f15\u5165\uff0c\u5c06\u8fd9\u4e9b\u89c6\u89c9\u56fe\u793a\u8f6c\u5316\u4e3a\u4e25\u8c28\u4e14\u65e0\u6b67\u4e49\u7684\u89c4\u8303\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\u8ba8\u7684\uff0cOCL\u5728\u9ad8\u5c42\u6b21\u8bbe\u8ba1\u4e0e\u5b9e\u73b0\u4e4b\u95f4\u8d77\u5230\u4e86\u5173\u952e\u7684\u6865\u6881\u4f5c\u7528\u3002\u901a\u8fc7\u638c\u63e1\u7c7b\u4e0d\u53d8\u5f0f\u3001\u64cd\u4f5c\u5951\u7ea6\u548c\u96c6\u5408\u8fed\u4ee3\u5668\uff0c\u60a8\u80fd\u591f\u786e\u4fdd\u4e1a\u52a1\u89c4\u5219\u5728\u8bbe\u8ba1\u56e2\u961f\u4e0e\u5f00\u53d1\u4eba\u5458\u4e4b\u95f4\u4e0d\u4f1a\u4e22\u5931\u3002\u6b64\u5916\uff0c\u4f7f\u7528PlantUML\u7b49\u5de5\u5177\uff0c\u53ef\u4ee5\u8ba9\u60a8\u7684OCL\u7ea6\u675f\u4fdd\u6301\u7248\u672c\u63a7\u5236\u3001\u53ef\u8bfb\u6027\u5f3a\uff0c\u5e76\u4e0e\u89c6\u89c9\u56fe\u793a\u65e0\u7f1d\u96c6\u6210\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u6700\u7ec8\uff0c\u91c7\u7528OCL\u5c06\u63d0\u5347\u60a8\u7684\u5efa\u6a21\u5b9e\u8df5\u6c34\u5e73\u3002\u5b83\u4f7f\u60a8\u7684\u89d2\u8272\u4ece\u7b80\u5355\u5730\u201c\u7ed8\u5236\u65b9\u6846\u548c\u7ebf\u6761\u201d\u8f6c\u53d8\u4e3a\u5b9a\u4e49\u7cfb\u7edf\u7684\u7cbe\u786e\u6570\u5b66\u8bed\u4e49\u3002\u901a\u8fc7\u878d\u5408UML\u7684\u89c6\u89c9\u6e05\u6670\u6027\u4e0eOCL\u7684\u5f62\u5f0f\u7cbe\u786e\u6027\uff0c\u60a8\u4e3a\u6784\u5efa\u4e0d\u4ec5\u8bbe\u8ba1\u826f\u597d\uff0c\u800c\u4e14\u4e25\u683c\u7b26\u5408\u73b0\u5b9e\u4e1a\u52a1\u9700\u6c42\u7684\u8f6f\u4ef6\u5960\u5b9a\u4e86\u575a\u5b9e\u7684\u57fa\u7840\u3002<\/span><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5f15\u8a00 \u5c3d\u7ba1\u7edf\u4e00\u5efa\u6a21\u8bed\u8a00\uff08UML\uff09\u662f\u53ef\u89c6\u5316\u8f6f\u4ef6\u67b6\u6784\u65e0\u53ef\u4e89\u8bae\u7684\u884c\u4e1a\u6807\u51c6\uff0c\u4f46\u5b83\u5b58\u5728\u4e00\u4e2a\u56fa\u6709\u7684\u5c40\u9650\u6027\uff1a\u56fe\u8868\u5728\u5c55\u793a\u4ec0\u4e48\u7cfb [&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-9984","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\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\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\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\u6307\u5357 - Visual Paradigm \u535a\u5ba2\" \/>\n<meta property=\"og:description\" content=\"\u5f15\u8a00 \u5c3d\u7ba1\u7edf\u4e00\u5efa\u6a21\u8bed\u8a00\uff08UML\uff09\u662f\u53ef\u89c6\u5316\u8f6f\u4ef6\u67b6\u6784\u65e0\u53ef\u4e89\u8bae\u7684\u884c\u4e1a\u6807\u51c6\uff0c\u4f46\u5b83\u5b58\u5728\u4e00\u4e2a\u56fa\u6709\u7684\u5c40\u9650\u6027\uff1a\u56fe\u8868\u5728\u5c55\u793a\u4ec0\u4e48\u7cfb [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blog.visual-paradigm.com\/cn\/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:31:18+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=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"url\":\"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"name\":\"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\u6307\u5357 - Visual Paradigm \u535a\u5ba2\",\"isPartOf\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/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:31:18+00:00\",\"author\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\"},\"breadcrumb\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/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\/cn\/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\/cn\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\u6307\u5357\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/#website\",\"url\":\"https:\/\/blog.visual-paradigm.com\/cn\/\",\"name\":\"Visual Paradigm \u535a\u5ba2\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blog.visual-paradigm.com\/cn\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\",\"name\":\"Admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/cn\/#\/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\/cn\/author\/vpadminuser\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\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\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","og_locale":"zh_CN","og_type":"article","og_title":"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\u6307\u5357 - Visual Paradigm \u535a\u5ba2","og_description":"\u5f15\u8a00 \u5c3d\u7ba1\u7edf\u4e00\u5efa\u6a21\u8bed\u8a00\uff08UML\uff09\u662f\u53ef\u89c6\u5316\u8f6f\u4ef6\u67b6\u6784\u65e0\u53ef\u4e89\u8bae\u7684\u884c\u4e1a\u6807\u51c6\uff0c\u4f46\u5b83\u5b58\u5728\u4e00\u4e2a\u56fa\u6709\u7684\u5c40\u9650\u6027\uff1a\u56fe\u8868\u5728\u5c55\u793a\u4ec0\u4e48\u7cfb [&hellip;]","og_url":"https:\/\/blog.visual-paradigm.com\/cn\/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:31:18+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","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"6 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","url":"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","name":"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\u6307\u5357 - Visual Paradigm \u535a\u5ba2","isPartOf":{"@id":"https:\/\/blog.visual-paradigm.com\/cn\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage"},"image":{"@id":"https:\/\/blog.visual-paradigm.com\/cn\/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:31:18+00:00","author":{"@id":"https:\/\/blog.visual-paradigm.com\/cn\/#\/schema\/person\/a649c442f11a53040710ddec750926c6"},"breadcrumb":{"@id":"https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blog.visual-paradigm.com\/cn\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"]}]},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/blog.visual-paradigm.com\/cn\/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\/cn\/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\/cn\/"},{"@type":"ListItem","position":2,"name":"\u4f7f\u7528OCL\u4e0ePlantUML\u793a\u4f8b\u7684UML\u5168\u9762\u6307\u5357"}]},{"@type":"WebSite","@id":"https:\/\/blog.visual-paradigm.com\/cn\/#website","url":"https:\/\/blog.visual-paradigm.com\/cn\/","name":"Visual Paradigm \u535a\u5ba2","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blog.visual-paradigm.com\/cn\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/blog.visual-paradigm.com\/cn\/#\/schema\/person\/a649c442f11a53040710ddec750926c6","name":"Admin","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/blog.visual-paradigm.com\/cn\/#\/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\/cn\/author\/vpadminuser\/"}]}},"modified_by":"Admin","_links":{"self":[{"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/posts\/9984","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/comments?post=9984"}],"version-history":[{"count":0,"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/posts\/9984\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/media?parent=9984"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/categories?post=9984"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/cn\/wp-json\/wp\/v2\/tags?post=9984"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}