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 152
- Downloads 0
Comparison of Gain Measurement Techniques for Characterization of Quantum Dot Lasers
This paper presents a comparative analysis of three gain measurement methods which are H&P (Hakki & Paoli), SC (Segmented-Contact) and IA (Integrated-Amplifier) for the gain characterization of 1300nm (O-band) InAs/GaAs...
Impact of Rising Groundwater on Sustainable Irrigated Agriculture in the Command Area of Gadeji Minor,Sindh, Pakistan
A study has been conducted in the command area of Gadeji minor, Sindh, Pakistan to compute the amount of net groundwater recharge and its effect on sustainable irrigated agriculture. In this connection, Water budget equa...
Augmentation of Fatigue and Tensile Strength of AA-6061 Processed through Equal Channel Angular Pressing
ECAP (Equal Channel Angular Pressing) is a technique used to enhance the strength of material by grain refinement. In this research, an aerospace grade aluminum alloy-6061 is investigated. The specimens were pressed thro...
Improved Cooperation in Underwater Wireless Sensor Networks
The WSNs (Wireless Sensor Networks) lead to great opportunities to explore it scientifically. In this network different numbers of SN (Sensor Nodes) are deployed in a specific area to gather information. The UWSNs (Under...
Estimation of Energy Potential from Organic Fractions of Municipal Solid Waste by Using Empirical Models at Hyderabad, Pakistan.
MSW (Municipal Solid Waste) now-a-day is considered as a precious renewable energy resource for various purposes. In view of above fact, one hundred samples of MSW were collected from different locations of study area. Q...