An Automated Transformation Approach for Requirement Specification - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

An Automated Transformation Approach for Requirement Specification


Use cases are often useful in capturing requirements by defining goal-oriented set of interactions between the system and its environment. Formalization of precise requirement is then important for context-aware verification based on use cases scenarios in the form of contexts. In this paper, we propose a high-level formalism for expressing requirements based on interaction overview diagrams that orchestrate activity diagrams automatically transformed from textual use cases. Our approach is qualified as context-aware model-checking, it supposes the availability of a model of the system as concurrent communicating automata and a specification language for describing requirements. Specification of requirements is performed through transformation phases to generate intermediate artefacts able to reduce the semantic gap between informal and informal requirement. The transformation is based on meta-models implemented on Ecore environment, algorithm and rules are defined using QVT Relational language, and primarily illustrated on an academic example.
Fichier non déposé

Dates et versions

hal-01864825 , version 1 (30-08-2018)


  • HAL Id : hal-01864825 , version 1


Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification. Conf ITQM’16, Aug 2016, Séoul, South Korea. ⟨hal-01864825⟩
97 Consultations
0 Téléchargements


Gmail Facebook X LinkedIn More