Action : AID - Vérification statique d'un système d'informations.

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00043000000000000000" id= "SECTION00043000000000000000">Vérification statique d'un système d'informations.</a></h2>  <a name="AID_domaine_verificationstatique" id= "AID_domaine_verificationstatique"></a> <a name="d-site" id= "d-site"></a> <p><strong>Mots clés :</strong> <i>sémantique formelle, sémantique naturelle, contraintes globales, spécifications, vérification statique .</i></p> <p>Avec le développement fulgurant de l'Internet et l'utilisation de ses standards comme mode de diffusion et de représentation de données, la conception des sites Web devient une activité de plus en plus importante. Or, si les outils qui existent actuellement permettent de structurer syntaxiquement l'information, il n'y a pas à l'heure actuelle d'outils de vérification de la cohérence sémantique de cette information.</p> <p>La notion de vérification sémantique est fondamentale, car c'est elle qui peut assurer la qualité et la cohérence d'un site à travers le temps en particulier lors des mises à jour et des refontes des sites. Cette vérification passe par une phase déclarative dans laquelle des règles globales sont données. Ces règles permettent par la suite de s'assurer que, quand un site est modifié, il vérifie toujours les règles imposées.</p> <p>Le besoin de cohérence ne concerne pas uniquement le contenu des systèmes d'informations mais aussi les diverses méta-données qui peuvent lui être attachées. On peut considérer que le fait de présenter une même information sous différentes formes (à destination humaine pour le contenu et à destination machine pour certaines annotations) ne fait qu'augmenter le risque d'incohérence, et que donc des méthodes de contrôle de la cohérence doivent être développées.</p> <hr /> </body>