Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.

Erwan Brottier 1, 2
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We focus in this PhD on the definition of an industrial platform promoting a better integration of techniques for requirements verification and validation within software development processes. This platform called R2A (which stands for Requirements for Analysis) is entirely built using technologies from model-driven engineering. The core of the platform is a model composition process working at two modeling levels. At the instance-level, it produces a global specification of requirements from a collection of partial, heterogeneous and potentially inconsistent specifications. At the design level (so-called meta-level), it produces the internal formalism of the platform (types of information that can be captured and supported features) from design components which embedd operational, compositional and deployment semantics. As such, this process promotes the adaptability of the platform to various industrial contexts. Obtaining a global specification of requirements (i) allows the application of modern techniques of verification and validation in order to detect inconsistencies and (ii) promotes a model-driven development approach (MDD) from the early stages of software development (synchronization between requirements and downstream development artifacts). The current version of the R2A platform is specialized for the industrial context of France Télécom. It supports four requirements description languages: UML activity diagrams, UML class diagrams, a constrained natural language (the RDL, which stands for Requirements Description Language) and the internal formalism (the RM, which stands for Requirements Metamodel). The main features are (i) the generation of system test objectives, (ii) the production of a first analysis model and (iii) requirements consistency checking.
keyword : exigences MDA IDM
Document type :
Theses
Complete list of metadatas

Cited literature [69 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00512174
Contributor : Loïc Lesage <>
Submitted on : Friday, August 27, 2010 - 4:27:03 PM
Last modification on : Friday, November 16, 2018 - 1:30:32 AM
Long-term archiving on : Monday, November 29, 2010 - 12:13:05 PM

Identifiers

  • HAL Id : tel-00512174, version 1

Citation

Erwan Brottier. Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.. Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨tel-00512174⟩

Share

Metrics

Record views

633

Files downloads

2924