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

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

Amel Benabbou 1, 2, 3 Safia Nait Bahloul 1 Philippe Dhaussy 2, 3
2 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 Lab-STICC_ENSTAB_CACS_MOCS
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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01298704
Contributeur : Annick Billon-Coat <>
Soumis le : mercredi 6 avril 2016 - 14:57:20
Dernière modification le : mercredi 24 juin 2020 - 16:19:35

Identifiants

  • HAL Id : hal-01298704, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

379