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

International audienceLa 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