تلعب لغة قيود الكائنات (OCL) دورًا محوريًا في الهندسة المدفوعة بالنماذج (MDE) من خلال تعزيز الدقة والغنى الدلالي لنماذج البرمجيات، لا سيما في مخططات الفئات ولغات تحويل النماذج. تناقش هذه الورقة توسيع OCL بما يتجاوز معيارها الرسمي (الإصدار 2.4) لتضمين أنواع وعناصر لغوية إضافية، بما في ذلك العبارات الإجرائية. يقترح المؤلفون دلالة تشغيلية تستوعب أنواع…