Requirements Specific Modeling Language : un langage formel d'expression d'exigences - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Requirements Specific Modeling Language: a formal requirements language

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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01815467 , version 1

Cite

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 View
179 Download

Share

Gmail Facebook X LinkedIn More