Encoding of the contract language CL into the Grammatical Framework (GF)

Abstract

Consistent requirement adoption is important in almost all of the software engineering projects. The demand of conflict free requirements, requires a way to manage requirements in more reliable way which means to detect conflict formally. In this paper, we describe the foundation and implementation of a tool that enables the requirements written in natural language (English) to be represented in a formal language (CL). This in effect enhances the possibility to apply CLAN (a tool which analyzes requirements or contracts written in CL) for analysis. We have also applied our approach to a case study where the findings show correct detection of conflicts in requirements.