Requirements Specific Modeling Language : un langage formel d'expression d'exigences - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Requirements Specific Modeling Language: a formal requirements language

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

Résumé

La traçabilité et l'intégration des exigences au court du cycle de vie d'un système infor-matique est un enjeu majeur de l'ingénierie des exigences. En effet, cela permet de s'assurer que le système réponde bien aux attentes du client. Si les méthodes formelles permettent de prouver de telles propriétés, elles restent peu appliquées dans le cas des systèmes non-critiques, et de nombreux acteurs préfèrent exprimer les exigences en langue naturelle. Nous proposons un langage dédié à l'expression des exigences : RSML. Ce paradigme, situé dans une approche sans rupture, fournit un cadre contraint pour l'expression des exigences, basé sur une formalisation en Eiffel. Cela permet d'exprimer les exigences d'un système dans un langage proche de la langue naturelle, tout en permettant de prouver formellement la validité de ce système au regard de ces exigences. Abstract Traceability and integration of requirements during the lifecycle of systems is a major challenge in requirements engineering. This lead to ensure that the system is the " good system". Formal methods can be used to prove such properties, however, they are rarely applied in non-critical systems, and many actors prefer to express requirements in natural language. We propose a requirements specific language: RSML. This language, situated in a seamless approach, provides a constrained grammar for the expression of requirements, and semantically defined in Eiffel. This leads to express system requirements in a language close to the natural language, while making possible to prove formally the validity of this system with regard to these requirements.
Fichier principal
Vignette du fichier
2018-CIEL_GDR_GPL.pdf (642.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01815467 , version 1 (14-06-2018)

Identifiants

  • HAL Id : hal-01815467 , version 1

Citer

Florian Galinier, Sophie Ebersold, Jean-Michel Bruel. Requirements Specific Modeling Language : un langage formel d'expression d'exigences. Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. ⟨hal-01815467⟩
139 Consultations
179 Téléchargements

Partager

Gmail Facebook X LinkedIn More