Vérification et validation des modèles : une approche pour la Modélisation d'Entreprise
Résumé
Un modèle est une représentation simplificatrice, et donc nécessairement peu fidèle, d'un aspect d'un système vu sous un certain angle. Cette représentation est faite en utilisant des hypothèses et des postulats de base mis en œuvre dans un langage de modélisation adapté au type de système, à son environnement, aux objectifs de l'usage qui en sera ensuite fait , etc. Outre ses capacités à faciliter la compréhension de ce système, le modèle permet aussi d'améliorer la communication et l'échange avec d'autres acteurs concernés eux-mêmes par ce système et de prendre, voire d'argumenter, un certain nombre de décisions en vue d'actions à mener sur celui-ci. Il faut donc être capable de s'assurer de la pertinence, de la complétude, de la cohérence, en somme d'un certain nombre de propriétés que ce modèle doit posséder avant de l'utiliser en limitant le plus possible les impacts que tout ‘mauvais' modèle pourrait entraîner et le risque encouru par les utilisateurs de ce modèle. Il peut s'agir dans un premier temps d'une phase de vérification dont le but est d'apporter selon [ISO 8402] la confirmation par examen et apport de preuves tangibles (informations dont la véracité peut être démontrée, fondée sur des faits et obtenues par observation, mesurage, essai ou autre moyen) que les exigences spécifiées ont été satisfaites. Il peut ensuite être nécessaire de s'assurer que le système visé est fidèlement représenté (avec un niveau de détail et une richesse suffisants en tenant compte des hypothèses de modélisation : points de vue, perspectives d'analyse, hypothèses temporelles d'évolution, etc.) et des limitations imposées par le langage de modélisation employé. Il s'agit alors de validation qui se définit comme la [ISO 8402] confirmation par examen et apport de preuves tangibles que les exigences particulières pour un usage spécifique prévu sont satisfaites ou encore, comme le fait remarquer [NF L 00 007B] un acte par lequel le réalisateur d'un produit ou d'un procédé le reconnaît capable de satisfaire le besoin pour lequel il a été défini, après l'avoir vérifié en général par le suivi de sa première utilisation. Ces activités de vérification et de validation, dont la nécessité est maintenant reconnue, sont usuellement basées sur l'interprétation, le raisonnement plus ou moins formel ou encore l'expertise soit sur le modèle lui-même, soit sur des résultats issus de l'exécution (à la base d'une simulation ou d'une émulation) de ce même modèle. Le but de cette communication est de présenter une démarche de travail aidant l'utilisateur durant les phases de vérification et, dans une certaine mesure, de validation du modèle d'un système avant son utilisation à des fins décisionnelles.