A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

Matthias Barkowski (1) , Melanie Schneider (2) , Holger Giese (2) , Johannes Dyck (2) , Dalila Tamzalit (2) , Dominique Blouin (1) , Etienne Borde (3, 4) , Joost Noppen (5)

1 Hasso Plattner Institute [Potsdam, Germany]
2 LS2N - Laboratoire des Sciences du Numérique de Nantes
3 ACES - Autonomic and Critical Embedded Systems
4 INFRES - Département Informatique et Réseaux
5 School of Computing Sciences, (Norwich)

Requirements and architecture specifications are strongly related as the second provides a solution to a problem stated by the first. This coupling is typically realized by traceability links and maintaining such links becomes extremely difficult as both requirements and architecture specifications frequently evolve, and in particular when the architecture is refined providing an increasing level of details. In such case, not only the traceability must evolve but the requirements must be refined as well. We present a novel semi-automated approach to evolve non-functional requirements and their traceability links following system's architecture refinement in the context of design space exploration and automated code generation. The approach has been prototyped for AADL models refined with the RAMSES tool and for model transformations implemented as Story Diagrams.

Domaines: Génie logiciel [cs.SE]

Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Dalila Tamzalit, et al.. A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩. ⟨hal-01873945⟩