What does this research mean for the field?

Standard Object Constraint Language (OCL) requires specific extensions, formalized as AgileUML OCL, to accurately represent software application semantics while maintaining mathematical consistency with standard OCL semantics. Novelty: ClaimNovelty.METHODOLOGICAL. Consensus alignment: ConsensusAlignment.NEUTRAL.

What question did this study set out to answer?

उद्देश्य OCL के लिए आवश्यक विस्तार की पहचान करना है ताकि सॉफ़्टवेयर आवेदन के अर्थ का सटीक प्रतिनिधित्व किया जा सके।

May 20, 2026Open Access

सॉफ़्टवेयर प्रणालियों के लिए अर्थ प्रतिनिधित्व के लिए OCL का विस्तार

Key Points

उद्देश्य OCL के लिए आवश्यक विस्तार की पहचान करना है ताकि सॉफ़्टवेयर आवेदन के अर्थ का सटीक प्रतिनिधित्व किया जा सके।
मानक OCL में विस्तार और संशोधन को परिभाषित किया।
सामार्थिक प्रतिनिधित्व के लिए AgileUML OCL भाषा विकसित की।
दिखाया कि AgileUML OCL मानक OCL अर्थ के साथ गणितीय स्थिरता बनाए रखता है।
AgileUML OCL को सॉफ़्टवेयर अर्थ को दर्शाने के लिए एक मान्य विकल्प के रूप में पेश किया।
दिखाया कि AgileUML OCL को मौजूदा OCL अर्थ के साथ गणितीय रूप से मान्य किया जा सकता है।

Abstract

संक्षेप: ऑब्जेक्ट प्रतिबंध भाषा (OCL) मॉडल ड्रिवेन इंजीनियरिंग (MDE) सॉफ़्टवेयर विकास दृष्टिकोणों का एक प्रमुख तत्व बन गई है, जो सॉफ़्टवेयर आवश्यकताओं की सटीक स्पेसिफिकेशन और UML मॉडलों में सॉफ़्टवेयर डिज़ाइनों की प्लेटफ़ॉर्म-स्वतंत्र परिभाषा सक्षम बनाती है। UML और OCL सिद्धांत रूप में सॉफ़्टवेयर प्रणालियों के अर्थ प्रतिनिधित्व का समर्थन करने के लिए उपयोग किए जा सकते हैं, कार्यक्रम विश्लेषण या कार्यक्रम पुनः-इंजीनियरिंग के लिए। इस पत्र में, हम मानक OCL के विस्तार और संशोधनों की पहचान करते हैं जो सॉफ़्टवेयर आवेदन अर्थ का सटीक प्रतिनिधित्व करने के लिए आवश्यक हैं। हम कार्यक्रम अर्थ प्रतिनिधित्व के लिए एक विस्तारित OCL संस्करण, AgileUML OCL, परिभाषित करते हैं, और दिखाते हैं कि यह विस्तारित भाषा OCL मानक अर्थ के साथ गणितीय अर्थ कैसे रख सकती है।

AI से पूछें

Bookmark

View Full Paper