A model transformation framework to increase OCL usability

Journal of King Saud University: Computer and Information Sciences

Marek Penhaker¹  Ali Selamat²  Samin Salemi² 

[1] Faculty of Electrical Engineering and Computer Science, VSB Technical University of Ostrava, Czech Republic;UTM-IRDA Digital Media Centre and Faculty of Computing, Universiti Teknologi Malaysia, 81310 UTM Skudai, Johor, Malaysia;

关键词: Model-Driven Architecture;    Model transformation;    OCL generation;    Usability improvement;   

DOI  :  10.1016/j.jksuci.2015.04.002

来源: DOAJ

【 摘 要 】

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 Constraint 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 transform 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 proposed 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.

【 授权许可】

Unknown