Projets Synth

1
Projets Synthèse

• Luigi Logrippo
• luigi_at_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
  dusager
• 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 lusager
• 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
  dappels ? 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 lavoir

5
Le problème

• Il y a des langages dindustrie qui ont été
  conçus pour spécifier les politiques, surtout
  dans le domaine de la confidentialité (privacy)
• Language E-PAL dIBM dans le contexte du système
  TIVOLI
• Mais rien na é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
• Ou (mieux) Alloy

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 sil 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 lAdvil est un
  analgésique, etc.

10
Système Alloy

• Conçu chez MIT
• Pour résoudre des problèmes logiques