Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

An Automated Transformation Approach for Requirement Specification

Amel Benabbou 1 Safia Nait Bahloul 1 Philippe Dhaussy 2
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées
Contributeur : Marie Briec <>
Soumis le : jeudi 30 août 2018 - 15:03:24
Dernière modification le : mercredi 24 juin 2020 - 16:19:52


  • 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⟩



Consultations de la notice