%0 Conference Paper
%F Oral 
%T An Automated Transformation Approach for Requirement Specification
%+ University of Oran Es-Senia [Oran] | Université d'Oran Es-Senia [Oran]
%+ Lab-STICC_ENSTAB_ CACS_MOCS
%A Benabbou, Amel
%A Bahloul, Safia Nait
%A Dhaussy, Philippe
%< avec comité de lecture
%B Conf ITQM’16
%C Séoul, South Korea
%8 2016-08-16
%D 2016
%Z Computer Science [cs]/Cryptography and Security [cs.CR]
%Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers
%X 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.
%G English
%L hal-01864825
%U https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01864825
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ LAB-STICC
%~ INSTITUTS-TELECOM