 |
Méthode de vérification des exigences pour l'ingénierie système à partir d'une représentation logique du système modélisé en RDF.
1 : Laboratoire d'automatique et de mécanique industrielles et humaines
(LAMIH)
-
Site web
CNRS : UMR8530, Université de Valenciennes et du Hainaut-Cambrésis
LE MONT HOUY 59313 VALENCIENNES CEDEX 9 -
France
2 : Arts et Métiers Paristech, Paris
(ENSAM)
Arts et Métiers ParisTech
L'ingénierie des exigences est souvent considérée comme le processus de départ du cycle de vie du produit, qui débuterait par l'expression des besoins des utilisateurs, et qui vise à en tirer un ensemble cohérent de spécifications.
Les exigences portent par nature sur un système à concevoir, pour les définir il est donc nécessaire de disposer d'informations sur le système avant même sa conception. Il est également important de les capitaliser pour la gestion du cycle de vie étendu.
Cet article propose un cadre de modélisation d'une telle base de connaissance construite dans le paradigme RDF (Resource Description Framework) autour des concepts qui définissent les exigences, et le système sur lesquelles elles portent.
