On specifying requirements using a semantically controlled representation

  • Authors:
  • Imran Sarwar Bajwa;M. Asif Naeem

  • Affiliations:
  • School of Computer Science, University of Birmingham, Birmingham, United Kindom;Department of Computer Science, University of Auckland, Auckland, New Zealand

  • Venue:
  • NLDB'11 Proceedings of the 16th international conference on Natural language processing and information systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Requirements are typically specified in natural languages (NL) such as English and then analyzed by analysts and developers to generate formal software design/model. However, English is ambiguous and the requirements specified in English can result in erroneous and absurd software designs. We propose a semantically controlled representation based on SBVR for specifying requirements. The SBVR based controlled representation can not only result in accurate and consistent software models but also machine process able because SBVR has pure mathematical foundation. We also introduce a java based implementation of the presented approach that is a proof of concept.