Semantic analysis of software constraints

I.S. Bajwa, M. Lee, B. Bordbar

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Abstract

In this paper, we present a novel approach NL2OCL to translate English specification of constraints to formal constraints such as OCL (Object Constraint language). In the used approach, input English constraints are syntactically and semantically analyzed to generate a SBVR (Semantics of Business Vocabulary and Rules) based logical representation that is finally mapped to OCL. During the syntactic and semantic analysis we have also addressed various syntactic and semantic ambiguities that make the presented approach robust. The presented approach is implemented in Java as a proof of concept. A case study has also been solved by using our tool to evaluate the accuracy of the presented approach. The results of evaluation are also compared to the pattern based approach to highlight the significance of the used approach.
Original languageEnglish
Title of host publicationProceedings of the 25th International Florida Artificial Intelligence Research Society Conference, FLAIRS-25
Pages8-13
Number of pages6
Publication statusPublished - 1 Jan 2012

Fingerprint

Dive into the research topics of 'Semantic analysis of software constraints'. Together they form a unique fingerprint.

Cite this