Formal Extension of Use Cases for Context-Aware Verification

Amine Raji 1, 2 Philippe Dhaussy 1, 2 Benoît Baudry 3
1 LISYC - Laboratoire d'Informatique des Systèmes Complexes
2 STIC - Pôle STIC [Brest]
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.
Keywords : constrained natural language Formal veri cations Context-aware property patterns use cases requirement engineering constrained natural language.
Type de document :
Communication dans un congrès
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

Collections

ENSTA-BRETAGNE | INRIA | UNIV-RENNES1 | IRISA | UNIV-BREST | ENSTA-BRETAGNE-STIC | ENIB | IRISA-D4 | TDS-MACS | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE

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⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

1074

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD