11 février 2013
Thomas Polacsek (Onera)Aujourd’hui, face à la massification des échanges, il devient crucial de disposer au sein des Systèmes d’Information de règles qui régissent la diffusion de l’information entre les différents partenaires, c’est-à-dire d’une politique d’échange d’informations. Le but de cette approche est de fournir, dès les phases de conception, un outil qui aide l’utilisateur à définir la politique. Nous proposons donc d’utiliser des solveurs de contraintes pour analyser les propriétés génériques d’une spécification d’une politique d’échange et vérifier si la formalisation de cette politique est conforme aux intuitions. En effet, les erreurs de conception qui ne sont pas détectées avant la phase d’implémentation ne font qu’accroître les coûts de développement et les risques liés à la diffusion non maîtrisée de l’information.