A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming

Model-Driven Development (MDD) is a widely adopted approach to Requirement Engineering (RE). One basic research issue in Model-Driven Requirement Engineering (MODRE) is requirements validation, which focuses on how to validate whether the requirements models meet stakeholders' needs or not. Several lines of work have been performed on the transformation between feature configurations, which are responsible for specifying a software in feature-oriented approach, and use cases, which are easy to understand and often used to describe system behaviors to stakeholders. However, most of the existing automated derivation methods about feature configurations and use cases are either in one direction or the other. Therefore, after validating the use cases, the adjustment made by stakeholders cannot be traced back to feature configurations automatically. In this paper, we focus on synchronization between these two vital software artifacts. And we propose a framework that uses putback-based bidirectional programming to guarantee the correctness of this synchronization.