Projets Synthèse Luigi Logrippo Politiques dans les systèmes informatiques Les systèmes informatiques de demain seront réglés de plus en.

Présentation au sujet: "Projets Synthèse Luigi Logrippo Politiques dans les systèmes informatiques Les systèmes informatiques de demain seront réglés de plus en."— Transcription de la présentation:

1 Projets Synthèse Luigi Logrippo luigi@uqo.ca

2 Politiques dans les systèmes informatiques Les systèmes informatiques de demain seront réglés de plus en plus par des politiques d’usager Les politiques seront exprimées dans langages à haut niveau (surtout XML) et déterminerons le comportement du système Malheureusement, les politiques pourront se trouver en contradiction –Erreur involontaire de l’usager Détecter les contradictions en utilisant des moyens de programmation logique (Prolog ou semblables)

3 Exemple 1 Un gestionnaire dit à son ordinateur: –Les mercredis après-midi, je ne veux pas recevoir d’appels  répondeur Puis il oublie ceci et dit: –Si X me téléphone, je veux lui parler tout de suite

4 Exemple 2: confidentialité Personne ne peut avoir mon numéro de carte de crédit Mon épouse peut l’avoir

5 Le problème Il y a des langages d’industrie qui ont été conçus pour spécifier les politiques, surtout dans le domaine de la confidentialité (privacy) –Language E-PAL d’IBM dans le contexte du système TIVOLI Mais rien n’a été fait pour identifier les contradictions

6 À faire Étude de ce qui existe déjà concernant langages de spec politiques –Surtout dans le domaine de la confidentialité Voir ce qui pourrait être fait pour identifier les contradictions de politiques –Programmation Prolog, peut-être autres

7 Cas d’études à identifier… P.ex. loi sur la confidentialité

8 Contrats dans commerce électronique Dans le monde du commerce électronique, nous avons: Agents qui cherchent à acheter des biens selon certaines caractéristiques: –P.ex. une voiture usagée de marque nord-américaine, 4 portes, rouge ou verte, pas plus de 50,000km Et agents qui vendent, qui aussi proposent des caractéristiques Comment déterminer s’il y a correspondance, pour le signaler à la personne qui prendra la décision

9 Il faut avoir: Un programme général, qui établit les règles de correspondance Des structures de données particulières à chaque domaine de commerce: –Dans le cas de voitures, structures de données qui disent que Ford est une voiture nord-américaine, etc. –Dans le cas de produit pharmaceutiques, structures qui disent que l’Advil est un analgésique, etc.