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

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
Contributeur : Annick Billon-Coat <>
Soumis le : mardi 25 octobre 2011 - 15:16:34
Dernière modification le : jeudi 7 janvier 2021 - 16:27:06


  • HAL Id : hal-00635555, version 1


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⟩



Consultations de la notice