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

La tracabilite et l'integration des exigences au court du cycle de vie d'un systeme infor-matique est un enjeu majeur de l'ingenierie des exigences. En effet, cela permet de s'assurer que le systeme reponde bien aux attentes du client. Si les methodes formelles permettent de prouver de telles proprietes, elles restent peu appliquees dans le cas des systemes non-critiques, et de nombreux acteurs preferent exprimer les exigences en langue naturelle. Nous proposons un langage dedie a l'expression des exigences : RSML. Ce paradigme, situe dans une approche sans rupture, fournit un cadre contraint pour l'expression des exigences, base sur une formalisation en Eiffel. Cela permet d'exprimer les exigences d'un systeme dans un langage proche de la langue naturelle, tout en permettant de prouver formellement la validite de ce systeme 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.