Formal Extension of Use Cases for Context-Aware Verification

Amine Raji 1, 2 Philippe Dhaussy 1, 2 Benoît Baudry 3
3 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Context-aware veri cations are e ective techniques for au- tomating software veri cations considering speci c environ- mental conditions. Unfortunately, few existing approaches provide support for this crucial task and mainly rely on sig- ni cant e ort and expertise of the engineer. We previously proposed a DSL (called CDL) to facilitate the formaliza- tion of requirements and contexts. Experiences has shown that the number of CDL models required to precisely for- malize contexts grow rapidly according to the complexity of the system and manually writing CDL models is di cult and error prone task. In this paper, we propose a tool-supported framework that assists engineers in describing system con- texts using eXtended Use Cases (XUC). XUC models con- sistently link use cases with scenarios with respect to the domain speci cation vocabulary of the model to be checked. An industrial case study is presented to illustrate the ef- fectiveness of XUCs to generate correct and complete CDL models for formal model analysis.
Liste complète des métadonnées

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00635555
Contributeur : Annick Billon-Coat <>
Soumis le : mardi 25 octobre 2011 - 15:16:34
Dernière modification le : vendredi 7 décembre 2018 - 01:52:14

Identifiants

  • HAL Id : hal-00635555, version 1

Citation

Amine Raji, Philippe Dhaussy, Benoît Baudry. Formal Extension of Use Cases for Context-Aware Verification. MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand. ⟨hal-00635555⟩

Partager

Métriques

Consultations de la notice

1074