| LEADER |
02405nam a22002537a 4500 |
| 001 |
1716624 |
| 024 |
|
|
|3 10.33948/0584-028-001-001
|
| 041 |
|
|
|a eng
|
| 044 |
|
|
|b السعودية
|
| 100 |
|
|
|9 525085
|a Salemi, Samin
|e Author
|
| 245 |
|
|
|a A Model Transformation Framework to Increase OCL Usability
|
| 260 |
|
|
|b جامعة الملك سعود
|c 2016
|
| 300 |
|
|
|a 13 - 26
|
| 336 |
|
|
|a بحوث ومقالات
|b Article
|
| 520 |
|
|
|b 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.
|
| 653 |
|
|
|a اللسانيات الحاسوبية
|a البرمجة اللغوية
|a التراكيب اللغوية
|
| 692 |
|
|
|b Model Driven Architecture
|b Model Transformation
|b OCL Generation
|b Usability Improvement
|
| 700 |
|
|
|9 525088
|a Penhaker, Marek
|e Co-Author
|
| 700 |
|
|
|9 524794
|a Selamat, Ali
|e Co-Author
|
| 773 |
|
|
|c 001
|e Journal of King Saud University (Computer and Information Sciences)
|f Maǧalaẗ ǧamʼaẗ al-malīk Saud : ùlm al-ḥasib wa al-maʼlumat
|l 001
|m مج28, ع1
|o 0584
|s مجلة جامعة الملك سعود - علوم الحاسب والمعلومات
|v 028
|x 1319-1578
|
| 856 |
|
|
|u 0584-028-001-001.pdf
|
| 930 |
|
|
|d y
|p y
|q n
|
| 995 |
|
|
|a science
|
| 999 |
|
|
|c 973765
|d 973765
|
