![\"Objct](\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63134535ef7.png\")
<\/p>\n\u0628\u0631 \u0627\u0633\u0627\u0633 \u0645\u0648\u0627\u062f \u062f\u0631\u0633\u06cc \u0627\u0631\u0627\u0626\u0647 \u0634\u062f\u0647\u060c \u0627\u06cc\u0646 \u0631\u0627\u0647\u0646\u0645\u0627 \u0645\u0641\u0627\u0647\u06cc\u0645 \u0627\u0633\u0627\u0633\u06cc\u060c \u0646\u062d\u0648 \u0648 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc \u0632\u0628\u0627\u0646 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a \u0634\u06cc\u0621 (OCL) \u0631\u0627 \u062f\u0631 \u0632\u0645\u06cc\u0646\u0647 \u0645\u062f\u0644\u0633\u0627\u0632\u06cc UML \u067e\u0648\u0634\u0634 \u0645\u06cc\u200c\u062f\u0647\u062f.<\/p>\n
<\/p>\n
\u0627\u06af\u0631\u0686\u0647 \u0646\u0645\u0648\u062f\u0627\u0631\u0647\u0627\u06cc UML (\u0645\u0627\u0646\u0646\u062f \u0646\u0645\u0648\u062f\u0627\u0631\u0647\u0627\u06cc \u06a9\u0644\u0627\u0633) \u0628\u0631\u0627\u06cc \u0628\u0635\u0631\u06cc \u06a9\u0631\u062f\u0646 \u0633\u0627\u062e\u062a\u0627\u0631 \u0639\u0627\u0644\u06cc \u0647\u0633\u062a\u0646\u062f\u060c \u0627\u0645\u0627 \u0646\u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u0646\u062f \u062a\u0645\u0627\u0645 \u062c\u0646\u0628\u0647\u200c\u0647\u0627\u06cc \u0645\u0631\u0628\u0648\u0637 \u0628\u0647 \u06cc\u06a9 \u0645\u0634\u062e\u0635\u0627\u062a \u0631\u0627 \u0628\u06cc\u0627\u0646 \u06a9\u0646\u0646\u062f.<\/p>\n
\u0632\u0628\u0627\u0646 \u0637\u0628\u06cc\u0639\u06cc<\/strong>\u0645\u0628\u0647\u0645 \u0627\u0633\u062a.<\/p>\n<\/li>\n \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u0633\u0646\u062a\u06cc<\/strong>\u0628\u06cc\u200c\u0627\u0645\u0628\u0647\u0627\u0645 \u0647\u0633\u062a\u0646\u062f \u0627\u0645\u0627 \u0628\u0631\u0627\u06cc \u0645\u062f\u0644\u200c\u0633\u0627\u0632\u0627\u0646 \u0645\u062a\u0648\u0633\u0637 \u0633\u06cc\u0633\u062a\u0645 \u062e\u0648\u0627\u0646\u062f\u0646 \u0648 \u0646\u0648\u0634\u062a\u0646 \u0622\u0646\u200c\u0647\u0627 \u0628\u0633\u06cc\u0627\u0631 \u062f\u0634\u0648\u0627\u0631 \u0627\u0633\u062a.<\/p>\n<\/li>\n OCL<\/strong>\u0627\u06cc\u0646 \u0634\u06a9\u0627\u0641 \u0631\u0627 \u067e\u0644 \u0645\u06cc\u200c\u0632\u0646\u062f: \u0627\u06cc\u0646 \u06cc\u06a9 \u0632\u0628\u0627\u0646 \u0631\u0633\u0645\u06cc<\/strong>\u0627\u0633\u062a \u06a9\u0647 \u0628\u0631\u0627\u06cc \u0628\u06cc\u0627\u0646 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a\u200c\u0647\u0627\u06cc \u062f\u0642\u06cc\u0642 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u0634\u0648\u062f\u060c \u0628\u0627 \u0627\u06cc\u0646 \u062d\u0627\u0644 \u0647\u0645\u0686\u0646\u0627\u0646 \u062e\u0648\u0627\u0646\u062f\u0646 \u0648 \u0646\u0648\u0634\u062a\u0646 \u0622\u0633\u0627\u0646 \u0627\u0633\u062a<\/strong>.<\/p>\n<\/li>\n<\/ul>\n \u0632\u0628\u0627\u0646 \u0628\u06cc\u0627\u0646\u06cc \u062e\u0627\u0644\u0635:<\/strong>\u0628\u06cc\u0627\u0646\u06cc\u0647\u200c\u0647\u0627 \u0627\u062b\u0631 \u062c\u0627\u0646\u0628\u06cc \u0646\u062f\u0627\u0631\u0646\u062f. \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u06cc\u06a9 \u0628\u06cc\u0627\u0646\u06cc\u0647 OCL \u0645\u0642\u062f\u0627\u0631\u06cc \u0631\u0627 \u0628\u0631\u0645\u06cc\u200c\u06af\u0631\u062f\u0627\u0646\u062f \u0627\u0645\u0627 \u0646\u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f<\/em>\u0648\u0636\u0639\u06cc\u062a \u0633\u06cc\u0633\u062a\u0645 \u0631\u0627 \u062a\u063a\u06cc\u06cc\u0631 \u0646\u062f\u0647\u062f. \u0628\u0627 \u0627\u06cc\u0646 \u062d\u0627\u0644\u060c \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f \u0648\u0636\u0639\u06cc\u062a \u062a\u063a\u06cc\u06cc\u0631 \u0631\u0627 \u062a\u0648\u0635\u06cc\u0641 \u06a9\u0646\u062f (\u0645\u062b\u0644\u0627\u064b \u062f\u0631 \u0634\u0631\u0627\u06cc\u0637 \u067e\u0633 \u0627\u0632)<\/em>\u062a\u063a\u06cc\u06cc\u0631 \u0648\u0636\u0639\u06cc\u062a (\u0645\u062b\u0644\u0627\u064b \u062f\u0631 \u06cc\u06a9 \u0634\u0631\u0637 \u067e\u0633 \u0627\u0632)<\/p>\n<\/li>\n \u0632\u0628\u0627\u0646 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0646\u06cc\u0633\u062a:<\/strong>\u0646\u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u06cc\u062f \u0645\u0646\u0637\u0642 \u0628\u0631\u0646\u0627\u0645\u0647\u060c \u062c\u0631\u06cc\u0627\u0646 \u06a9\u0646\u062a\u0631\u0644 \u06cc\u0627 \u0641\u0631\u0622\u06cc\u0646\u062f\u0647\u0627\/\u0639\u0645\u0644\u06cc\u0627\u062a\u06cc \u0631\u0627 \u0641\u0631\u0627\u062e\u0648\u0627\u0646\u06cc \u06a9\u0646\u06cc\u062f \u06a9\u0647 \u0648\u0636\u0639\u06cc\u062a \u0631\u0627 \u062a\u063a\u06cc\u06cc\u0631 \u062f\u0647\u0646\u062f.<\/p>\n<\/li>\n \u0632\u0628\u0627\u0646 \u0646\u0648\u0639\u200c\u062f\u0627\u0631:<\/strong>\u0647\u0631 \u0628\u06cc\u0627\u0646\u06cc\u0647 \u062f\u0627\u0631\u0627\u06cc \u06cc\u06a9 \u0646\u0648\u0639 \u0627\u0633\u062a. \u0628\u06cc\u0627\u0646\u06cc\u0647\u200c\u0647\u0627\u06cc \u062f\u0631\u0633\u062a \u0633\u0627\u062e\u062a\u0627\u0631 \u0628\u0627\u06cc\u062f \u0642\u0648\u0627\u0646\u06cc\u0646 \u062a\u0637\u0628\u06cc\u0642 \u0646\u0648\u0639 \u0631\u0627 \u0631\u0639\u0627\u06cc\u062a \u06a9\u0646\u0646\u062f. \u0647\u0631 \u0637\u0628\u0642\u0647\u200c\u0628\u0646\u062f\u06cc UML \u06cc\u06a9 \u0646\u0648\u0639 OCL \u0627\u0633\u062a.<\/p>\n<\/li>\n \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u0644\u062d\u0638\u0647\u200c\u0627\u06cc:<\/strong>\u0648\u0636\u0639\u06cc\u062a \u0627\u0634\u06cc\u0627\u0621 \u0646\u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f \u062f\u0631 \u0637\u0648\u0644 \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u06cc\u06a9 \u0628\u06cc\u0627\u0646\u06cc\u0647 OCL \u062a\u063a\u06cc\u06cc\u0631 \u06a9\u0646\u062f.\u062f\u0631 \u0637\u0648\u0644<\/em>\u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u06cc\u06a9 \u0628\u06cc\u0627\u0646\u06cc\u0647 OCL.<\/p>\n<\/li>\n<\/ol>\n \u0647\u0631 \u0639\u0628\u0627\u0631\u062a OCL \u062f\u0631 \u0645\u062a\u0646 \u06cc\u06a9 \u0637\u0628\u0642\u0647\u200c\u0628\u0646\u062f\u06cc UML \u062e\u0627\u0635 (\u06a9\u0644\u0627\u0633\u060c \u0631\u0627\u0628\u0637 \u0648 \u063a\u06cc\u0631\u0647) \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u0645\u06cc\u200c\u0634\u0648\u062f.<\/p>\n \u062a\u0648\u0636\u06cc\u062d\u0627\u062a:<\/strong>\u0628\u0627 \u0639\u0644\u0627\u0645\u062a \u0639\u0645\u0644\u06af\u0631\u0647\u0627\u06cc \u0627\u06cc\u0646\u0641\u06cc\u06a9\u0633\u06cc:<\/strong>\u0634\u0645\u0627 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u06cc\u062f \u0639\u0645\u0644\u06af\u0631\u0647\u0627\u06cc \u0627\u0633\u062a\u0627\u0646\u062f\u0627\u0631\u062f \u0631\u06cc\u0627\u0636\u06cc\/\u0645\u0646\u0637\u0642\u06cc ( \u0627\u0632 \u0646\u0645\u0627\u062f \u0646\u0642\u0637\u0647\u200c\u0627\u06cc \u0628\u0631\u0627\u06cc \u062f\u0633\u062a\u0631\u0633\u06cc \u0628\u0647 \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627 \u06cc\u0627 \u0639\u0645\u0644\u06cc\u0627\u062a \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f. \u067e\u0631\u0627\u0646\u062a\u0632\u0647\u0627 \u0628\u0631\u0627\u06cc \u0639\u0645\u0644\u06cc\u0627\u062a \u0636\u0631\u0648\u0631\u06cc \u0647\u0633\u062a\u0646\u062f\u060c \u062d\u062a\u06cc \u0627\u06af\u0631 \u067e\u0627\u0631\u0627\u0645\u062a\u0631\u06cc \u0646\u062f\u0627\u0634\u062a\u0647 \u0628\u0627\u0634\u0646\u062f.<\/p>\n OCL \u0627\u0646\u0648\u0627\u0639 \u0627\u0633\u062a\u0627\u0646\u062f\u0627\u0631\u062f \u0628\u0627 \u0639\u0645\u0644\u06cc\u0627\u062a \u062e\u0627\u0635 \u0631\u0627 \u0634\u0627\u0645\u0644 \u0645\u06cc\u200c\u0634\u0648\u062f:<\/p>\n \u0645\u0646\u0637\u0642\u06cc:<\/strong>\u00a0 \u0635\u062d\u06cc\u062d \/ \u062d\u0642\u06cc\u0642\u06cc:<\/strong>\u00a0\u0627\u0639\u062f\u0627\u062f (\u0639\u0645\u0644\u06cc\u0627\u062a:\u00a0 \u0631\u0634\u062a\u0647:<\/strong>\u0645\u062a\u0646 (\u0639\u0645\u0644\u06cc\u0627\u062a:\u00a0 \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0647\u0627 \u0646\u0648\u0639\u200c\u0647\u0627\u06cc \u0645\u062c\u0631\u062f \u0647\u0633\u062a\u0646\u062f \u06a9\u0647 \u0628\u0631\u0627\u06cc \u0646\u06af\u0647\u062f\u0627\u0631\u06cc \u0686\u0646\u062f \u0639\u0646\u0635\u0631 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u0634\u0648\u0646\u062f. \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0646\u0645\u0627\u062f\u00a0 \u0645\u062c\u0645\u0648\u0639\u0647:<\/strong>\u00a0\u0645\u062c\u0645\u0648\u0639\u0647 \u0631\u06cc\u0627\u0636\u06cc (\u0628\u062f\u0648\u0646 \u062a\u06a9\u0631\u0627\u0631\u060c \u0628\u062f\u0648\u0646 \u062a\u0631\u062a\u06cc\u0628).\u00a0 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0631\u062a\u0628:<\/strong>\u00a0\u0628\u062f\u0648\u0646 \u062a\u06a9\u0631\u0627\u0631\u060c \u0627\u0645\u0627 \u0628\u0647 \u062a\u0631\u062a\u06cc\u0628 \u0645\u0648\u0642\u0639\u06cc\u062a \u0645\u0631\u062a\u0628 \u0634\u062f\u0647\u200c\u0627\u0646\u062f.\u00a0 \u06a9\u06cc\u0633\u0647:<\/strong>\u0627\u062c\u0627\u0632\u0647\u200c\u06cc \u062a\u06a9\u0631\u0627\u0631 \u0631\u0627 \u0645\u06cc\u200c\u062f\u0647\u062f\u060c \u0628\u062f\u0648\u0646 \u062a\u0631\u062a\u06cc\u0628. \u062f\u0646\u0628\u0627\u0644\u0647:<\/strong>\u0627\u062c\u0627\u0632\u0647\u200c\u06cc \u062a\u06a9\u0631\u0627\u0631 \u0631\u0627 \u0645\u06cc\u200c\u062f\u0647\u062f\u060c \u0645\u0631\u062a\u0628 \u0634\u062f\u0647. \u0646\u06a9\u062a\u0647:<\/em>\u00a0\u0627\u06cc\u0646\u00a0 \u0631\u0627\u06cc\u062c:<\/strong>\u00a0 \u062a\u0631\u06a9\u06cc\u0628\u200c\u06a9\u0646\u0646\u062f\u0647\u200c\u0647\u0627 (\u06a9\u0644\u06cc\u062f\u06cc \u0628\u0631\u0627\u06cc OCL):<\/strong><\/p>\n \u062a\u0646\u0648\u0639\u200c\u0647\u0627\u06cc \u0646\u062d\u0648\u06cc \u0645\u06a9\u0631\u0631:<\/em><\/p>\n OCL \u0628\u0647 \u0637\u0648\u0631 \u06af\u0633\u062a\u0631\u062f\u0647 \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0632\u0628\u0627\u0646 \u0646\u0627\u0648\u0628\u0631\u06cc \u0628\u0631\u0627\u06cc \u0639\u0628\u0648\u0631 \u0627\u0632 \u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u0634\u0648\u062f.<\/p>\n \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0646\u0627\u0645 \u0646\u0642\u0634 \u0645\u0642\u0627\u0628\u0644 \u062d\u0631\u06a9\u062a \u06a9\u0646\u06cc\u062f. \u0646\u0648\u0639 \u0628\u0627\u0632\u06af\u0634\u062a \u0628\u0633\u062a\u06af\u06cc \u0628\u0647 \u0686\u0646\u062f\u06af\u0627\u0646\u06af\u06cc \u062f\u0627\u0631\u062f:<\/p>\n \u0686\u0646\u062f\u06af\u0627\u0646\u06af\u06cc\u00a0 \u0686\u0646\u062f\u06af\u0627\u0646\u06af\u06cc\u00a0 \u0627\u06af\u0631 \u0646\u0627\u0645 \u0646\u0642\u0634 \u0648\u062c\u0648\u062f \u0646\u062f\u0627\u0634\u062a\u0647 \u0628\u0627\u0634\u062f\u060c \u0627\u0632 \u0646\u0627\u0645 \u06a9\u0648\u0686\u06a9 \u06a9\u0644\u0627\u0633 \u062f\u0631 \u0627\u0646\u062a\u0647\u0627\u06cc \u062f\u06cc\u06af\u0631 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f (\u0645\u062b\u0644\u0627\u064b\u00a0 \u0628\u0631\u0627\u06cc \u0646\u0627\u0648\u0628\u0631\u06cc \u0628\u0647 \u06a9\u0644\u0627\u0633 \u0627\u0631\u062a\u0628\u0627\u0637\u06cc \u0627\u0632 \u0646\u0627\u0645 \u06a9\u0648\u0686\u06a9 \u06a9\u0644\u0627\u0633 \u0627\u0631\u062a\u0628\u0627\u0637\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f.<\/p>\n \u0648\u0642\u062a\u06cc \u06cc\u06a9 \u0627\u0631\u062a\u0628\u0627\u0637 \u0628\u0647 \u06a9\u0644\u0627\u0633 \u0647\u0645\u0627\u0646\u200c\u062c\u0627 \u0628\u0627\u0632 \u0645\u06cc\u200c\u06af\u0631\u062f\u062f (\u0645\u062b\u0644\u0627\u064b \u0627\u0632\u062f\u0648\u0627\u062c \u0628\u06cc\u0646 \u062f\u0648 \u0634\u062e\u0635)\u060c \u0628\u0627\u06cc\u062f \u062c\u0647\u062a \u0631\u0627 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0628\u0631\u0627\u06a9\u062a\u200c\u0647\u0627\u06cc \u0645\u0631\u0628\u0639\u06cc \u0645\u0634\u062e\u0635 \u06a9\u0646\u06cc\u062f\u00a0 \u0627\u0632 \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627\u06cc \u0645\u0634\u062e\u0635\u200c\u06a9\u0646\u0646\u062f\u0647 \u062f\u0631 \u0628\u0631\u0627\u06a9\u062a\u200c\u0647\u0627\u06cc \u0645\u0631\u0628\u0639\u06cc \u0628\u0631\u0627\u06cc \u0627\u0646\u062a\u062e\u0627\u0628 \u06cc\u06a9 \u0634\u06cc\u0621 \u062e\u0627\u0635 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f.<\/p>\n \u0627\u0632\u00a0 \u0634\u0631\u0627\u06cc\u0637\u06cc \u06a9\u0647 \u0628\u0627\u06cc\u062f\u00a0\u0647\u0645\u06cc\u0634\u0647<\/strong>\u00a0\u062f\u0631\u0633\u062a \u0628\u0627\u0634\u0646\u062f \u0628\u0631\u0627\u06cc \u0647\u0645\u0647 \u0646\u0645\u0648\u0646\u0647\u200c\u0647\u0627\u06cc \u06cc\u06a9 \u06a9\u0644\u0627\u0633.<\/p>\n \u0645\u062d\u062f\u0648\u062f\u06cc\u062a\u200c\u0647\u0627\u06cc \u0645\u0631\u062a\u0628\u0637 \u0628\u0627 \u0639\u0645\u0644\u06cc\u0627\u062a.<\/p>\n \u0627\u06af\u0631 \u06cc\u06a9 \u0639\u0628\u0627\u0631\u062a \u0641\u0631\u0639\u06cc \u0646\u0627\u0645\u0634\u062e\u0635 \u0628\u0627\u0634\u062f (\u0645\u062b\u0644\u0627\u064b \u062f\u0631 \u062f\u0633\u062a\u0631\u0633\u06cc \u0628\u0647 \u06cc\u06a9 \u0627\u0631\u062a\u0628\u0627\u0637 null)\u060c \u06a9\u0644 \u0639\u0628\u0627\u0631\u062a \u0646\u0627\u0645\u0634\u062e\u0635 \u062e\u0648\u0627\u0647\u062f \u0628\u0648\u062f. \u0628\u0627 \u0627\u06cc\u0646 \u062d\u0627\u0644\u060c \u0639\u0645\u0644\u06af\u0631\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0627\u0633\u062a\u062b\u0646\u0627\u0647\u0627\u06cc \u06a9\u0648\u062a\u0627\u0647 \u0634\u062f\u0647 \u062f\u0627\u0631\u0646\u062f:<\/p>\n\u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627\u06cc \u0627\u0635\u0644\u06cc OCL<\/h3>\n
\n
\n2. \u0633\u06cc\u0646\u062a\u06a9\u0633 \u0648 \u0645\u0639\u0646\u0627\u06cc \u0627\u0648\u0644\u06cc\u0647<\/h2>\n
\u0645\u062a\u0646 \u0648 \u062e\u0648\u062f<\/h3>\n
\n
\u0645\u062a\u0646<\/code><\/strong>: \u06a9\u0644\u0627\u0633\u06cc \u0631\u0627 \u062a\u0639\u0631\u06cc\u0641 \u0645\u06cc\u200c\u06a9\u0646\u062f \u06a9\u0647 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a \u0628\u0647 \u0622\u0646 \u0627\u0639\u0645\u0627\u0644 \u0645\u06cc\u200c\u0634\u0648\u062f.<\/p>\n<\/li>\n\u062e\u0648\u062f<\/code><\/strong>: \u06a9\u0644\u0645\u0647\u200c\u0627\u06cc \u0631\u0632\u0631\u0648 \u0634\u062f\u0647 \u06a9\u0647 \u0628\u0647 \u0646\u0645\u0648\u0646\u0647 \u062e\u0627\u0635 \u06a9\u0644\u0627\u0633 \u0645\u062a\u0646 \u062f\u0631 \u062d\u0627\u0644 \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u0627\u0634\u0627\u0631\u0647 \u062f\u0627\u0631\u062f.<\/p>\n<\/li>\n<\/ul>\n\u0645\u062a\u0646 \u0634\u062e\u0635\r\n-- '\u062e\u0648\u062f' \u0628\u0647 \u06cc\u06a9 \u0646\u0645\u0648\u0646\u0647 \u062e\u0627\u0635 \u0627\u0632 \u0634\u062e\u0635 \u0627\u0634\u0627\u0631\u0647 \u062f\u0627\u0631\u062f\r\n<\/code><\/pre>\n\u062a\u0648\u0636\u06cc\u062d\u0627\u062a \u0648 \u0639\u0645\u0644\u06af\u0631\u0647\u0627<\/h3>\n
\n
--<\/code> (\u0645\u062b\u0644\u0627\u064b-- \u0627\u06cc\u0646 \u06cc\u06a9 \u062a\u0648\u0636\u06cc\u062d \u0627\u0633\u062a<\/code>).<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0=<\/code>,\u00a0<<\/code>). \u0628\u0647 \u0637\u0648\u0631 \u0645\u0641\u0647\u0648\u0645\u06cc\u060ca + b<\/code> \u0628\u0627 \u0627\u06cc\u0646 \u0628\u0631\u0627\u0628\u0631 \u0627\u0633\u062aa.+(b)<\/code>.<\/p>\n<\/li>\n<\/ul>\n\u062f\u0633\u062a\u0631\u0633\u06cc \u0628\u0647 \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627<\/h3>\n
\u0645\u062a\u0646 Person\r\nself.age -- \u0628\u0647 \u0648\u06cc\u0698\u06af\u06cc 'age' \u062f\u0633\u062a\u0631\u0633\u06cc \u067e\u06cc\u062f\u0627 \u0645\u06cc\u200c\u06a9\u0646\u062f\r\nself.stockPrice() -- \u0639\u0645\u0644\u06cc\u0627\u062a 'stockPrice' \u0631\u0627 \u0641\u0631\u0627\u062e\u0648\u0627\u0646\u06cc \u0645\u06cc\u200c\u06a9\u0646\u062f\r\n<\/code><\/pre>\n
\n3. \u0627\u0646\u0648\u0627\u0639 \u0648 \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0647\u0627<\/h2>\n
\u0627\u0646\u0648\u0627\u0639 \u067e\u06cc\u0634\u200c\u0641\u0631\u0636 \u0627\u0635\u0644\u06cc<\/h3>\n
\n
\u062f\u0631\u0633\u062a<\/code>,\u00a0\u0646\u0627\u062f\u0631\u0633\u062a<\/code>\u00a0(\u0639\u0645\u0644\u06cc\u0627\u062a:\u00a0\u0648<\/code>,\u00a0\u06cc\u0627<\/code>,\u00a0\u0646\u0647<\/code>,\u00a0\u0646\u062a\u06cc\u062c\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f<\/code>,\u00a0\u06cc\u0627 \u062c\u0632\u0626\u06cc<\/code>)<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0*<\/code>,\u00a0\/<\/code>,\u00a0\u0645\u0637\u0644\u0642<\/code>,\u00a0\u0628\u06cc\u0634\u06cc\u0646\u0647<\/code>,\u00a0\u06a9\u0645\u06cc\u0646\u0647<\/code>,\u00a0\u062a\u0642\u0633\u06cc\u0645<\/code>,\u00a0\u0645\u0627\u0646\u062f\u0647<\/code>)<\/p>\n<\/li>\n\u0627\u0646\u062f\u0627\u0632\u0647<\/code>,\u00a0\u062a\u0631\u06a9\u06cc\u0628<\/code>,\u00a0\u0632\u06cc\u0631\u0631\u0634\u062a\u0647<\/code>,\u00a0\u0628\u0647 \u0639\u062f\u062f \u0635\u062d\u06cc\u062d \u062a\u0628\u062f\u06cc\u0644 \u06a9\u0646<\/code>)<\/p>\n<\/li>\n<\/ul>\n\u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0647\u0627<\/h3>\n
-><\/code>\u00a0\u0646\u0645\u0627\u062f\u06af\u0630\u0627\u0631\u06cc.<\/p>\n\n
\u0645\u062c\u0645\u0648\u0639\u0647 {1, 2, 5}<\/code><\/p>\n<\/li>\n\u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0631\u062a\u0628 {5, 4, 3}<\/code><\/p>\n<\/li>\n\u06a9\u06cc\u0633\u0647 {1, 2, 2, 5}<\/code><\/p>\n<\/li>\n\u062f\u0646\u0628\u0627\u0644\u0647 {1, 2, 5, 10}<\/code><\/p>\n\n
..<\/code>\u00a0\u0646\u0645\u0627\u062f \u0633\u0627\u062e\u062a\u0627\u0631\u06cc \u06cc\u06a9 \u062f\u0646\u0628\u0627\u0644\u0647 \u0627\u0632 \u0627\u0639\u062f\u0627\u062f \u0635\u062d\u06cc\u062d \u0645\u062a\u0648\u0627\u0644\u06cc \u0627\u06cc\u062c\u0627\u062f \u0645\u06cc\u200c\u06a9\u0646\u062f:\u00a0\u062f\u0646\u0628\u0627\u0644\u0647 {1..5}<\/code>.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\n\u0639\u0645\u0644\u06cc\u0627\u062a \u06a9\u0644\u06cc\u062f\u06cc \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0647\u0627<\/h3>\n
\n
\u0627\u0646\u062f\u0627\u0632\u0647()<\/code>,\u00a0\u062e\u0627\u0644\u06cc\u0627\u0633\u062a()<\/code>,\u00a0\u062e\u0627\u0644\u06cc \u0646\u06cc\u0633\u062a()<\/code>,\u00a0\u0634\u0627\u0645\u0644(v) \u0627\u0633\u062a<\/code>,\u00a0\u0634\u0627\u0645\u0644(v) \u0646\u06cc\u0633\u062a<\/code>,\u00a0\u062a\u0639\u062f\u0627\u062f(v)<\/code>,\u00a0\u062c\u0645\u0639()<\/code>.<\/p>\n<\/li>\n\n
\u0627\u0646\u062a\u062e\u0627\u0628(\u0639\u0628\u0627\u0631\u062a)<\/code>: \u0639\u0646\u0627\u0635\u0631\u06cc \u0631\u0627 \u0628\u0627\u0632\u06af\u0631\u062f\u0627\u0646 \u0645\u06cc\u200c\u06a9\u0646\u062f \u06a9\u0647 \u062f\u0631 \u0622\u0646\u200c\u0647\u0627\u00a0\u0639\u0628\u0627\u0631\u062a<\/code>\u00a0\u062f\u0631\u0633\u062a \u0627\u0633\u062a.<\/p>\n<\/li>\nreject(\u0639\u0628\u0627\u0631\u062a)<\/code>: \u0639\u0646\u0627\u0635\u0631\u06cc \u0631\u0627 \u0628\u0627\u0632\u06af\u0631\u062f\u0627\u0646 \u0645\u06cc\u200c\u06a9\u0646\u062f \u06a9\u0647 \u062f\u0631 \u0622\u0646\u200c\u0647\u0627\u00a0\u0639\u0628\u0627\u0631\u062a<\/code>\u00a0\u0646\u0627\u062f\u0631\u0633\u062a \u0627\u0633\u062a.<\/p>\n<\/li>\ncollect(\u0639\u0628\u0627\u0631\u062a)<\/code>: \u06cc\u06a9 \u0648\u06cc\u0698\u06af\u06cc \u062e\u0627\u0635 \u0631\u0627 \u0627\u0632 \u0647\u0645\u0647 \u0639\u0646\u0627\u0635\u0631 \u0628\u0647 \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0627\u06cc \u062c\u062f\u06cc\u062f \u0627\u0633\u062a\u062e\u0631\u0627\u062c \u0645\u06cc\u200c\u06a9\u0646\u062f.<\/p>\n<\/li>\nforAll(\u0639\u0628\u0627\u0631\u062a)<\/code>: \u0645\u0642\u062f\u0627\u0631\u00a0\u062f\u0631\u0633\u062a<\/code>\u00a0\u0627\u06af\u0631\u00a0\u0639\u0628\u0627\u0631\u062a<\/code>\u00a0\u0628\u0631\u0627\u06cc\u00a0\u0647\u0645\u0647<\/em>\u00a0\u0639\u0646\u0627\u0635\u0631 \u062f\u0631\u0633\u062a \u0628\u0627\u0634\u062f.<\/p>\n<\/li>\nexists(\u0639\u0628\u0627\u0631\u062a)<\/code>: \u0645\u0642\u062f\u0627\u0631\u00a0\u062f\u0631\u0633\u062a<\/code>\u00a0\u0627\u06af\u0631\u00a0\u0639\u0628\u0627\u0631\u062a<\/code>\u00a0\u0628\u0631\u0627\u06cc\u00a0\u062d\u062f\u0627\u0642\u0644 \u06cc\u06a9<\/em>\u00a0\u0639\u0646\u0635\u0631 \u062f\u0631\u0633\u062a \u0628\u0627\u0634\u062f.<\/p>\n<\/li>\niterate(\u0639\u0646\u0635\u0631; \u062d\u0627\u0644\u062a = \u0645\u0642\u062f\u0627\u0631\u0627\u0628\u062a\u062f\u0627\u06cc\u06cc | \u0639\u0628\u0627\u0631\u062a)<\/code>: \u067e\u0627\u06cc\u0647 \u06a9\u0644\u06cc \u0628\u0631\u0627\u06cc \u0647\u0645\u0647 \u0645\u06a9\u0631\u0631\u0647\u0627\u06cc \u0645\u062a\u0641\u0627\u0648\u062a.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\nself.employee->select(age > 50)\r\nself.employee->select(p | p.age > 50)\r\nself.employee->select(p: Person | p.age > 50)\r\n<\/code><\/pre>\n
\n4. \u067e\u06cc\u0645\u0627\u06cc\u0634 \u0645\u062f\u0644\u200c\u0647\u0627\u06cc UML<\/h2>\n
\u0646\u0627\u0648\u0628\u0631\u06cc \u0627\u0633\u062a\u0627\u0646\u062f\u0627\u0631\u062f<\/h3>\n
\n
1<\/code>\u00a0\u06cc\u0627\u00a00..1<\/code>:<\/strong>\u00a0\u06cc\u06a9 \u0634\u06cc\u0621 \u0648\u0627\u062d\u062f \u0628\u0627\u0632 \u0645\u06cc\u200c\u06af\u0631\u062f\u0627\u0646\u062f.<\/p>\n<\/li>\n*<\/code>:<\/strong>\u00a0\u0628\u0627\u0632\u06af\u0631\u062f\u0627\u0646\u062f\u0646 \u06cc\u06a9\u00a0\u0645\u062c\u0645\u0648\u0639\u0647<\/code>\u00a0(\u06cc\u0627\u00a0\u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0631\u062a\u0628\u200c\u0634\u062f\u0647<\/code>\u00a0\u0627\u06af\u0631 \u0639\u0644\u0627\u0645\u062a\u200c\u06af\u0630\u0627\u0631\u06cc \u0634\u062f\u0647 \u0628\u0627\u0634\u062f\u00a0{\u0645\u0631\u062a\u0628\u200c\u0634\u062f\u0647}<\/code>).<\/p>\n<\/li>\n<\/ul>\n\u0645\u062a\u0646 Company\r\nself.manager.age > 40 -- manager 0..1 \u0627\u0633\u062a\u060c \u06cc\u06a9 \u0634\u06cc\u0621 \u0627\u0632 \u0646\u0648\u0639 \u0634\u062e\u0635 \u0628\u0627\u0632 \u0645\u06cc\u200c\u06af\u0631\u062f\u0627\u0646\u062f\r\nself.employee->notEmpty() -- employee 0..* \u0627\u0633\u062a\u060c \u06cc\u06a9 \u0645\u062c\u0645\u0648\u0639\u0647 \u0628\u0627\u0632 \u0645\u06cc\u200c\u06af\u0631\u062f\u0627\u0646\u062f\r\n<\/code><\/pre>\nself.bank<\/code>).<\/em><\/p>\n\u06a9\u0644\u0627\u0633\u200c\u0647\u0627\u06cc \u0627\u0631\u062a\u0628\u0627\u0637\u06cc<\/h3>\n
\u0645\u062a\u0646 Person\r\nself.job->size() >= 1 -- 'job' \u06a9\u0644\u0627\u0633 \u0627\u0631\u062a\u0628\u0627\u0637\u06cc \u0628\u06cc\u0646 \u0634\u062e\u0635 \u0648 \u0634\u0631\u06a9\u062a \u0627\u0633\u062a\r\n<\/code><\/pre>\n\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0628\u0627\u0632\u06af\u0634\u062a\u06cc<\/h3>\n
[\u0646\u0627\u0645_\u0646\u0642\u0634]<\/code>.<\/p>\n\u0645\u062a\u0646\u0638\u0631 \u0634\u062e\u0635\r\nself.marriage[wife]->select(m | m.ended = false)->size() = 1\r\n<\/code><\/pre>\n\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0645\u0634\u062e\u0635\u200c\u0634\u062f\u0647<\/h3>\n
\u0645\u062a\u0646\u0638\u0631 \u0628\u0627\u0646\u06a9\r\nself.customer[12345] -- \u0634\u06cc\u0621 \u062e\u0627\u0635 \u0634\u062e\u0635 \u0628\u0627 accountNo 12345 \u0631\u0627 \u0628\u0631\u0645\u06cc\u200c\u06af\u0631\u062f\u0627\u0646\u062f\r\nself.customer -- \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0627\u06cc \u0627\u0632 \u0647\u0645\u0647 \u0645\u0634\u062a\u0631\u06cc\u0627\u0646 \u0631\u0627 \u0628\u0631\u0645\u06cc\u200c\u06af\u0631\u062f\u0627\u0646\u062f\r\n<\/code><\/pre>\n\u062a\u063a\u06cc\u06cc\u0631 \u0646\u0648\u0639 (\u062a\u0628\u062f\u06cc\u0644)<\/h3>\n
oclAsType()<\/code>\u00a0\u0628\u0631\u0627\u06cc \u062f\u0633\u062a\u0631\u0633\u06cc \u0628\u0647 \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627\u06cc \u06cc\u06a9 \u0632\u06cc\u0631\u0646\u0648\u0639 \u06cc\u0627 \u0648\u06cc\u0698\u06af\u06cc \u0645\u062e\u0641\u06cc \u06a9\u0644\u0627\u0633 \u067e\u0627\u06cc\u0647 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0634\u0648\u062f.<\/p>\nself.oclAsType(Sub).p -- \u0628\u0647 \u0648\u06cc\u0698\u06af\u06cc 'p' \u062a\u0639\u0631\u06cc\u0641\u200c\u0634\u062f\u0647 \u062f\u0631 \u0632\u06cc\u0631\u0646\u0648\u0639 \u062f\u0633\u062a\u0631\u0633\u06cc \u067e\u06cc\u062f\u0627 \u0645\u06cc\u200c\u06a9\u0646\u062f\r\nself.oclAsType(Super).p -- \u0628\u0647 \u0648\u06cc\u0698\u06af\u06cc 'p' \u062a\u0639\u0631\u06cc\u0641\u200c\u0634\u062f\u0647 \u062f\u0631 \u06a9\u0644\u0627\u0633 \u067e\u0627\u06cc\u0647 \u062f\u0633\u062a\u0631\u0633\u06cc \u067e\u06cc\u062f\u0627 \u0645\u06cc\u200c\u06a9\u0646\u062f\r\n<\/code><\/pre>\n
\n5. \u0646\u0648\u0634\u062a\u0646 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a\u200c\u0647\u0627<\/h2>\n
1. \u0645\u0648\u0627\u0631\u062f \u062b\u0627\u0628\u062a (
inv<\/code>)<\/h3>\n\u0645\u062a\u0646\u0638\u0631 \u0634\u0631\u06a9\u062a \r\ninv: self.noEmployees <= 50\r\ninv SME: self.stockPrice() > 0 -- 'SME' \u0646\u0627\u0645 \u0627\u062e\u062a\u06cc\u0627\u0631\u06cc \u0628\u0631\u0627\u06cc \u0645\u062d\u062f\u0648\u062f\u06cc\u062a \u0627\u0633\u062a\r\n<\/code><\/pre>\n2. \u0634\u0631\u0627\u06cc\u0637 \u067e\u06cc\u0634 \u0648 \u067e\u0633 \u0627\u0632 (
pre<\/code>,\u00a0post<\/code>)<\/h3>\n\n
pre<\/code><\/strong>: \u0628\u0627\u06cc\u062f \u062f\u0631\u0633\u062a \u0628\u0627\u0634\u062f\u00a0\u0642\u0628\u0644 \u0627\u0632<\/em>\u00a0\u0627\u062c\u0631\u0627\u06cc \u0639\u0645\u0644\u06cc\u0627\u062a.<\/p>\n<\/li>\npost<\/code><\/strong>: \u0628\u0627\u06cc\u062f \u062f\u0631\u0633\u062a \u0628\u0627\u0634\u062f\u00a0\u0628\u0639\u062f \u0627\u0632<\/em>\u0627\u062c\u0631\u0627. \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f\u0646\u062a\u06cc\u062c\u0647<\/code>\u0628\u0631\u0627\u06cc \u0645\u0642\u062f\u0627\u0631 \u0628\u0627\u0632\u06af\u0634\u062a\u06cc<\/p>\n<\/li>\n@pre<\/code><\/strong>: \u062f\u0631 \u0634\u0631\u0627\u06cc\u0637 \u067e\u0633 \u0627\u0632 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0628\u0631\u0627\u06cc \u0627\u0631\u062c\u0627\u0639 \u0628\u0647 \u0645\u0642\u062f\u0627\u0631 \u06cc\u06a9 \u0648\u06cc\u0698\u06af\u06cc\u0642\u0628\u0644 \u0627\u0632<\/em>\u0639\u0645\u0644\u06cc\u0627\u062a \u0634\u0631\u0648\u0639 \u0634\u062f.<\/p>\n<\/li>\n<\/ul>\n\u0645\u062a\u0646 Person::income(): Integer\r\n\u067e\u06cc\u0634 \u0634\u0631\u0637 adult: self.age >= 18\r\n\u067e\u0633 \u0634\u0631\u0637 resultOK: result < 5000\r\n\r\n\u0645\u062a\u0646 Company::hireEmployee(p: Person)\r\n\u067e\u0633 \u0634\u0631\u0637: employee = employee@pre->including(p)\r\n<\/code><\/pre>\n3. \u0639\u0628\u0627\u0631\u0627\u062a \u0628\u062f\u0646\u060c \u0627\u0648\u0644\u06cc\u0647 \u0648 \u0645\u0634\u062a\u0642 \u0634\u062f\u0647<\/h3>\n
\n
\u0628\u062f\u0646<\/code><\/strong>: \u0646\u062a\u06cc\u062c\u0647 \u06cc\u06a9 \u0639\u0645\u0644\u06cc\u0627\u062a \u067e\u0631\u0633 \u0648 \u062c\u0648 \u0631\u0627 \u062a\u0639\u0631\u06cc\u0641 \u0645\u06cc \u06a9\u0646\u062f (\u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0628\u0627\u0632\u06af\u0634\u062a\u06cc \u0628\u0627\u0634\u062f).<\/p>\n<\/li>\n\u0627\u0648\u0644\u06cc\u0647<\/code><\/strong>: \u0645\u0642\u062f\u0627\u0631 \u0627\u0648\u0644\u06cc\u0647 \u06cc\u06a9 \u0648\u06cc\u0698\u06af\u06cc \u0631\u0627 \u062a\u0639\u0631\u06cc\u0641 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\n<\/li>\n\u0645\u0634\u062a\u0642 \u06a9\u0631\u062f\u0646<\/code><\/strong>: \u06cc\u06a9 \u0648\u06cc\u0698\u06af\u06cc \u0645\u0634\u062a\u0642 \u0634\u062f\u0647 \u0631\u0627 \u062a\u0639\u0631\u06cc\u0641 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\n<\/li>\n<\/ul>\n\u0645\u062a\u0646 Person::income(): Integer\r\n\u0628\u062f\u0646: self.job.salary->sum()\r\n\r\n\u0645\u062a\u0646 Person::isMarried: Boolean\r\n\u0627\u0648\u0644\u06cc\u0647: false\r\n\r\n\u0645\u062a\u0646 Company::noEmployees: Integer\r\n\u0645\u0634\u062a\u0642 \u06a9\u0631\u062f\u0646: self.employee->size()\r\n<\/code><\/pre>\n
\n6. \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u067e\u06cc\u0634\u0631\u0641\u062a\u0647 OCL<\/h2>\n
\u0639\u0628\u0627\u0631\u0627\u062a Let \u0648 Def<\/h3>\n
\n
let<\/code><\/strong>: \u06cc\u06a9 \u0645\u062a\u063a\u06cc\u0631 \u0645\u062d\u0644\u06cc \u062f\u0631\u0648\u0646 \u06cc\u06a9 \u0639\u0628\u0627\u0631\u062a \u0648\u0627\u062d\u062f \u0631\u0627 \u062a\u0639\u0631\u06cc\u0641 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\nlet totHours: Integer = self.worksOn->collect(hours)->sum() in totHours >= 30\r\n<\/code><\/pre>\n<\/li>\ndef<\/code><\/strong>: \u0645\u062a\u063a\u06cc\u0631\u0647\u0627\u06cc \u0642\u0627\u0628\u0644 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u062c\u062f\u062f \u06cc\u0627 \u0639\u0645\u0644\u06cc\u0627\u062a\u06cc \u06a9\u0647 \u0628\u0647 \u06cc\u06a9 \u0637\u0628\u0642\u0647 \u0648\u0627\u0628\u0633\u062a\u0647 \u0647\u0633\u062a\u0646\u062f \u0631\u0627 \u062a\u0639\u0631\u06cc\u0641 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\ndef: hasTitle(t: String): Boolean = self.job->exists(title = t)\r\n<\/code><\/pre>\n<\/li>\n<\/ul>\n\u0645\u0642\u0627\u062f\u06cc\u0631 \u0646\u0627\u0645\u0634\u062e\u0635 (\u0645\u0646\u0637\u0642 \u0633\u0647 \u0627\u0631\u0632\u0634\u06cc)<\/h3>\n
\n
true \u06cc\u0627 <\u0646\u0627\u0645\u0634\u062e\u0635><\/code>\u00a0=\u00a0true<\/strong><\/p>\n<\/li>\n