Authors:
Mohamed Osama
1
;
Aya Zaki-Ismail
1
;
Mohamed Abdelrazek
1
;
John Grundy
2
and
Amani Ibrahim
1
Affiliations:
1
Information Technology Institute, Deakin University, 3125 Burwood Hwy, VIC, Australia
;
2
Information Technology Institute, Monash University, 3800 Wellington Rd, VIC, Australia
Keyword(s):
Requirement Representation, Requirement Modeling, Requirement Engineering, Quality Checking.
Abstract:
Requirements engineering is pivotal to the successful development of any given system. The core artifact for such phase is the requirements specification document. Requirements can be specified in informal, semi-formal, and formal notations. The majority of the requirements across many fields and domains are written natural language. However, natural language is inherently ambiguous and imprecise and the requirements cannot be automatically validated. Formal notations on the other hand enable automated testing and validation but is only comprehensible by experts and requires rewriting the requirements. Semi-formal notations strikes a good balance between comprehension and checking for several systems. However, the majority of the existing representation models mandates the requirements to be (re)written to adhere to certain templates. They also do not support automated checking. In this paper, we present SRCM –a semi-formal requirements representation model based on a comprehensive r
equirements capturing model (RCM) that does not enforce much limitations on how the requirements can be written. We also provide an automated approach to construct SRCM from RCM. In addition to providing a unified visualisation of the system entities and relations between the requirements key components, SRCM also enables automated quality checking on the requirements.
(More)