Title :
Requirement traceability: A model-based approach
Author :
Badreddin, Omar ; Sturm, Arnon ; Lethbridge, Timothy C.
Author_Institution :
Northern Arizona Univ., Flagstaff, AZ, USA
Abstract :
Requirements tractability remains challenging, particularly in the prevalence of code centric approaches. Similarly, within the emerging model centric paradigm, requirements traceability is addressed only to a limited extent. To facilitate such traceability, we call for representing requirements as first class entities in the emerging paradigm of model-oriented programming. This has the objective of enabling software developers, modelers, and business analysts to manipulate requirements entities as textual model and code elements. To illustrate the feasibility of such an approach, we propose a Requirement-Oriented Modeling and Programming Language (ROMPL) that demonstrates how modeling abstractions can be utilized to manage the behavior and relationships of key requirements entities.
Keywords :
formal verification; object-oriented programming; ROMPL; code centric approach; code element; model-oriented programming; programming language; requirement traceability; requirement-oriented modeling; textual model; Business; Computational modeling; Object oriented modeling; Software; Syntactics; Unified modeling language; Action languages; Domain Specific Language; MDA; Modeling; Requirements;
Conference_Titel :
Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International
Conference_Location :
Karlskrona
DOI :
10.1109/MoDRE.2014.6890829