Skip to Main content Skip to Navigation
Conference papers

A High-level Formalism to Elaborate Context for a Context-aware Verification Approach

Amel Benabbou 1, 2 Safia Nait Bahloul 1 Philippe Dhaussy 2
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
Abstract : 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.
Complete list of metadata
Contributor : Annick Billon-Coat <>
Submitted on : Wednesday, April 6, 2016 - 2:57:20 PM
Last modification on : Wednesday, April 21, 2021 - 10:24:05 AM


  • HAL Id : hal-01298704, version 1


Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Formalism to Elaborate Context for a Context-aware Verification Approach. ICIST 2016, Mar 2016, Barcelone, Spain. ⟨hal-01298704⟩



Record views