Show simple item record

dc.contributor.authorSalemi, Samin
dc.contributor.authorSelamat, Ali
dc.contributor.authorPenhaker, Marek
dc.date.accessioned2017-07-18T09:45:25Z
dc.date.available2017-07-18T09:45:25Z
dc.date.issued2016
dc.identifier.citationJournal of King Saud University - Computer and Information Sciences. 2016, vol. 28, issue 1, p. 13-26.cs
dc.identifier.issn1319-1578
dc.identifier.issn2213-1248
dc.identifier.urihttp://hdl.handle.net/10084/117183
dc.description.abstractThe 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.cs
dc.format.extent2008609 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoencs
dc.publisherElseviercs
dc.relation.ispartofseriesJournal of King Saud University - Computer and Information Sciencescs
dc.relation.urihttp://dx.doi.org/10.1016/j.jksuci.2015.04.002cs
dc.rights© 2015 The Authors. Production and hosting by Elsevier B.V. on behalf of King Saud University. This is an open access article under the CC BY-NC-ND license.cs
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/cs
dc.subjectModel-Driven Architecturecs
dc.subjectmodel transformationcs
dc.subjectOCL generationcs
dc.subjectusability improvementcs
dc.titleA model transformation framework to increase OCL usabilitycs
dc.typearticlecs
dc.identifier.doi10.1016/j.jksuci.2015.04.002
dc.rights.accessopenAccess
dc.type.versionpublishedVersioncs
dc.type.statusPeer-reviewedcs
dc.description.sourceWeb of Sciencecs
dc.description.volume28cs
dc.description.issue1cs
dc.description.lastpage26cs
dc.description.firstpage13cs
dc.identifier.wos000404230800003


Files in this item

This item appears in the following Collection(s)

Show simple item record

© 2015 The Authors. Production and hosting by Elsevier B.V. on behalf of King Saud University. This is an open access article under the CC BY-NC-ND license.
Except where otherwise noted, this item's license is described as © 2015 The Authors. Production and hosting by Elsevier B.V. on behalf of King Saud University. This is an open access article under the CC BY-NC-ND license.