%0 Conference Proceedings
%T A High-level Formalism to Elaborate Context for a Context-aware Verification Approach
%+ University of Oran Es-Sénia [Oran]
%+ Lab-STICC_ENSTAB_CACS_MOCS ; IDM
%+ Lab-STICC_ENSTAB_CACS_MOCS
%A Benabbou, Amel
%A Bahloul, Safia Nait
%A Dhaussy, Philippe
%< avec comité de lecture
%B ICIST 2016
%C Barcelone, Spain
%8 2016-03-18
%D 2016
%K context-aware verification
%K model-checking
%K interaction overview diagram
%K Use case
%Z Computer Science [cs]/Computational Complexity [cs.CC]
%Z Computer Science [cs]/Computation and Language [cs.CL]
%Z Computer Science [cs]/Modeling and SimulationConference papers
%X Specification of precise requirement is a key element to realize effectively the model-checking verification. In a context-aware framework, the technique is considered through a set of specific environmental conditions in the form of contexts. A DSL, called CDL, has been proposed to facilitate the specification of requirement by context elaboration. However, it still low-level, error prone, difficult to grasp on complex models and its usability is mitigated. In this paper, we propose a high level formalism of CDL to assist the specification process by describing the system requirements using interaction overview diagrams. The objective is to generate CDL models through such intermediate formalism by orchestrating activity diagrams transformed from informal use cases. Thus, the semantic gap between informal and formal requirements is reduced and engineers are helped towards formal verification.
%G English
%L hal-01298704
%U https://hal.archives-ouvertes.fr/hal-01298704
%~ CNRS
%~ UNIV-BREST
%~ UNIV-UBS
%~ TDS-MACS
%~ INSTITUT-TELECOM
%~ ENIB
%~ LAB-STICC_ENIB
%~ LAB-STICC
%~ ENSTA-BRETAGNE
%~ ENSTA-BRETAGNE-STIC
%~ INSTITUTS-TELECOM