Perspectives Multiples, les spécifications informatiques

• Introduction: conflits, négociation et perspectives multiplesIntroduction: conflits, négociation et perspectives multiples

• Spécifications pour les perspectives multiplesSpécifications pour les perspectives multiples

• L’aide à la négociationL’aide à la négociation

• OutilsOutils

• Conclusion, qu’est-ce qui nous intéresses?Conclusion, qu’est-ce qui nous intéresses?

Introduction

Cette thèse vise à présenter un modèle de comparaison de Cette thèse vise à présenter un modèle de comparaison de perspectives multiples sur un processus de construction de perspectives multiples sur un processus de construction de spécification informatiques.spécification informatiques.

Les notions de conflit et de négociation sont abordés selon Les notions de conflit et de négociation sont abordés selon une acception encore très contrainte.une acception encore très contrainte.

Les éléments présentés annoncent des travaux postérieures Les éléments présentés annoncent des travaux postérieures dans lesquels ces notions sont élargies.dans lesquels ces notions sont élargies.

IntroductionPerspectives

• Une perspective est un ensemble de connaissances consistant (au Une perspective est un ensemble de connaissances consistant (au sens logique).sens logique).

• Chaque perspective doit avoir un focus identifié, c ’est à dire un Chaque perspective doit avoir un focus identifié, c ’est à dire un ensemble de «  motivations  » en ce qui concerne les spécifications ensemble de «  motivations  » en ce qui concerne les spécifications qu ’elle représente.qu ’elle représente.

• Les perspectives sont donc des ensembles de connaissances Les perspectives sont donc des ensembles de connaissances représentant des spécifications dont la description est justifiée par un représentant des spécifications dont la description est justifiée par un ensemble de motivations.ensemble de motivations.

IntroductionConflits

• Un conflit entre deux perspectives est donc un désaccord se Un conflit entre deux perspectives est donc un désaccord se traduisant ou non par une inconsistance logique entre deux traduisant ou non par une inconsistance logique entre deux ensembles de connaissances.ensembles de connaissances.

• Le cadre des spécifications informatiques justifie d’utiliser cette Le cadre des spécifications informatiques justifie d’utiliser cette définition de conflit puisqu ’un programme doit rester consistant définition de conflit puisqu ’un programme doit rester consistant logiquement.logiquement.

• Dans un cadre plus classique, cette inconsistance indique une Dans un cadre plus classique, cette inconsistance indique une différence de perspective (de vue).différence de perspective (de vue).

• Le concept de conflit a été approfondit par la suite Le concept de conflit a été approfondit par la suite [Easterbrook,93][Easterbrook,93]

IntroductionNégociation

• Les méthodes qui évitent les conflits ne permettent pas de les Les méthodes qui évitent les conflits ne permettent pas de les explorer alors qu ’ils sont potentiellement féconds.explorer alors qu ’ils sont potentiellement féconds.

• La négociation est ici l ’activité de conception (et de décision) des La négociation est ici l ’activité de conception (et de décision) des spécifications accompagnée d ’une explicitation des conflits.spécifications accompagnée d ’une explicitation des conflits.

• Le modèle présenté a donc pour but de permettre à la fois Le modèle présenté a donc pour but de permettre à la fois d ’avancer dans la tâche et d ’expliciter les conflits.d ’avancer dans la tâche et d ’expliciter les conflits.

• Des travaux ultérieures visent à construire des évaluations Des travaux ultérieures visent à construire des évaluations permettant d ’expliciter des conflits plus fins.permettant d ’expliciter des conflits plus fins.

Spécifications pour les perspectives multiplesSpécifications pour les perspectives multiplesConcepts clés:Concepts clés:

• Perspectives et point de vue:Perspectives et point de vue:

La perspective est décrite comme l’ensemble des connaissances La perspective est décrite comme l’ensemble des connaissances pertinentes pour un acteur, tandis qu’un point de vue est une pertinentes pour un acteur, tandis qu’un point de vue est une représentation (description) de cet ensemble de connaissance. Un représentation (description) de cet ensemble de connaissance. Un exemple de point de vue est alors un diagramme UML, c’est une exemple de point de vue est alors un diagramme UML, c’est une description partielle d’une perspective.description partielle d’une perspective.

• Conversation:Conversation:

Le processus de spécification est vu comme un processus Le processus de spécification est vu comme un processus conversationnel. Les inconsistances, vues comme des ambiguïtés, conversationnel. Les inconsistances, vues comme des ambiguïtés, peuvent ne pas être résolues immédiatement. Un tel système doit peuvent ne pas être résolues immédiatement. Un tel système doit donc permettre et encourager l’échange de représentations donc permettre et encourager l’échange de représentations potentiellement inconsistantes entre elles.potentiellement inconsistantes entre elles.

Spécifications pour les perspectives multiplesSpécifications pour les perspectives multiplesConcepts clésConcepts clés

• ReprésentationsReprésentations

Un tel système doit permettre de réutiliser n’importe quel schéma de Un tel système doit permettre de réutiliser n’importe quel schéma de représentation habituel. En pratique on peut considérer que cette représentation habituel. En pratique on peut considérer que cette spécification impose un système trop général pour une comparaison spécification impose un système trop général pour une comparaison efficace des perspectives … La question des schéma de efficace des perspectives … La question des schéma de représentation doit sans doute être étudiée au coup par coup.représentation doit sans doute être étudiée au coup par coup.

• ÉvolutionÉvolution

L’évolution du système se fait par l’introduction de nouvelles L’évolution du système se fait par l’introduction de nouvelles perspectives et par la modification des perspectives existantes.perspectives et par la modification des perspectives existantes.

Les résultats des comparaisons entre points de vue forment un Les résultats des comparaisons entre points de vue forment un ensemble à part, jusqu’à ce que des décisions soient prises.ensemble à part, jusqu’à ce que des décisions soient prises.

L’aide à la négociationL’aide à la négociation

Modèle de résolution de conflit:Modèle de résolution de conflit:

• Détection d’un conflitDétection d’un conflit

• Phase exploratoirePhase exploratoire

Cette phase vise une meilleur définition des conflits.Cette phase vise une meilleur définition des conflits.

• Phase de construction des solutionsPhase de construction des solutions

Cette phase vise à générer des résolutions possibles.Cette phase vise à générer des résolutions possibles.

• Phase d’évaluationPhase d’évaluation

Cette phase vise à relier les solutions aux éléments explicités Cette phase vise à relier les solutions aux éléments explicités dans la phase exploratoire et à évaluer lesquelles résolvent le mieux dans la phase exploratoire et à évaluer lesquelles résolvent le mieux les questions conflictuelles identifiées.les questions conflictuelles identifiées.

Point de vue A+B+C+D+E

Point de vue A

Point de vue B

Point de vue C

Point de vue D

Point de vue E

Point de vue A+B+C+D+E-F1

Point de vue A+B+C+D+E-F2

Point de vue

consistant1

Point de vue

consistant2

Point de vue

consistant3

A+B+C+D+E n’est pas consistant (F1 et F2 ne A+B+C+D+E n’est pas consistant (F1 et F2 ne sont pas consistants)sont pas consistants)

Par itérations successives, construits des points de Par itérations successives, construits des points de vue consistants.vue consistants.

L’aide à la négociationL’aide à la négociationDétection d’un conflitDétection d’un conflit

Un conflit est ici « differences that matter », c’est à dire que l’on va Un conflit est ici « differences that matter », c’est à dire que l’on va rechercher les différences (quelles qu’elles soient) si:rechercher les différences (quelles qu’elles soient) si:

• Les points de vue doivent être comparés …Les points de vue doivent être comparés …

• Il est nécessaire de raisonner à partir des connaissances issues de Il est nécessaire de raisonner à partir des connaissances issues de différents points de vue.différents points de vue.

• L’émetteur du point de vue insiste sur le fait que celui-ci est L’émetteur du point de vue insiste sur le fait que celui-ci est « meilleur » que les autres.« meilleur » que les autres.

• Quand une description cohérente (et unique) est nécessaire pour la Quand une description cohérente (et unique) est nécessaire pour la suite du processus.suite du processus.

L’aide à la négociationL’aide à la négociationPhase exploratoirePhase exploratoire

Établir les correspondances:Établir les correspondances:

• Le processus commence avec les deux formulation en conflitsLe processus commence avec les deux formulation en conflits

• Sont reliées aux conflit toute formulation reliée à ces formulations, Sont reliées aux conflit toute formulation reliée à ces formulations, c’est à dire toute formulation exprimant une connaissance au sujet d’un c’est à dire toute formulation exprimant une connaissance au sujet d’un élément de ces formulationsélément de ces formulations

Identifier les questions conflictuelles:Identifier les questions conflictuelles:

L’utilisateur peut attacher des annotations aux objets en conflit :L’utilisateur peut attacher des annotations aux objets en conflit :

Les commentairesLes commentaires, , les suppositionsles suppositions qui indiquent des sous-entendus, qui indiquent des sous-entendus, les problèmesles problèmes qui doivent être abordés, qui doivent être abordés, les justificationsles justifications qui précisent qui précisent un élément en réponse à des commentaires et des suppositionsun élément en réponse à des commentaires et des suppositions

L’aide à la négociationL’aide à la négociationPhase exploratoirePhase exploratoire

S’accorder sur un critère pour la résolution:S’accorder sur un critère pour la résolution:

• Les critères candidats pour la résolution sont les motivations Les critères candidats pour la résolution sont les motivations attachées aux perspectives.attachées aux perspectives.

• Si deux critères ne sont pas antinomiques, la question est Si deux critères ne sont pas antinomiques, la question est d’ordonner ces critères.d’ordonner ces critères.

• Sinon, ce conflit est ajouté à la liste des conflits.Sinon, ce conflit est ajouté à la liste des conflits.

La phase exploratoire fournit « de la connaissance » La phase exploratoire fournit « de la connaissance »

sur les conflits, une « carte » des conflits.sur les conflits, une « carte » des conflits.

L’aide à la négociationL’aide à la négociation Phase de construction des solutionsPhase de construction des solutions

Les types de conflits:Les types de conflits:

• Conflits d’interprétation (comment les choses sont)Conflits d’interprétation (comment les choses sont)

• Conflits de conception (comment les choses devraient être)Conflits de conception (comment les choses devraient être)

• Conflits de terminologie (par quoi les choses doivent être décrites)Conflits de terminologie (par quoi les choses doivent être décrites)

L’aide à la négociationL’aide à la négociation Phase de construction des solutionsPhase de construction des solutions

Générer les solutions possibles:Générer les solutions possibles:

• Les solutions sont générées différemment en Les solutions sont générées différemment en fonction du type de conflit détecté.fonction du type de conflit détecté.

• Le modèle en lui même ne fournit pas de Le modèle en lui même ne fournit pas de méthode. méthode.

L’aide à la négociationL’aide à la négociation Phase de construction des solutionsPhase de construction des solutions

L’aide à la négociationL’aide à la négociationPhase d’évaluationPhase d’évaluation

Relier les solutions aux questions conflictuelles:Relier les solutions aux questions conflictuelles:

• Exhaustivement, regarder chaque solution possible et sélectionner Exhaustivement, regarder chaque solution possible et sélectionner les questions conflictuelles qu’elles résolvent efficacement par les questions conflictuelles qu’elles résolvent efficacement par rapport aux motivationsrapport aux motivations

• Ou bien, regarder exhaustivement les questions conflictuelles et Ou bien, regarder exhaustivement les questions conflictuelles et sélectionner les solutions.sélectionner les solutions.

L’évaluation et la génération de solutions sont sans doute les points L’évaluation et la génération de solutions sont sans doute les points faibles de ce modèle. La génération de solutions est un problème faibles de ce modèle. La génération de solutions est un problème très difficile à traiter puisqu’il suppose la plupart du temps de faire très difficile à traiter puisqu’il suppose la plupart du temps de faire appel à de nouvelles connaissances, l’évaluation a été précisée dans appel à de nouvelles connaissances, l’évaluation a été précisée dans des travaux ultérieurs, par exemple [M.Ribière, 99].des travaux ultérieurs, par exemple [M.Ribière, 99].

OutilsOutils

• Analyser Analyser

Analyser est l’outil d’expression de perspectives multiples construit.Analyser est l’outil d’expression de perspectives multiples construit.

Il permet de construire et de gérer un ensemble de points de vue sur Il permet de construire et de gérer un ensemble de points de vue sur un tableau noir, puis de construire les spécifications correspondant.un tableau noir, puis de construire les spécifications correspondant.

• Synoptic Synoptic

Synoptic est une extension d’Analyser où le tableau noir Synoptic est une extension d’Analyser où le tableau noir est remplacé par un ensemble d’outils permettant est remplacé par un ensemble d’outils permettant d’implémenter le modèle de résolution de conflit.d’implémenter le modèle de résolution de conflit.

OutilsOutilsAnalyser Analyser

Analyser implémente les fonctions:Analyser implémente les fonctions:

• de création d’un point de vue:de création d’un point de vue:

En lui donnant un nom s’il est généré par un utilisateur. Ces points En lui donnant un nom s’il est généré par un utilisateur. Ces points de vue peuvent être générés automatiquement (un point de vue de vue peuvent être générés automatiquement (un point de vue inconsistant peut-être séparé en deux).inconsistant peut-être séparé en deux).

• de raisonnement à base de point de vue:de raisonnement à base de point de vue:

Ce sont les fonctions permettant d’ajouter une clause, sa négation, Ce sont les fonctions permettant d’ajouter une clause, sa négation, de retirer un élément (une clause et sa négation), de résolution de retirer un élément (une clause et sa négation), de résolution d’inconsistance par la construction de plusieurs clauses consistantes.d’inconsistance par la construction de plusieurs clauses consistantes.

OutilsOutilsAnalyser Analyser

Analyser implémente les fonctions:Analyser implémente les fonctions:

• de dérivation des descriptions de point de vue:de dérivation des descriptions de point de vue:

Ce sont les fonctions qui permettent de donner une sémantique Ce sont les fonctions qui permettent de donner une sémantique intentionnelle à des éléments formels à partir d’annotations inspirés intentionnelle à des éléments formels à partir d’annotations inspirés de la théorie des actes de langage (C.f. Phase exploratoire, identifier de la théorie des actes de langage (C.f. Phase exploratoire, identifier les questions conflictuelles)les questions conflictuelles)

• Intégration des points de vue:Intégration des points de vue:

Ce sont les fonctions qui utilisent le tableau noir, comme regarder si Ce sont les fonctions qui utilisent le tableau noir, comme regarder si une clause X est vraie selon une spécification, rechercher les une clause X est vraie selon une spécification, rechercher les éléments (suppositions,…) permettant d’appuyer que X est vraie, éléments (suppositions,…) permettant d’appuyer que X est vraie, rechercher les utilisateurs ayant exprimé des (suppositions,…) sur X rechercher les utilisateurs ayant exprimé des (suppositions,…) sur X ou associer X à l’utilisateur et le placer sur le tableau noir)ou associer X à l’utilisateur et le placer sur le tableau noir)

OutilsOutilsAnalyser Analyser

Analyser est programmé en prolog sur MacAnalyser est programmé en prolog sur Mac

OutilsOutilsSynopticSynoptic

Synoptic est un ensemble d’outils permettant la Synoptic est un ensemble d’outils permettant la gestion de conflit et remplaçant la partie tableau gestion de conflit et remplaçant la partie tableau noir d’Analyser:noir d’Analyser:

• Selector, Mover, Extend description, Trim Selector, Mover, Extend description, Trim description, Conflict form, Attach note, Create description, Conflict form, Attach note, Create correspondence, Find correspondence permettent correspondence, Find correspondence permettent de manipuler (sélectionner, préciser ou supprimer) de manipuler (sélectionner, préciser ou supprimer) des éléments ne conflit .des éléments ne conflit .

OutilsOutilsSynopticSynoptic

OutilsOutilsSynopticSynoptic

Conclusion: qu’est-ce qui nous intéresses?

• Des raisons et des méthodes pour intégrer différents point Des raisons et des méthodes pour intégrer différents point de vue dans les outils de group ware.de vue dans les outils de group ware.

• Une étude qui montre le travail à faire sur les questions Une étude qui montre le travail à faire sur les questions d’évaluation et de représentation dans ce type de système.d’évaluation et de représentation dans ce type de système.

• Une unification des problématiques d’extraction de Une unification des problématiques d’extraction de connaissance, de conception, de communication et de connaissance, de conception, de communication et de décision.décision.

• La place centrale de la notion de modélisation dans ces La place centrale de la notion de modélisation dans ces activités.activités.

Conclusion: Les travaux qui ont suivisLes travaux qui ont suivis

• S.Easterbrook, 93 (livre): S.Easterbrook, 93 (livre): EASTERBROOK et al., 1993, EASTERBROOK et al., 1993, A A survey of empirical studies on conflictsurvey of empirical studies on conflict, in CSCW : cooperation , in CSCW : cooperation or conflict, Springer-Verlag London Limited, S.Easterbrook or conflict, Springer-Verlag London Limited, S.Easterbrook

editor.editor. E Etude biblio de la notion de conflit (pas mal d’expés tude biblio de la notion de conflit (pas mal d’expés + prise en compte dans les outils de groupware+ prise en compte dans les outils de groupware

•S.Marcaillou, 95 (thèse de l’université Paul Sabatier de S.Marcaillou, 95 (thèse de l’université Paul Sabatier de Toulouse): « Intégration de la notion de point de vue dans Toulouse): « Intégration de la notion de point de vue dans la modélisation par objets, le langage VBOOL. »intégration la modélisation par objets, le langage VBOOL. »intégration dans le formalisme objet (le langage VBOOL sur EIFFEL, dans le formalisme objet (le langage VBOOL sur EIFFEL, application à la modélisation de la case à équipement application à la modélisation de la case à équipement d’Ariane4. d’Ariane4.

Conclusion: Les travaux qui ont suivisLes travaux qui ont suivis

•Ch.Cointe, 98 (thèse de l’université Montpellier 2) « Aide Ch.Cointe, 98 (thèse de l’université Montpellier 2) « Aide à la gestion de conflit en conception concourante dans un à la gestion de conflit en conception concourante dans un système distribué »:  un pas vers l’aide à la décision, système distribué »:  un pas vers l’aide à la décision, précision de l’évaluation.précision de l’évaluation.

•M.Ribiére, 99 (thèse de l’université de Nice Sophia M.Ribiére, 99 (thèse de l’université de Nice Sophia Antipolis): « Représentation et gestion de multiples points Antipolis): « Représentation et gestion de multiples points de vue dans le formalisme des graphes conceptuels » : de vue dans le formalisme des graphes conceptuels » : intégration dans le formalisme des graphes conceptuels, intégration dans le formalisme des graphes conceptuels, explication, application à l’accidentologie.explication, application à l’accidentologie.