Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Context-aware approach for formal verification

Amel Benabbou 1, 2 Safia Nait Bahloul 2 Dhaussy Philippe 1, 3
1 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 : The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts. In this area, specifying precise requirement is a challenged task for engineer since often environmental conditions lack of precision. A DSL, called CDL, has been proposed to facilitate the specification of requirement and context. However, such language is still low-level and error prone, difficult to grasp on complex models and assessment about its usability is still mitigated. In this paper, we propose a high level formalism of CDL to facilitate specifying contexts based on interaction overview diagrams that orchestrate activity diagrams automatically transformed from textual use cases. Our approach highlights the boundaries between the system and its environment. It is qualified as model-checking context-aware that aims to reduce the semantic gap between informal and formal requirements, hence the objective is to assist and encourage engineers to put sufficient details to accomplish effectively the specification process.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01298623
Contributeur : Annick Billon-Coat <>
Soumis le : mercredi 6 avril 2016 - 12:15:08
Dernière modification le : mercredi 24 juin 2020 - 16:19:35

Lien texte intégral

Identifiants

Citation

Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe. Context-aware approach for formal verification. EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩. ⟨hal-01298623⟩

Partager

Métriques

Consultations de la notice

601