Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach

  • Imran Sarwar Bajwa Department of Computer Science, The Islamia University of Bahawalpur, Bahawalpur.
  • Muhammad Anwar Shahzada Department of Computer Science, National College of Business Administration and Economics, Lahore
DOI: https://doi.org/10.22581/muet1982.1702.04

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.

Published
Apr 1, 2017
How to Cite
BAJWA, Imran Sarwar; SHAHZADA, Muhammad Anwar. Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach. Mehran University Research Journal of Engineering and Technology, [S.l.], v. 36, n. 2, p. 243-254, apr. 2017. ISSN 2413-7219. Available at: <https://publications.muet.edu.pk/index.php/muetrj/article/view/306>. Date accessed: 16 apr. 2024. doi: http://dx.doi.org/10.22581/muet1982.1702.04.
Citation Formats
Issue
Vol 36 No 2 (2017): April Issue
Section
Articles
This is an open Access Article published by Mehran University of Engineering and Technolgy, Jamshoro under CCBY 4.0 International License