{"id":9686,"date":"2026-07-24T15:39:20","date_gmt":"2026-07-24T07:39:20","guid":{"rendered":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"},"modified":"2026-07-26T17:29:52","modified_gmt":"2026-07-26T09:29:52","slug":"a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples","status":"publish","type":"post","link":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","title":{"rendered":"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9"},"content":{"rendered":"<h1 class=\"qwen-markdown-heading\" dir=\"ltr\"><span class=\"qwen-markdown-text\" data-spm-anchor-id=\"a2ty_o01.29997173.0.i225.290055fbrGIlFE\">\u5c0e\u5165<\/span><\/h1>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u7d71\u5408\u30e2\u30c7\u30eb\u8a00\u8a9e\uff08UML\uff09\u306f\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3092\u53ef\u8996\u5316\u3059\u308b\u4e0a\u3067\u3001\u696d\u754c\u6a19\u6e96\u3068\u3055\u308c\u3066\u304a\u308a\u3001\u305d\u306e\u70b9\u3067\u7591\u3044\u306e\u306a\u3044\u5b58\u5728\u3067\u3042\u308b\u304c\u3001\u5185\u5728\u3059\u308b\u5236\u9650\u304c\u3042\u308b\u3002\u56f3\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u304c\u4f55\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u304b\u3092\u793a\u3059\u306e\u306b\u512a\u308c\u3066\u3044\u308b\u304c\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u632f\u308b\u821e\u3044\u3092\u898f\u5b9a\u3059\u308b\u8907\u96d1\u3067\u7e4a\u7d30\u306a\u30d3\u30b8\u30cd\u30b9\u30eb\u30fc\u30eb\u3092\u8868\u73fe\u3059\u308b\u306b\u306f\u82e6\u52b4\u3059\u308b\u3002<\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u4f55\u3067<\/span><\/em><span class=\"qwen-markdown-text\">\u30b7\u30b9\u30c6\u30e0\u304c\u4f55\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u304b\u3092\u793a\u3059\u306e\u306b\u512a\u308c\u3066\u3044\u308b\u304c\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u632f\u308b\u821e\u3044\u3092\u898f\u5b9a\u3059\u308b\u8907\u96d1\u3067\u7e4a\u7d30\u306a\u30d3\u30b8\u30cd\u30b9\u30eb\u30fc\u30eb\u3092\u8868\u73fe\u3059\u308b\u306b\u306f\u82e6\u52b4\u3059\u308b\u3002<\/span><em class=\"qwen-markdown-em\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u3069\u306e\u3088\u3046\u306b<\/span><\/em><span class=\"qwen-markdown-text\">\u30b7\u30b9\u30c6\u30e0\u304c\u3069\u306e\u3088\u3046\u306b\u632f\u308b\u821e\u3046\u304b\u3092\u8868\u73fe\u3059\u308b\u306e\u306b\u82e6\u52b4\u3059\u308b\u3002\u591a\u91cd\u5ea6\u3084\u57fa\u672c\u578b\u3068\u3044\u3063\u305f\u8996\u899a\u7684\u8981\u7d20\u306b\u306e\u307f\u4f9d\u5b58\u3059\u308b\u3068\u3001\u91cd\u8981\u306a\u30b7\u30b9\u30c6\u30e0\u8ad6\u7406\u304c\u66d6\u6627\u306a\u307e\u307e\u6b8b\u308a\u3001\u958b\u767a\u30d5\u30a7\u30fc\u30ba\u4e2d\u306b\u8aa4\u89e3\u3092\u62db\u304f\u3053\u3068\u306b\u306a\u308b\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u767b\u5834\u3059\u308b\u306e\u306f<\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u5236\u7d04\u8a00\u8a9e\uff08OCL\uff09<\/span><\/strong><span class=\"qwen-markdown-text\">\u3002UML\u304c\u30b7\u30b9\u30c6\u30e0\u30e2\u30c7\u30eb\u306e\u300c\u9aa8\u683c\u300d\u3067\u3042\u308b\u306a\u3089\u3070\u3001OCL\u306f\u305d\u306e\u300c\u795e\u7d4c\u7cfb\u300d\u3067\u3042\u308b\u3002\u9aa8\u683c\u304c\u3069\u306e\u3088\u3046\u306b\u6a5f\u80fd\u3059\u308b\u304b\u3092\u898f\u5b9a\u3059\u308b\u6b63\u78ba\u3067\u66d6\u6627\u3055\u306e\u306a\u3044\u3001\u5f62\u5f0f\u7684\u306a\u30eb\u30fc\u30eb\u3092\u63d0\u4f9b\u3059\u308b\u3002OCL\u3092UML\u3068\u7d71\u5408\u3059\u308b\u3053\u3068\u3067\u3001\u30e2\u30c7\u30eb\u4f5c\u6210\u8005\u306f\u9ad8\u30ec\u30d9\u30eb\u306e\u8996\u899a\u7684\u8a2d\u8a08\u3068\u53b3\u5bc6\u306a\u6570\u5b66\u7684\u4ed5\u69d8\u3068\u306e\u9593\u306e\u30ae\u30e3\u30c3\u30d7\u3092\u57cb\u3081\u308b\u3053\u3068\u304c\u3067\u304d\u3001\u5b9f\u969b\u306e\u30b3\u30fc\u30c9\u3092\u66f8\u304b\u305a\u306b\u6e08\u3080\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u3053\u306e\u5305\u62ec\u7684\u306a\u30ac\u30a4\u30c9\u3067\u306f\u3001UML\u3068OCL\u306e\u5f37\u529b\u306a\u9023\u643a\u306b\u3064\u3044\u3066\u63a2\u6c42\u3059\u308b\u3002OCL\u306e\u6838\u5fc3\u7684\u306a\u6982\u5ff5\u3092\u5206\u89e3\u3057\u3001\u30af\u30e9\u30b9\u3001\u64cd\u4f5c\u3001\u72b6\u614b\u6a5f\u68b0\u306b\u5236\u7d04\u3092\u4ed8\u4e0e\u3059\u308b\u65b9\u6cd5\u3092\u793a\u3057\u3001\u5b9f\u7528\u7684\u3067\u518d\u73fe\u53ef\u80fd\u306a<\/span><strong class=\"qwen-markdown-strong\" dir=\"ltr\"><span class=\"qwen-markdown-text\">PlantUML<\/span><\/strong><span class=\"qwen-markdown-text\">\u306e\u4f8b\u3092\u63d0\u4f9b\u3059\u308b\u3002\u5358\u7d14\u306a\u30af\u30e9\u30b9\u4e0d\u5909\u6761\u4ef6\u3092\u5b9a\u7fa9\u3059\u308b\u5834\u5408\u3067\u3082\u3001\u8907\u96d1\u306a\u30af\u30ed\u30b9\u95a2\u9023\u30d3\u30b8\u30cd\u30b9\u30eb\u30fc\u30eb\u3092\u8a18\u8ff0\u3059\u308b\u5834\u5408\u3067\u3082\u3001\u3053\u306e\u30ac\u30a4\u30c9\u306f\u3001\u30e2\u30c7\u30eb\u3092\u5358\u306a\u308b\u30b9\u30b1\u30c3\u30c1\u304b\u3089\u5805\u7262\u3067\u30a8\u30f3\u30b8\u30cb\u30a2\u30ea\u30f3\u30b0\u30ec\u30d9\u30eb\u306e\u4ed5\u69d8\u3078\u3068\u9ad8\u3081\u308b\u77e5\u8b58\u3092\u63d0\u4f9b\u3059\u308b\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>UML\uff08\u7d71\u5408\u30e2\u30c7\u30eb\u8a00\u8a9e\uff09\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u306e<strong data-nodeid=\"44816\">\u69cb\u9020<\/strong>\u3092\u53ef\u8996\u5316\u3059\u308b\u70b9\u3067\u512a\u308c\u3066\u3044\u308b\u304c\u3001\u8907\u96d1\u306a<strong data-nodeid=\"44817\">\u30d3\u30b8\u30cd\u30b9\u30eb\u30fc\u30eb\u3068\u610f\u5473\u8ad6<\/strong>\u3092\u6b63\u78ba\u306b\u8868\u73fe\u3059\u308b\u306b\u306f\u6b20\u3051\u308b\u3002\u3053\u3053\u306b<strong data-nodeid=\"44818\">\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u5236\u7d04\u8a00\u8a9e\uff08OCL\uff09<\/strong>\u304c\u767b\u5834\u3059\u308b\u3002OCL\u306f\u3001UML\u56f3\u3092\u53b3\u5bc6\u3067\u66d6\u6627\u3055\u306e\u306a\u3044\u30d3\u30b8\u30cd\u30b9\u30ed\u30b8\u30c3\u30af\u306b\u7d50\u3073\u3064\u3051\u308b\u5f62\u5f0f\u7684\u306a\u300c\u63a5\u7740\u5264\u300d\u3068\u3057\u3066\u6a5f\u80fd\u3059\u308b\u3002<\/p>\n<p data-nodeid=\"44740\">\u3053\u306e\u30ac\u30a4\u30c9\u3067\u306f\u3001OCL\u304cUML\u3068\u3069\u306e\u3088\u3046\u306b\u7d71\u5408\u3055\u308c\u308b\u304b\u3001\u77e5\u3063\u3066\u304a\u304f\u3079\u304d\u91cd\u8981\u306a\u6982\u5ff5\u3092\u8aac\u660e\u3057\u3001\u5b9f\u7528\u7684\u306a<strong data-nodeid=\"44824\">PlantUML<\/strong>\u306e\u4f8b\u3092\u63d0\u4f9b\u3057\u3066\u3001\u3053\u308c\u3089\u306e\u5236\u7d04\u3092\u53ef\u8996\u5316\u3059\u308b\u3002<\/p>\n<hr data-nodeid=\"44741\"\/>\n<h2 data-nodeid=\"44742\">1. \u76f8\u4e57\u52b9\u679c\uff1aOCL\u304cUML\u3092\u88dc\u5b8c\u3059\u308b\u65b9\u6cd5<\/h2>\n<p data-nodeid=\"44743\">UML\u3092\u30b7\u30b9\u30c6\u30e0\u306e\u300c\u9aa8\u683c\u300d\uff08\u30af\u30e9\u30b9\u3001\u95a2\u9023\u3001\u72b6\u614b\uff09\u3068\u3057\u3001OCL\u3092\u300c\u795e\u7d4c\u7cfb\u300d\uff08\u9aa8\u683c\u304c\u3069\u306e\u3088\u3046\u306b\u632f\u308b\u821e\u3046\u304b\u3092\u898f\u5b9a\u3059\u308b\u30eb\u30fc\u30eb\u3001\u6761\u4ef6\u3001\u8ad6\u7406\uff09\u3068\u6349\u3048\u308b\u3068\u3088\u3044\u3002<\/p>\n<h3 data-nodeid=\"44744\">UML\u306b\u304a\u3051\u308b\u8996\u899a\u7684\u8868\u73fe<\/h3>\n<p data-nodeid=\"44745\">\u6a19\u6e96\u7684\u306aUML\u3067\u306f\u3001OCL\u306e\u5236\u7d04\u306f\u901a\u5e38\u3001<strong data-nodeid=\"44841\">\u30ce\u30fc\u30c8<\/strong>\u3092\u95a2\u9023\u3059\u308b\u30e2\u30c7\u30eb\u8981\u7d20\uff08\u30af\u30e9\u30b9\u3001\u64cd\u4f5c\u3001\u307e\u305f\u306f\u72b6\u614b\uff09\u306b\u4ed8\u968f\u3055\u305b\u308b\u3053\u3068\u3067\u8868\u73fe\u3055\u308c\u308b\u3002<\/p>\n<ul data-nodeid=\"44746\">\n<li data-nodeid=\"44747\">\n<p data-nodeid=\"44748\"><strong data-nodeid=\"44848\">\u30b9\u30c6\u30ec\u30aa\u30bf\u30a4\u30d7\uff1a<\/strong>\u00a0OCL\u3092\u542b\u3080\u30ce\u30fc\u30c8\u306f\u3001\u3057\u3070\u3057\u3070\u00a0<code data-backticks=\"1\" data-nodeid=\"44846\">{\u5236\u7d04}<\/code>\u00a0\u30b9\u30c6\u30ec\u30aa\u30bf\u30a4\u30d7\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44749\">\n<p data-nodeid=\"44750\"><strong data-nodeid=\"44855\">\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8\uff1a<\/strong>\u00a0\u3059\u3079\u3066\u306eOCL\u5f0f\u306f\u00a0<code data-backticks=\"1\" data-nodeid=\"44853\">context<\/code>\u00a0\u30ad\u30fc\u30ef\u30fc\u30c9\u3067\u59cb\u307e\u308a\u3001\u305d\u306e\u30eb\u30fc\u30eb\u304c\u9069\u7528\u3055\u308c\u308bUML\u8981\u7d20\u3092\u5ba3\u8a00\u3059\u308b\u3002<\/p>\n<\/li>\n<\/ul>\n<hr data-nodeid=\"44751\"\/>\n<h2 data-nodeid=\"44752\">2. UML\u306b\u304a\u3051\u308bOCL\u306e\u4e3b\u8981\u306a\u6982\u5ff5<\/h2>\n<h3 data-nodeid=\"44753\">A. \u30af\u30e9\u30b9\u4e0d\u5909\u6761\u4ef6\uff08<code data-backticks=\"1\" data-nodeid=\"44858\">inv<\/code>)<\/h3>\n<p data-nodeid=\"44754\">\u4e0d\u5909\u6761\u4ef6\u3068\u306f\u3001\u5fc5\u9808\u3068\u306a\u308b\u6761\u4ef6\u3067\u3042\u308a\u3001<strong data-nodeid=\"44865\">\u5e38\u306b\u771f\u3067\u3042\u308b<\/strong>\u30af\u30e9\u30b9\u306e\u3059\u3079\u3066\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u306b\u3064\u3044\u3066\u3001\u547c\u3073\u51fa\u3055\u308c\u308b\u64cd\u4f5c\u306b\u304b\u304b\u308f\u3089\u305a\u5e38\u306b\u6210\u308a\u7acb\u3064\u3002<\/p>\n<p data-nodeid=\"44755\"><strong data-nodeid=\"44870\">\u91cd\u8981\u306a\u6982\u5ff5\uff1a<\/strong>\u00a0\u4e0d\u5909\u6761\u4ef6\u304c\u9055\u53cd\u3055\u308c\u305f\u5834\u5408\u3001\u30b7\u30b9\u30c6\u30e0\u306f\u7121\u52b9\u306a\u72b6\u614b\u306b\u3042\u308b\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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/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:PPBVQXD15CRl5_OT3lH6Kr9oeHS6Ml870u8e94ymsPsaGsPdmkniAuhWh0ecQQ2qDwqeM12h3RJGYz9KtsQIa5pv2ixicf0qTxlVTyxvVdnC8PH8o2YWhXEs26iZWGBmA0h3efI2r2E9dtcSrSXh3Bdb6SObBY6lrHGyOdwPKovWerAfF2a_SXtNIKv02R5MqVFCX8GthWEG1PJ-leY2EXPvg9aGraojEgA8UJWFLOneAf7mvHuMla0D-PIXEiL-7agSKuoO7TY4VI9tZRt_00NsRBhxCFLytEOXaVUjjvRFueCWpLq9lB7CQLSp6HrVwVU_T3mStVR7tpkJhsUZtpT__tpEPAnl2f7ubRo_bY1dONBPcmrEjBhIxnJmERvM1vCldN5tgDMvLXTQVPYT7kguExt-fjN0Ad5FgsEjVjhDPC3U8snltairegORAmA4c3Qs_kkmimqvCFKdudfZIsWB6fCzllinE-kRiCUvd8wFfZSVjVgq2c50-wieYmFFIK3a2irwC92WJGaErsYp9j9rCFEJL-Gw1VDfdk0_\" \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  **\u30af\u30e9\u30b9\u4e0d\u5909\u6761\u4ef6\uff1a**\r\n  context BankAccount\r\n  \r\n  -- \u6b8b\u9ad8\u306f\u3001 overdraft\u304c\u6709\u52b9\u3067\u306a\u3044\u9650\u308a\u8ca0\u306b\u306a\u308b\u3053\u3068\u306f\u306a\u3044\r\n  inv balanceRule: \r\n    self.balance &gt;= 0 or self.isOverdraftEnabled\r\n  \r\n  -- overdraft\u9650\u5ea6\u984d\u306f500\u3092\u8d85\u3048\u308b\u3053\u3068\u306f\u3067\u304d\u306a\u3044\r\n  inv overdraftLimit: \r\n    self.isOverdraftEnabled implies 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:PPBVQXD15CRl5_OT3lH6Kr9oeHS6Ml870u8e94ymsPsaGsPdmkniAuhWh0ecQQ2qDwqeM12h3RJGYz9KtsQIa5pv2ixicf0qTxlVTyxvVdnC8PH8o2YWhXEs26iZWGBmA0h3efI2r2E9dtcSrSXh3Bdb6SObBY6lrHGyOdwPKovWerAfF2a_SXtNIKv02R5MqVFCX8GthWEG1PJ-leY2EXPvg9aGraojEgA8UJWFLOneAf7mvHuMla0D-PIXEiL-7agSKuoO7TY4VI9tZRt_00NsRBhxCFLytEOXaVUjjvRFueCWpLq9lB7CQLSp6HrVwVU_T3mStVR7tpkJhsUZtpT__tpEPAnl2f7ubRo_bY1dONBPcmrEjBhIxnJmERvM1vCldN5tgDMvLXTQVPYT7kguExt-fjN0Ad5FgsEjVjhDPC3U8snltairegORAmA4c3Qs_kkmimqvCFKdudfZIsWB6fCzllinE-kRiCUvd8wFfZSVjVgq2c50-wieYmFFIK3a2irwC92WJGaErsYp9j9rCFEJL-Gw1VDfdk0_\" \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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44757\">B. \u64cd\u4f5c\u5951\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\u30e1\u30bd\u30c3\u30c9\uff09\u306b\u306f\u3001\u5b9f\u884c\u524d\u5f8c\u306b\u304a\u3051\u308b\u632f\u308b\u821e\u3044\u3092\u5b9a\u7fa9\u3059\u308b\u5236\u7d04\u3092\u8a2d\u5b9a\u3067\u304d\u308b\u3002<\/p>\n<ul data-nodeid=\"44759\">\n<li data-nodeid=\"44760\">\n<p data-nodeid=\"44761\"><strong data-nodeid=\"44891\">\u4e8b\u524d\u6761\u4ef6\uff08<code data-backticks=\"1\" data-nodeid=\"44881\">pre<\/code>):<\/strong>\u771f\u3067\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3053\u3068<em data-nodeid=\"44892\">\u524d\u306b<\/em>\u64cd\u4f5c\u304c\u958b\u59cb\u3055\u308c\u308b\u524d\u306b\u3002\uff08\u547c\u3073\u51fa\u3057\u5074\u306e\u8cac\u4efb\uff09<\/p>\n<\/li>\n<li data-nodeid=\"44762\">\n<p data-nodeid=\"44763\"><strong data-nodeid=\"44905\">\u5f8c\u6761\u4ef6\uff08<code data-backticks=\"1\" data-nodeid=\"44895\">post<\/code>):<\/strong>\u771f\u306b\u306a\u308b\u3053\u3068<em data-nodeid=\"44906\">\u5f8c\u306b<\/em>\u64cd\u4f5c\u304c\u7d42\u4e86\u3057\u305f\u5f8c\u3002\uff08\u64cd\u4f5c\u306e\u4fdd\u8a3c\uff09<\/p>\n<\/li>\n<li data-nodeid=\"44764\">\n<p data-nodeid=\"44765\"><strong data-nodeid=\"44913\">\u672c\u4f53\uff08<code data-backticks=\"1\" data-nodeid=\"44909\">body<\/code>):<\/strong>\u30af\u30a8\u30ea\u64cd\u4f5c\u306e\u6b63\u78ba\u306a\u623b\u308a\u5024\u3092\u5b9a\u7fa9\u3059\u308b\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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/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:TPBTQXD15CVl5_OT3lGcIObu8-XIGZ-8u9rONs0wcMwMpEuiCsV1MWHdqujMqm-fWhGLbU97MsblH4JRlima6thbApYpyI91SZCCvt_E_7_dd9bNI2HcCVSzrOcIb4WI0-L4gGL46Qrao1vGaIn7JndS7iz91B95GZkX55dIMX9SI9Xfthr_ftdFztolV0AMso9DeoHSiXwmxdi0TOYGnIg0HHBEFPIYbL5iZ0GKIFX2R9_301unmbru5cYRqOx8i59rKSgY54T2oF2nAna9BlsPStPW8AEmZI1M9mXSMQrMx6_thuu6druDls_ykJoerLou9AZ3O6kxsDqhtdti__vXDPEVcUwbwMuQVJ4y-MNq5wDpeu-D_cmZHf-QVCkTUiFLsp4XUu8Jba4m1J-LB035-EgjSXxrXiLknYckLQhZFDUzwJ1d9S0ByrpVV7WxsDqf3dyQtHk-VbzixXdznkGzaxyilOJ2IRD8_VC2ahH0CfLnXBa691ddO_R5qRV-rNxfVM7ohwPxEXgUqUU3yuFXzSdqjlzV3i2AQArDSb31EQDOIML4MRNUK5di-cSMogtHz-RjrNxElm00\" \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\u7d04\uff1a**\r\n  \r\n  -- \u524d\u63d0\u6761\u4ef6\uff1a\u30ab\u30fc\u30c8\u306f\u7a7a\u3067\u3042\u3063\u3066\u306f\u306a\u3089\u306a\u3044\r\n  context ShoppingCart::checkout(): Receipt\r\n  pre: self.items-&gt;notEmpty()\r\n  \r\n  -- \u5f8c\u6761\u4ef6\uff1a\u30ab\u30fc\u30c8\u306f\u7a7a\u306b\u306a\u308a\u3001\u9818\u53ce\u66f8\u304c\u751f\u6210\u3055\u308c\u308b\r\n  post: self.items-&gt;isEmpty() and result &lt;&gt; null\r\n  \r\n  -- \u672c\u4f53\uff1a\u30af\u30a8\u30ea\u64cd\u4f5c\u306e\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:TPBTQXD15CVl5_OT3lGcIObu8-XIGZ-8u9rONs0wcMwMpEuiCsV1MWHdqujMqm-fWhGLbU97MsblH4JRlima6thbApYpyI91SZCCvt_E_7_dd9bNI2HcCVSzrOcIb4WI0-L4gGL46Qrao1vGaIn7JndS7iz91B95GZkX55dIMX9SI9Xfthr_ftdFztolV0AMso9DeoHSiXwmxdi0TOYGnIg0HHBEFPIYbL5iZ0GKIFX2R9_301unmbru5cYRqOx8i59rKSgY54T2oF2nAna9BlsPStPW8AEmZI1M9mXSMQrMx6_thuu6druDls_ykJoerLou9AZ3O6kxsDqhtdti__vXDPEVcUwbwMuQVJ4y-MNq5wDpeu-D_cmZHf-QVCkTUiFLsp4XUu8Jba4m1J-LB035-EgjSXxrXiLknYckLQhZFDUzwJ1d9S0ByrpVV7WxsDqf3dyQtHk-VbzixXdznkGzaxyilOJ2IRD8_VC2ahH0CfLnXBa691ddO_R5qRV-rNxfVM7ohwPxEXgUqUU3yuFXzSdqjlzV3i2AQArDSb31EQDOIML4MRNUK5di-cSMogtHz-RjrNxElm00\" \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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44767\">C. \u5c0e\u51fa\u5024\u304a\u3088\u3073\u521d\u671f\u5024\uff08<code data-backticks=\"1\" data-nodeid=\"44915\">\u5c0e\u51fa<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44917\">\u521d\u671f<\/code>)<\/h3>\n<p data-nodeid=\"44768\">\u5197\u9577\u306a\u30c7\u30fc\u30bf\u3092\u4fdd\u5b58\u3059\u308b\u4ee3\u308f\u308a\u306b\u3001UML\u3067\u306f\u5c5e\u6027\u306b\u00a0<code data-backticks=\"1\" data-nodeid=\"44920\">{\u5c0e\u51fa}<\/code>\u00a0\u307e\u305f\u306f\u00a0<code data-backticks=\"1\" data-nodeid=\"44922\">{\u521d\u671f}<\/code>\u3001OCL\u304c\u305d\u306e\u6b63\u78ba\u306a\u5024\u3092\u5b9a\u7fa9\u3059\u308b\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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/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:RL7HIW9157rVs7-uq4ijA55l2u6Q2hxqOZymxexhuEwCpCn69a9AaIH411654KGFGY0zH53Wrsoxrbyquuf8zNAvt7CuvznxSq8YBiF0DmtH9BI5E0h0yP4GUIavgOKILnn6g-G8m-OgXpA92yXfUfo5rDrbFkEmLjekRvMBfc4QSmae1IsVjJ66Zca0PA1Ek91xAC0sL9KwzT9nZN3PA2AfnhgcmuwBEJd0RXUGfu0AbTZ3V84HIYH1VXU8o3jIqMmeCEPZH64790-LHbV7q2c14wyXWTMNSRI8PSKl5_7PHtpy5FN6yU0-6JsethOiZSvjCX2_ltvF7wF-LJoydjsTHBtdh_5WDhdHiBgAn8ToAMhRltEc2zWWi5_FBdVCjZ7YeageW_UPYzhh6ok6dzDHChXCRljHRv9ccfs_9QV3_mt_BAzf-ZJsuWQOklD7cKPEjUhBFm00\" \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  **\u5c0e\u51fa\u5024\u3068\u521d\u671f\u5024:**\r\n  \r\n  -- \u5e74\u9f62\u3092\u52d5\u7684\u306b\u8a08\u7b97\r\n  context Employee::age: Integer\r\n  derive: self.birthDate.yearsSinceToday()\r\n  \r\n  -- \u4f5c\u6210\u6642\u306e\u521d\u671f\u72b6\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:RL7HIW9157rVs7-uq4ijA55l2u6Q2hxqOZymxexhuEwCpCn69a9AaIH411654KGFGY0zH53Wrsoxrbyquuf8zNAvt7CuvznxSq8YBiF0DmtH9BI5E0h0yP4GUIavgOKILnn6g-G8m-OgXpA92yXfUfo5rDrbFkEmLjekRvMBfc4QSmae1IsVjJ66Zca0PA1Ek91xAC0sL9KwzT9nZN3PA2AfnhgcmuwBEJd0RXUGfu0AbTZ3V84HIYH1VXU8o3jIqMmeCEPZH64790-LHbV7q2c14wyXWTMNSRI8PSKl5_7PHtpy5FN6yU0-6JsethOiZSvjCX2_ltvF7wF-LJoydjsTHBtdh_5WDhdHiBgAn8ToAMhRltEc2zWWi5_FBdVCjZ7YeageW_UPYzhh6ok6dzDHChXCRljHRv9ccfs_9QV3_mt_BAzf-ZJsuWQOklD7cKPEjUhBFm00\" \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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44770\">D. \u72b6\u614b\u6a5f\u68b0\u306e\u30ac\u30fc\u30c9<\/h3>\n<p data-nodeid=\"44771\">\u72b6\u614b\u6a5f\u68b0\u56f3\u3067\u306f\u3001\u9077\u79fb\u306b<strong data-nodeid=\"44930\">\u30ac\u30fc\u30c9<\/strong>\u2014\u9077\u79fb\u304c\u767a\u751f\u3059\u308b\u305f\u3081\u306b\u306f\u771f\u3067\u8a55\u4fa1\u3055\u308c\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u8ad6\u7406\u5f0f\u3067\u3059\u3002\u3053\u308c\u3089\u306e\u30ac\u30fc\u30c9\u3092\u8a18\u8ff0\u3059\u308b\u305f\u3081\u306e\u6a19\u6e96\u8a00\u8a9e\u304cOCL\u3067\u3059\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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/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:TPBFJi904CRlJVeEatW0cc0qXai33O9mrUYHSAXqWPLsTxFT4ednuC63_nw1WubdZyJ4n9SHy3MSQQ4Xe7kQ_UQRRt-xRJqslZP95DfMFE92-TgF03N36dvlDD0o4K5JXbB3NlkeLMbNRCksEauNocKFcfgXCR2jLP6APqm4N0oEbT9ox8VWGfnSHjmKIpIQHkzuRcphbhhREkLb6mnteMEaGRKAXmUukd_xpzaLwvbDlrVB1smhZoFlnP0hbLfZh8XmhL0NhqaJGYAnveEX0TdVHhSj0CVvUPmjxv_c7o-BjuVbz7N-ENCTXrezAGoxDd2g0wP9u6ACXx6mlqylaSHGWy8giW0yKY5dCP0nNPanVJwyKMDIzX2c5Iap8LOS0uBRXLnVCgFpirsnz7ttllXwHhh_6LqtTrDFoTZiyAxJ2-0ZGGwRsLRZmGbzvwe78Wd3JTGwblYx_G80\" \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\u614b\u4e0d\u5909\u6761\u4ef6:**\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()\u306e\u5f8c\u4ef6\u6761\u4ef6:**\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:TPBFJi904CRlJVeEatW0cc0qXai33O9mrUYHSAXqWPLsTxFT4ednuC63_nw1WubdZyJ4n9SHy3MSQQ4Xe7kQ_UQRRt-xRJqslZP95DfMFE92-TgF03N36dvlDD0o4K5JXbB3NlkeLMbNRCksEauNocKFcfgXCR2jLP6APqm4N0oEbT9ox8VWGfnSHjmKIpIQHkzuRcphbhhREkLb6mnteMEaGRKAXmUukd_xpzaLwvbDlrVB1smhZoFlnP0hbLfZh8XmhL0NhqaJGYAnveEX0TdVHhSj0CVvUPmjxv_c7o-BjuVbz7N-ENCTXrezAGoxDd2g0wP9u6ACXx6mlqylaSHGWy8giW0yKY5dCP0nNPanVJwyKMDIzX2c5Iap8LOS0uBRXLnVCgFpirsnz7ttllXwHhh_6LqtTrDFoTZiyAxJ2-0ZGGwRsLRZmGbzvwe78Wd3JTGwblYx_G80\" \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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44773\"\/>\n<h2 data-nodeid=\"44774\">3. \u7dcf\u5408\u7684\u306a\u4e8b\u4f8b\u7814\u7a76\uff1a\u4f01\u696d\u30e2\u30c7\u30eb<\/h2>\n<p data-nodeid=\"44775\">OCL\u3092\u3001\u8907\u96d1\u306aUML\u30af\u30e9\u30b9\u56f3\u306b\u9069\u7528\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u5bfe\u8c61\u306f<code data-backticks=\"1\" data-nodeid=\"44935\">Employee<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44937\">Department<\/code>\u3001\u304a\u3088\u3073<code data-backticks=\"1\" data-nodeid=\"44939\">Project<\/code>\u3067\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001OCL\u304c\u95a2\u9023\u3092\u3069\u306e\u3088\u3046\u306b\u6271\u3044\u3001\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u30a4\u30c6\u30ec\u30fc\u30bf\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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/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:dLNTRXD75Bwtv7SOXPl4hLTn2YfQ1Gk8iHIf0gGymTgUEDlipeQPsHHAaRAxBN4Imez2_u3IfZKa8fXGMXKh3ULXnkl4Lxn2p-oVryRj1JUhyPdpdNFcVDyvFikuHhbj6jaCMzJ9aaOr4rKDZR5pd5EzOdCyMxN8dFubHfDf7s9nV5whBjQfPPFQZ6LO59qebykb2v--vsRH6gQno_cPoQbIDfFD15dG1NF9iAvXZAvdCmZbqTpSHHNDGMfI3mtpEcNyecRYGND5ftoXf74moszeND0f7hOnpT3eDHML3KlZqlGHqkfuV495iuJZEgRPp8r-EIKCTNCJ4nuNH6opWcdAEp2-LuzXLJMkMuI16VFfyAeOtbs7v-lBk7O3aGgD7yn65t2PMf_ZweTcxrk3a4bpnoOL9JU6ydaqLXXBFr95NrXqaPM1cYAg9VRHqF0KLnX1Bn50BeMsDAoGO8OpcXe11XZ0mbCDRW6Qyac11nA24Zcr3DRFo4Qd15HYLX6pbp1TrbdmI6PNG8yw0O4msIEfK4Jr-W97rdo2actDvOwRgxs7zuJphDFUz9jhtP-sEt__9PnTuQqBRqkuhuHtADpNmjiHtXzgBYTHiaPybGz42aZAeuA2_9yFke-U-xy_xgu0Pa_YlJrvhPDbgSkP1LnTX8gnCQy4CaN5CwXmEXLaIa6zxtxjhVmcd1SZwtXtsF2R3tghc_x1qtU7Qt5mKxiQDP95yIFwyaK6qmsPfi-Wawb4doX8k4tXtHJUyo3-MyZOUVFswFukf9Ytw3d3YEA3TwUzxjzf2sU_v-rssXl2RGXttV-c8PoztiDLm0ZdM-7UWbuAvrvmU2dFxbfW-JgkKaxm9RakeXhJREMBOT9nwOmaaUWh-LNYiPViIb3yM_fDf5vqKa77htUZxgMR3tV-FrlT9or_QnkUq5rR0ORW8KTlNWddrj6BxQExDuNpet0tXFUzy5h2RGjtHxZxmcj86XnepHv4w1ni26T7E9lW6Rye4kfCA5qLHSKd1C3eAR6kyqMTL0sxXfbyPfgaYH0M5NiAgF6U2cyZu6N_kFM3ttZYj-u2By9jWJ75kqtqApOErceiIKKpZ5a2cvzKCHkVIFgA2nyZF0LD3PFX0fekIeCEE1q65XSKY1CQvIdgBoQrOCydqrInEBTCEKwbr4QH0-M_lEsl7eJo7vgNlgkg_iUQH2XSfEfW-s81ZwWacUlByOAILOmaCJtYGwMbm1418oFul_m9oW7zY1LdK4B95MI1RpCGoVyFmh9cwBNFahMUKaqi5YNvo-dB9jHCV37KaRFm0_xf_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=\"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\u96d1\u306a\u4e0d\u5909\u6761\u4ef6\u3068\u30ca\u30d3\u30b2\u30fc\u30b7\u30e7\u30f3:**\r\n  context Employee\r\n  \r\n  -- 1. \u57fa\u672c\u5c5e\u6027\u30eb\u30fc\u30eb\r\n  inv ageCheck: self.age() &gt;= 18\r\n  \r\n  -- 2. \u95a2\u9023\u306e\u30ca\u30d3\u30b2\u30fc\u30b7\u30e7\u30f3\uff08\u591a\u91cd\u5ea6\uff09\r\n  inv maxProjects: self.worksOn-&gt;size() &lt;= 4\r\n  \r\n  -- 3. \u30a4\u30c6\u30ec\u30fc\u30bf\u306e\u4f7f\u7528\uff08forAll\uff09\r\n  -- \u4e0a\u53f8\u306f\u90e8\u4e0b\u3088\u308a\u5148\u306b\u96c7\u7528\u3055\u308c\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\r\n  inv hireOrder: self.subordinates-&gt;forAll(\r\n    sub | sub.hireDate &gt; self.hireDate\r\n  )\r\n  \r\n  -- 4. \u8de8\u95a2\u9023\u30eb\u30fc\u30eb\r\n  -- \u5f93\u696d\u54e1\u306f\u6240\u5c5e\u90e8\u7f72\u304c\u7ba1\u7406\u3059\u308b\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u307f\u306b\u5f93\u4e8b\u3067\u304d\u308b\r\n  inv projectControl: \r\n    self.worksFor.controls-&gt;includesAll(self.worksOn)\r\n    \r\n  -- 5. \u30e6\u30cb\u30fc\u30af\u8b58\u5225\u5b50\uff08\u30ad\u30fc\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  **\u5c0e\u51fa\u5c5e\u6027:**\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  **\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u4e0d\u5909\u6761\u4ef6:**\r\n  context Project\r\n  \r\n  -- \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u5834\u6240\u306f\u3001\u6240\u5c5e\u90e8\u7f72\u306e\u5834\u6240\u306e\u4e00\u3064\u3067\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\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:dLNTRXD75Bwtv7SOXPl4hLTn2YfQ1Gk8iHIf0gGymTgUEDlipeQPsHHAaRAxBN4Imez2_u3IfZKa8fXGMXKh3ULXnkl4Lxn2p-oVryRj1JUhyPdpdNFcVDyvFikuHhbj6jaCMzJ9aaOr4rKDZR5pd5EzOdCyMxN8dFubHfDf7s9nV5whBjQfPPFQZ6LO59qebykb2v--vsRH6gQno_cPoQbIDfFD15dG1NF9iAvXZAvdCmZbqTpSHHNDGMfI3mtpEcNyecRYGND5ftoXf74moszeND0f7hOnpT3eDHML3KlZqlGHqkfuV495iuJZEgRPp8r-EIKCTNCJ4nuNH6opWcdAEp2-LuzXLJMkMuI16VFfyAeOtbs7v-lBk7O3aGgD7yn65t2PMf_ZweTcxrk3a4bpnoOL9JU6ydaqLXXBFr95NrXqaPM1cYAg9VRHqF0KLnX1Bn50BeMsDAoGO8OpcXe11XZ0mbCDRW6Qyac11nA24Zcr3DRFo4Qd15HYLX6pbp1TrbdmI6PNG8yw0O4msIEfK4Jr-W97rdo2actDvOwRgxs7zuJphDFUz9jhtP-sEt__9PnTuQqBRqkuhuHtADpNmjiHtXzgBYTHiaPybGz42aZAeuA2_9yFke-U-xy_xgu0Pa_YlJrvhPDbgSkP1LnTX8gnCQy4CaN5CwXmEXLaIa6zxtxjhVmcd1SZwtXtsF2R3tghc_x1qtU7Qt5mKxiQDP95yIFwyaK6qmsPfi-Wawb4doX8k4tXtHJUyo3-MyZOUVFswFukf9Ytw3d3YEA3TwUzxjzf2sU_v-rssXl2RGXttV-c8PoztiDLm0ZdM-7UWbuAvrvmU2dFxbfW-JgkKaxm9RakeXhJREMBOT9nwOmaaUWh-LNYiPViIb3yM_fDf5vqKa77htUZxgMR3tV-FrlT9or_QnkUq5rR0ORW8KTlNWddrj6BxQExDuNpet0tXFUzy5h2RGjtHxZxmcj86XnepHv4w1ni26T7E9lW6Rye4kfCA5qLHSKd1C3eAR6kyqMTL0sxXfbyPfgaYH0M5NiAgF6U2cyZu6N_kFM3ttZYj-u2By9jWJ75kqtqApOErceiIKKpZ5a2cvzKCHkVIFgA2nyZF0LD3PFX0fekIeCEE1q65XSKY1CQvIdgBoQrOCydqrInEBTCEKwbr4QH0-M_lEsl7eJo7vgNlgkg_iUQH2XSfEfW-s81ZwWacUlByOAILOmaCJtYGwMbm1418oFul_m9oW7zY1LdK4B95MI1RpCGoVyFmh9cwBNFahMUKaqi5YNvo-dB9jHCV37KaRFm0_xf_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: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>VPasCode\u3067Plantuml\u3092\u7de8\u96c6<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44777\"\/>\n<h2 data-nodeid=\"44778\">4. UML\u306b\u304a\u3051\u308b\u9ad8\u5ea6\u306aOCL\u6280\u8853<\/h2>\n<h3 data-nodeid=\"44779\">A. \u4f7f\u7528\u3059\u308b<code data-backticks=\"1\" data-nodeid=\"44949\">let<\/code>\u53ef\u8aad\u6027\u306e\u305f\u3081<\/h3>\n<p data-nodeid=\"44780\">OCL\u5f0f\u304c\u8907\u96d1\u306b\u306a\u308a\u3059\u304e\u305f\u5834\u5408\u306f\u3001\u5236\u7d04\u5185\u306b\u5c40\u6240\u5909\u6570\u3092\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306b<code data-backticks=\"1\" data-nodeid=\"44952\">let<\/code>\u30ad\u30fc\u30ef\u30fc\u30c9\u3092\u4f7f\u7528\u3057\u3066\u304f\u3060\u3055\u3044\u3002\u3053\u308c\u306b\u3088\u308a\u3001UML\u30ce\u30fc\u30c8\u306e\u53ef\u8aad\u6027\u304c\u5927\u5e45\u306b\u5411\u4e0a\u3057\u307e\u3059\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>VPasCode\u3067PlantUML\u3092\u7de8\u96c6<\/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:LL7BIiD05Dq7yWztrpOGAOYRqeQw4EnAeLyGuxGTEvafCnEV2AQ25bIehqfnLxe8BVG31F5ZnfhqBvo487LtEVUUSy-vjowaosNW4zCGNKnxBdTzy8WhnBQK71y44ZKyHflu747PD4mZwy6EtoFi326uC0q06quOxuezMe4cajLzpewG9ntJk4mPb4a47BSx4bZhZvdoB2kPtgxU7rKuI-QZU7YZmZaK2985KFsdxy-l-2LIuLZrxogMbHAq4ubEvJ-Hp80Do-4WYGO_u_vgzAp2XQxZnPiAe-NaEdwzNrvDDHXFFfBPGqh0z3ZpZ6bxbmLSL38P0BqR99CkoT66tjT676fv7q0Wqjh8uzgEnmZHKOkTTBnaEoBmYwLy5jCrAN1gi5a6bnwkWzKQREch8escLpADkYxrCtu1\" \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  **\u8907\u96d1\u306a\u8ad6\u7406\u306b 'let' \u3092\u4f7f\u7528\u3059\u308b:**\r\n  context Employee\r\n  \r\n  -- \u5408\u8a08\u6642\u9593\u306e\u8a08\u7b97\u3068\u5883\u754c\u5024\u306e\u78ba\u8a8d\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:LL7BIiD05Dq7yWztrpOGAOYRqeQw4EnAeLyGuxGTEvafCnEV2AQ25bIehqfnLxe8BVG31F5ZnfhqBvo487LtEVUUSy-vjowaosNW4zCGNKnxBdTzy8WhnBQK71y44ZKyHflu747PD4mZwy6EtoFi326uC0q06quOxuezMe4cajLzpewG9ntJk4mPb4a47BSx4bZhZvdoB2kPtgxU7rKuI-QZU7YZmZaK2985KFsdxy-l-2LIuLZrxogMbHAq4ubEvJ-Hp80Do-4WYGO_u_vgzAp2XQxZnPiAe-NaEdwzNrvDDHXFFfBPGqh0z3ZpZ6bxbmLSL38P0BqR99CkoT66tjT676fv7q0Wqjh8uzgEnmZHKOkTTBnaEoBmYwLy5jCrAN1gi5a6bnwkWzKQREch8escLpADkYxrCtu1\" \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>VPasCode\u3067PlantUML\u3092\u7de8\u96c6<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<h3 data-nodeid=\"44782\">B. \u5f8c\u6761\u4ef6\u306b\u304a\u3051\u308b\u4ee5\u524d\u306e\u5024\u306e\u53d6\u308a\u6271\u3044\uff08<code data-backticks=\"1\" data-nodeid=\"44955\">@pre<\/code>)<\/h3>\n<p data-nodeid=\"44783\">\u5f8c\u6761\u4ef6\u3092\u5b9a\u7fa9\u3059\u308b\u969b\u3001\u3057\u3070\u3057\u3070<em data-nodeid=\"44968\">\u65b0\u3057\u3044<\/em>\u72b6\u614b\u3068<em data-nodeid=\"44969\">\u4ee5\u524d\u306e<\/em>\u72b6\u614b\u3092\u6bd4\u8f03\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002OCL\u3067\u306f\u3001<code data-backticks=\"1\" data-nodeid=\"44966\">@pre<\/code>\u5f8c\u7f6e\u8a18\u53f7\u3092\u4f7f\u7528\u3057\u3066\u3001\u64cd\u4f5c\u304c\u958b\u59cb\u3055\u308c\u308b\u76f4\u524d\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u306e\u5024\u306b\u30a2\u30af\u30bb\u30b9\u3057\u307e\u3059\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>VPasCode\u3067PlantUML\u3092\u7de8\u96c6<\/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:VL5DIyD04Bq7yX_cM2CHpq5BH3nuxY-8wRPTJ3PBTWDM4TmWOlq0iQA85EsXg8WV9myjRN_C9gd-2xF1zE31syoRDs_UpDYCEo6FV4_Ns3Ocr0aT7rpFOMoDyn1lHHnjkW6fuLq4oxgcQqKDrWEVEgGDUxe6O0BogHUq4M8Mr11VsVXDgwgw22qSeXAgK0lAU47NzfKa2JY243TR7896AQrQ3IETd6MzVZBwbE8HR1eYaF5bCfxEhfwak9NngMKOYfbRv6Y7bysMzSzCWCAq2TdrXnGtKXocasusU4sx_U-xe_JYM8ftUI2IqI3jd4lnLe8lStuo7CuwpxcJh-auFNaem7iPnpbPITE0SGiOyXfByyF0wXz0BMDMCN6zg8v9iq9pPuZKGHr3r-myp9_o0m00\" \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  **\u5f8c\u6761\u4ef6\u3067 @pre \u3092\u4f7f\u7528\u3059\u308b:**\r\n  context Company::hireEmployee(p: Employee)\r\n  \r\n  -- \u65b0\u3057\u3044\u5f93\u696d\u54e1\u96c6\u5408\u306f\u3001\u4ee5\u524d\u306e\u96c6\u5408\u306b\u65b0\u3057\u3044\u4eba\u7269\u3092\u8ffd\u52a0\u3057\u305f\u3082\u306e\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:VL5DIyD04Bq7yX_cM2CHpq5BH3nuxY-8wRPTJ3PBTWDM4TmWOlq0iQA85EsXg8WV9myjRN_C9gd-2xF1zE31syoRDs_UpDYCEo6FV4_Ns3Ocr0aT7rpFOMoDyn1lHHnjkW6fuLq4oxgcQqKDrWEVEgGDUxe6O0BogHUq4M8Mr11VsVXDgwgw22qSeXAgK0lAU47NzfKa2JY243TR7896AQrQ3IETd6MzVZBwbE8HR1eYaF5bCfxEhfwak9NngMKOYfbRv6Y7bysMzSzCWCAq2TdrXnGtKXocasusU4sx_U-xe_JYM8ftUI2IqI3jd4lnLe8lStuo7CuwpxcJh-auFNaem7iPnpbPITE0SGiOyXfByyF0wXz0BMDMCN6zg8v9iq9pPuZKGHr3r-myp9_o0m00\" \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>VPasCode\u3067PlantUML\u3092\u7de8\u96c6<\/span><br \/>\n<\/a>\n<\/div>\n<\/div>\n<hr data-nodeid=\"44785\"\/>\n<h2 data-nodeid=\"44786\">5. UML\u306b\u304a\u3051\u308bOCL\u306e\u30d9\u30b9\u30c8\u30d7\u30e9\u30af\u30c6\u30a3\u30b9<\/h2>\n<ol data-nodeid=\"44787\">\n<li data-nodeid=\"44788\">\n<p data-nodeid=\"44789\"><strong data-nodeid=\"44977\">\u5236\u7d04\u306b\u540d\u524d\u3092\u4ed8\u3051\u308b\uff1a<\/strong>\u5e38\u306b\u4e0d\u5909\u6761\u4ef6\u3084\u6761\u4ef6\u306b\u540d\u524d\u3092\u4ed8\u3051\u3066\u304f\u3060\u3055\u3044\uff08\u4f8b\uff1a<code data-backticks=\"1\" data-nodeid=\"44975\">inv maxProjects:<\/code>\uff09\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u3084\u30c8\u30ec\u30fc\u30b5\u30d3\u30ea\u30c6\u30a3\u30de\u30c8\u30ea\u30af\u30b9\u3067\u53c2\u7167\u3057\u3084\u3059\u304f\u306a\u308a\u307e\u3059\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44790\">\n<p data-nodeid=\"44791\"><strong data-nodeid=\"44984\">\u30ce\u30fc\u30c8\u3092\u6226\u7565\u7684\u306b\u4f7f\u7528\u3059\u308b\uff1a<\/strong>PlantUML\u3084\u8996\u899a\u7684\u306aUML\u30c4\u30fc\u30eb\u3067\u306f\u3001\u30af\u30e9\u30b9\u30dc\u30c3\u30af\u30b9\u306bOCL\u3092\u8a70\u3081\u8fbc\u307e\u306a\u3044\u3067\u304f\u3060\u3055\u3044\u3002OCL\u306f\u96a3\u63a5\u3059\u308b\u30ce\u30fc\u30c8\u306b\u914d\u7f6e\u3057\u3066\u304f\u3060\u3055\u3044\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u56f3\u3092\u304d\u308c\u3044\u306b\u4fdd\u3061\u3001\u8aad\u307f\u3084\u3059\u304f\u3067\u304d\u307e\u3059\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44792\">\n<p data-nodeid=\"44793\"><strong data-nodeid=\"44995\">\u5236\u7d04\u3092\u3057\u3059\u304e\u306a\u3044\uff1a<\/strong>\u00a0UML\u306e\u591a\u91cd\u6027\uff08\u4f8b\uff1a\uff09\u3067\u7c21\u5358\u306b\u8868\u73fe\u3067\u304d\u306a\u3044\u30eb\u30fc\u30eb\u306e\u307f\u306bOCL\u3092\u8a18\u8ff0\u3059\u308b\u3002<code data-backticks=\"1\" data-nodeid=\"44991\">0..1<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"44993\">1..*<\/code>\uff09\u307e\u305f\u306f\u57fa\u672c\u578b\u3002\u30eb\u30fc\u30eb\u3092\u8996\u899a\u7684\u306b\u8868\u73fe\u3067\u304d\u308b\u5834\u5408\u306f\u3001\u8996\u899a\u7684\u306b\u793a\u3059\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44794\">\n<p data-nodeid=\"44795\"><strong data-nodeid=\"45008\">\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u30a4\u30c6\u30ec\u30fc\u30bf\u3092\u6d3b\u7528\u3059\u308b\uff1a<\/strong>\u00a0\u30de\u30b9\u30bf\u30fc\u3059\u308b\u00a0<code data-backticks=\"1\" data-nodeid=\"45000\">-&gt;select()<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"45002\">-&gt;forAll()<\/code>,\u00a0<code data-backticks=\"1\" data-nodeid=\"45004\">-&gt;exists()<\/code>\u3001\u304a\u3088\u3073\u00a0<code data-backticks=\"1\" data-nodeid=\"45006\">-&gt;collect()<\/code>\u3002\u3053\u308c\u3089\u306fOCL\u306b\u304a\u3051\u308bUML\u95a2\u9023\u306e\u30ca\u30d3\u30b2\u30fc\u30b7\u30e7\u30f3\u306b\u6700\u3082\u5f37\u529b\u306a\u30c4\u30fc\u30eb\u3067\u3042\u308b\u3002<\/p>\n<\/li>\n<li data-nodeid=\"44796\">\n<p class=\"\" data-nodeid=\"44797\"><strong data-nodeid=\"45021\">null\u3084\u7a7a\u96c6\u5408\u306e\u78ba\u8a8d\uff1a<\/strong>\u00a0\u30aa\u30d7\u30b7\u30e7\u30f3\u306e\u95a2\u9023\u3092\u30ca\u30d3\u30b2\u30fc\u30c8\u3059\u308b\u969b\uff08\u591a\u91cd\u6027\u00a0<code data-backticks=\"1\" data-nodeid=\"45013\">0..1<\/code>\u00a0\u307e\u305f\u306f\u00a0<code data-backticks=\"1\" data-nodeid=\"45015\">0..*<\/code>\uff09\u306f\u3001\u5e38\u306b\u00a0<code data-backticks=\"1\" data-nodeid=\"45017\">-&gt;notEmpty()<\/code>\u00a0\u307e\u305f\u306f\u00a0<code data-backticks=\"1\" data-nodeid=\"45019\">-&gt;isEmpty()<\/code>\u00a0\u30d7\u30ed\u30d1\u30c6\u30a3\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u524d\u306b\u4f7f\u7528\u3057\u3001\u672a\u5b9a\u7fa9\u306e\u8a55\u4fa1\u30a8\u30e9\u30fc\u3092\u56de\u907f\u3059\u308b\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\">\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u5de5\u5b66\u306e\u5206\u91ce\u306b\u304a\u3044\u3066\u3001\u66d6\u6627\u3055\u306f\u54c1\u8cea\u306e\u6575\u3067\u3042\u308b\u3002UML\u306f\u30b7\u30b9\u30c6\u30e0\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306b\u3064\u3044\u3066\u8b70\u8ad6\u3059\u308b\u305f\u3081\u306e\u8cb4\u91cd\u306a\u8996\u899a\u7684\u8a9e\u5f59\u3092\u63d0\u4f9b\u3059\u308b\u304c\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u5236\u7d04\u8a00\u8a9e\uff08OCL\uff09\u306e\u7d71\u5408\u304c\u3001\u3053\u308c\u3089\u306e\u8996\u899a\u7684\u56f3\u3092\u53b3\u5bc6\u3067\u66d6\u6627\u3055\u306e\u306a\u3044\u4ed5\u69d8\u306b\u5909\u63db\u3059\u308b\u3002<\/span><\/div>\n<div class=\"qwen-markdown-space\"><\/div>\n<div class=\"qwen-markdown-paragraph\" dir=\"ltr\"><span class=\"qwen-markdown-text\">\u3053\u306e\u30ac\u30a4\u30c9\u3092\u901a\u3058\u3066\u63a2\u6c42\u3057\u3066\u304d\u305f\u3088\u3046\u306b\u3001OCL\u306f\u9ad8\u30ec\u30d9\u30eb\u306e\u8a2d\u8a08\u3068\u5b9f\u88c5\u306e\u9593\u306e\u91cd\u8981\u306a\u6a4b\u6e21\u3057\u306e\u5f79\u5272\u3092\u679c\u305f\u3059\u3002\u30af\u30e9\u30b9\u4e0d\u5909\u6761\u4ef6\u3001\u64cd\u4f5c\u5951\u7d04\u3001\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u30a4\u30c6\u30ec\u30fc\u30bf\u3092\u7fd2\u5f97\u3059\u308b\u3053\u3068\u3067\u3001\u8a2d\u8a08\u30c1\u30fc\u30e0\u3068\u958b\u767a\u8005\u3068\u306e\u9593\u3067\u30d3\u30b8\u30cd\u30b9\u30eb\u30fc\u30eb\u304c\u8aa4\u89e3\u3084\u55aa\u5931\u3055\u308c\u308b\u3053\u3068\u3092\u9632\u3052\u308b\u3002\u3055\u3089\u306b\u3001PlantUML\u306e\u3088\u3046\u306a\u30c4\u30fc\u30eb\u3092\u6d3b\u7528\u3059\u308b\u3053\u3068\u3067\u3001OCL\u306e\u5236\u7d04\u3092\u30d0\u30fc\u30b8\u30e7\u30f3\u7ba1\u7406\u53ef\u80fd\u306b\u3057\u3001\u8aad\u307f\u3084\u3059\u304f\u3001\u8996\u899a\u7684\u56f3\u3068\u30b7\u30fc\u30e0\u30ec\u30b9\u306b\u7d71\u5408\u3067\u304d\u308b\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\u7684\u306b\u3001OCL\u3092\u63a1\u7528\u3059\u308b\u3053\u3068\u3067\u3001\u30e2\u30c7\u30ea\u30f3\u30b0\u306e\u5b9f\u8df5\u304c\u5411\u4e0a\u3059\u308b\u3002\u5358\u306b\u300c\u7bb1\u3068\u7dda\u3092\u63cf\u304f\u300d\u5f79\u5272\u304b\u3089\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u6b63\u78ba\u306a\u6570\u5b66\u7684\u610f\u5473\u3092\u5b9a\u7fa9\u3059\u308b\u5f79\u5272\u3078\u3068\u79fb\u884c\u3059\u308b\u3002UML\u306e\u8996\u899a\u7684\u660e\u78ba\u6027\u3068OCL\u306e\u5f62\u5f0f\u7684\u53b3\u5bc6\u6027\u306e\u76f8\u4e57\u52b9\u679c\u3092\u6d3b\u304b\u3059\u3053\u3068\u3067\u3001\u5358\u306b\u826f\u597d\u306b\u8a2d\u8a08\u3055\u308c\u305f\u3060\u3051\u3067\u306a\u304f\u3001\u73fe\u5b9f\u306e\u30d3\u30b8\u30cd\u30b9\u8981\u4ef6\u3068\u53b3\u5bc6\u306b\u4e00\u81f4\u3059\u308b\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3092\u69cb\u7bc9\u3059\u308b\u305f\u3081\u306e\u5805\u56fa\u306a\u57fa\u76e4\u3092\u7bc9\u304f\u3053\u3068\u304c\u3067\u304d\u308b\u3002<\/span><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5c0e\u5165 \u7d71\u5408\u30e2\u30c7\u30eb\u8a00\u8a9e\uff08UML\uff09\u306f\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3092\u53ef\u8996\u5316\u3059\u308b\u4e0a\u3067\u3001\u696d\u754c\u6a19\u6e96\u3068\u3055\u308c\u3066\u304a\u308a\u3001\u305d\u306e\u70b9\u3067\u7591\u3044\u306e\u306a\u3044\u5b58\u5728\u3067\u3042\u308b\u304c\u3001\u5185\u5728\u3059\u308b\u5236\u9650\u304c\u3042\u308b\u3002\u56f3\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u304c\u4f55\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u304b\u3092\u793a\u3059\u306e\u306b\u512a\u308c\u3066\u3044\u308b\u304c\u3001\u30b7\u30b9\u30c6\u30e0 [&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-9686","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>PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9 - Visual Paradigm \u30d6\u30ed\u30b0<\/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\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\" \/>\n<meta property=\"og:locale\" content=\"ja_JP\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9 - Visual Paradigm \u30d6\u30ed\u30b0\" \/>\n<meta property=\"og:description\" content=\"\u5c0e\u5165 \u7d71\u5408\u30e2\u30c7\u30eb\u8a00\u8a9e\uff08UML\uff09\u306f\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3092\u53ef\u8996\u5316\u3059\u308b\u4e0a\u3067\u3001\u696d\u754c\u6a19\u6e96\u3068\u3055\u308c\u3066\u304a\u308a\u3001\u305d\u306e\u70b9\u3067\u7591\u3044\u306e\u306a\u3044\u5b58\u5728\u3067\u3042\u308b\u304c\u3001\u5185\u5728\u3059\u308b\u5236\u9650\u304c\u3042\u308b\u3002\u56f3\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u304c\u4f55\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u304b\u3092\u793a\u3059\u306e\u306b\u512a\u308c\u3066\u3044\u308b\u304c\u3001\u30b7\u30b9\u30c6\u30e0 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\" \/>\n<meta property=\"og:site_name\" content=\"Visual Paradigm \u30d6\u30ed\u30b0\" \/>\n<meta property=\"article:published_time\" content=\"2026-07-24T07:39:20+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-07-26T09:29:52+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=\"\u57f7\u7b46\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"Admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593\" \/>\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\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"url\":\"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\",\"name\":\"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9 - Visual Paradigm \u30d6\u30ed\u30b0\",\"isPartOf\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png\",\"datePublished\":\"2026-07-24T07:39:20+00:00\",\"dateModified\":\"2026-07-26T09:29:52+00:00\",\"author\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\"},\"breadcrumb\":{\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb\"},\"inLanguage\":\"ja\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/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\/ja\/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\/ja\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/#website\",\"url\":\"https:\/\/blog.visual-paradigm.com\/ja\/\",\"name\":\"Visual Paradigm \u30d6\u30ed\u30b0\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blog.visual-paradigm.com\/ja\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"ja\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/#\/schema\/person\/a649c442f11a53040710ddec750926c6\",\"name\":\"Admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\/\/blog.visual-paradigm.com\/ja\/#\/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\/ja\/author\/vpadminuser\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9 - Visual Paradigm \u30d6\u30ed\u30b0","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\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","og_locale":"ja_JP","og_type":"article","og_title":"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9 - Visual Paradigm \u30d6\u30ed\u30b0","og_description":"\u5c0e\u5165 \u7d71\u5408\u30e2\u30c7\u30eb\u8a00\u8a9e\uff08UML\uff09\u306f\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3092\u53ef\u8996\u5316\u3059\u308b\u4e0a\u3067\u3001\u696d\u754c\u6a19\u6e96\u3068\u3055\u308c\u3066\u304a\u308a\u3001\u305d\u306e\u70b9\u3067\u7591\u3044\u306e\u306a\u3044\u5b58\u5728\u3067\u3042\u308b\u304c\u3001\u5185\u5728\u3059\u308b\u5236\u9650\u304c\u3042\u308b\u3002\u56f3\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u304c\u4f55\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u304b\u3092\u793a\u3059\u306e\u306b\u512a\u308c\u3066\u3044\u308b\u304c\u3001\u30b7\u30b9\u30c6\u30e0 [&hellip;]","og_url":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","og_site_name":"Visual Paradigm \u30d6\u30ed\u30b0","article_published_time":"2026-07-24T07:39:20+00:00","article_modified_time":"2026-07-26T09:29:52+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":{"\u57f7\u7b46\u8005":"Admin","\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593":"6\u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","url":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/","name":"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9 - Visual Paradigm \u30d6\u30ed\u30b0","isPartOf":{"@id":"https:\/\/blog.visual-paradigm.com\/ja\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage"},"image":{"@id":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#primaryimage"},"thumbnailUrl":"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63167c3b9c9.png","datePublished":"2026-07-24T07:39:20+00:00","dateModified":"2026-07-26T09:29:52+00:00","author":{"@id":"https:\/\/blog.visual-paradigm.com\/ja\/#\/schema\/person\/a649c442f11a53040710ddec750926c6"},"breadcrumb":{"@id":"https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/#breadcrumb"},"inLanguage":"ja","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blog.visual-paradigm.com\/ja\/a-comprehensive-guide-to-using-ocl-in-uml-with-plantuml-examples\/"]}]},{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/blog.visual-paradigm.com\/ja\/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\/ja\/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\/ja\/"},{"@type":"ListItem","position":2,"name":"PlantUML\u306e\u4f8b\u3092\u7528\u3044\u305fUML\u306b\u304a\u3051\u308bOCL\u306e\u4f7f\u3044\u65b9\u306b\u3064\u3044\u3066\u306e\u5305\u62ec\u7684\u30ac\u30a4\u30c9"}]},{"@type":"WebSite","@id":"https:\/\/blog.visual-paradigm.com\/ja\/#website","url":"https:\/\/blog.visual-paradigm.com\/ja\/","name":"Visual Paradigm \u30d6\u30ed\u30b0","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blog.visual-paradigm.com\/ja\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"ja"},{"@type":"Person","@id":"https:\/\/blog.visual-paradigm.com\/ja\/#\/schema\/person\/a649c442f11a53040710ddec750926c6","name":"Admin","image":{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/blog.visual-paradigm.com\/ja\/#\/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\/ja\/author\/vpadminuser\/"}]}},"modified_by":"Admin","_links":{"self":[{"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/posts\/9686","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/comments?post=9686"}],"version-history":[{"count":0,"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/posts\/9686\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/media?parent=9686"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/categories?post=9686"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.visual-paradigm.com\/ja\/wp-json\/wp\/v2\/tags?post=9686"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}