Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach
Journal Title: Mehran University Research Journal of Engineering and Technology - Year 2017, Vol 36, Issue 2
Abstract
This paper presents an approach used for automated generations of software constraints. In this model, the SBVR (Semantics of Business Vocabulary and Rules) based semi-formal representation is obtained from the syntactic and semantic analysis of a NL (Natural Language) (such as English) sentence. A SBVR representation is easy to translate to other formal languages as SBVR is based on higher-order logic like other formal languages such as OCL (Object Constraint Language). The proposed model endows with a systematic and powerful system of incorporating NL knowledge on the formal languages. A prototype is constructed in Java (an Eclipse plug-in) as a proof of the concept. The performance was tested for a few sample texts taken from existing research thesis reports and books.
Authors and Affiliations
Imran Sarwar Bajwa, Muhammad Anwar Shahzada
Keywords
Related Articles
- EP ID EP182966
- DOI 10.22581/muet1982.1702.04
- Views 151
- Downloads 0
Physical and Psychological Responses in a Data Entry Task
Computerized office work is of concern throughout the world in relation to incidence of WRULDs (Work Related Upper Limb Disorders). Both physical and psychosocial may have an influence, although the task does not involve...
Evaluation of Mesh of Liberation of Zard Koh and Kulli Koh Iron Ores of Pakistan
Liberation size plays a significant role to select a correct and successful concentration method for natural iron ores. This paper aims to evaluate the liberation size of two newly discovered iron ores, namely Zard Koh a...
Mobile Application Testing in Pakistan: A Survey
Research regarding MAT (Mobile Application Testing) in Pakistan is hard to discover and to the best of our knowledge, no work has been done in surveying MAT in Pakistan. In this work, we have examined the current trend a...
A Family of 2n-Point Ternary Non-Stationary Interpolating Subdivision Scheme
This article offers 2n-point ternary non-stationary interpolating subdivision schemes, with the tension parameter, by using Lagrange identities. By choosing the suitable value of tension parameter, we can get different l...
Effective Image Segmentation using Composite Energy Metric in Levelset Based Curve Evolution
The linguistic corpus of Sindhi language is significant for computational linguistics process, machine learning process, language features identification and analysis, semantic and sentiment analysis, information retriev...