ارسل ملاحظاتك

ارسل ملاحظاتك لنا







A Model Transformation Framework to Increase OCL Usability

المصدر: مجلة جامعة الملك سعود - علوم الحاسب والمعلومات
الناشر: جامعة الملك سعود
المؤلف الرئيسي: Salemi, Samin (Author)
مؤلفين آخرين: Penhaker, Marek (Co-Author) , Selamat, Ali (Co-Author)
المجلد/العدد: مج28, ع1
محكمة: نعم
الدولة: السعودية
التاريخ الميلادي: 2016
الصفحات: 13 - 26
DOI: 10.33948/0584-028-001-001
ISSN: 1319-1578
رقم MD: 973765
نوع المحتوى: بحوث ومقالات
اللغة: الإنجليزية
قواعد المعلومات: science
مواضيع:
كلمات المؤلف المفتاحية:
Model Driven Architecture | Model Transformation | OCL Generation | Usability Improvement
رابط المحتوى:
صورة الغلاف QR قانون
حفظ في:
المستخلص: The usability of a modeling language has a direct relationship with several factors of models constructed with the modeling language, such as time required and accuracy. Object Con-straint Language (OCL) is the most prevalent language to document system constraints that are annotated in the Unified Modeling Language (UML). OCL is reputed as a modeling language with difficult syntax, and prior knowledge of OCL is needed to use the language. These obstacles result in the low usability of OCL. Therefore, the current research proposes a model to automatically trans- form system constraints formed in English sentences to OCL specifications. The proposed model is based on the Model-Driven Architecture (MDA) approach. The Linear Temporal Logic (LTL) properties of the proposed model are verified by the Maude model checker. To validate the pro- posed model and compare it with the existing work, the En2OCL (English2OCL) application is developed. This application is tested by three evaluation metrics: precision, recall, and f-measure. The En2OCL application is further compared with the NL2OCLviaSBVR application, which is the existing work on OCL generation from English sentences. The comparison shows a considerable improvement in precision, recall, and f measure.

ISSN: 1319-1578

عناصر مشابهة