La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Perspectives Multiples, les spécifications informatiques Introduction: conflits, négociation et perspectives multiples Introduction: conflits, négociation.

Présentations similaires


Présentation au sujet: "Perspectives Multiples, les spécifications informatiques Introduction: conflits, négociation et perspectives multiples Introduction: conflits, négociation."— Transcription de la présentation:

1 Perspectives Multiples, les spécifications informatiques Introduction: conflits, négociation et perspectives multiples Introduction: conflits, négociation et perspectives multiples Spécifications pour les perspectives multiples Spécifications pour les perspectives multiples Laide à la négociation Laide à la négociation Outils Outils Conclusion, quest-ce qui nous intéresses? Conclusion, quest-ce qui nous intéresses?

2 Introduction Cette thèse vise à présenter un modèle de comparaison de perspectives multiples sur un processus de construction de spécification informatiques. Les notions de conflit et de négociation sont abordés selon une acception encore très contrainte. Les éléments présentés annoncent des travaux postérieures dans lesquels ces notions sont élargies.

3 Introduction Perspectives Une perspective est un ensemble de connaissances consistant (au sens logique). Une perspective est un ensemble de connaissances consistant (au sens logique). Chaque perspective doit avoir un focus identifié, c est à dire un ensemble de « motivations » en ce qui concerne les spécifications qu elle représente. Chaque perspective doit avoir un focus identifié, c est à dire un ensemble de « motivations » en ce qui concerne les spécifications qu elle représente. Les perspectives sont donc des ensembles de connaissances représentant des spécifications dont la description est justifiée par un ensemble de motivations. Les perspectives sont donc des ensembles de connaissances représentant des spécifications dont la description est justifiée par un ensemble de motivations.

4 Introduction Conflits Un conflit entre deux perspectives est donc un désaccord se traduisant ou non par une inconsistance logique entre deux ensembles de connaissances. Un conflit entre deux perspectives est donc un désaccord se traduisant ou non par une inconsistance logique entre deux ensembles de connaissances. Le cadre des spécifications informatiques justifie dutiliser cette définition de conflit puisqu un programme doit rester consistant logiquement. Le cadre des spécifications informatiques justifie dutiliser cette définition de conflit puisqu un programme doit rester consistant logiquement. Dans un cadre plus classique, cette inconsistance indique une différence de perspective (de vue). Dans un cadre plus classique, cette inconsistance indique une différence de perspective (de vue). Le concept de conflit a été approfondit par la suite [Easterbrook,93] Le concept de conflit a été approfondit par la suite [Easterbrook,93]

5 Introduction Négociation Les méthodes qui évitent les conflits ne permettent pas de les explorer alors qu ils sont potentiellement féconds. Les méthodes qui évitent les conflits ne permettent pas de les explorer alors qu ils sont potentiellement féconds. La négociation est ici l activité de conception (et de décision) des spécifications accompagnée d une explicitation des conflits. La négociation est ici l activité de conception (et de décision) des spécifications accompagnée d une explicitation des conflits. Le modèle présenté a donc pour but de permettre à la fois d avancer dans la tâche et d expliciter les conflits. Le modèle présenté a donc pour but de permettre à la fois d avancer dans la tâche et d expliciter les conflits. Des travaux ultérieures visent à construire des évaluations permettant d expliciter des conflits plus fins. Des travaux ultérieures visent à construire des évaluations permettant d expliciter des conflits plus fins.

6 Spécifications pour les perspectives multiples Concepts clés: Perspectives et point de vue: Perspectives et point de vue: La perspective est décrite comme lensemble des connaissances pertinentes pour un acteur, tandis quun point de vue est une représentation (description) de cet ensemble de connaissance. Un exemple de point de vue est alors un diagramme UML, cest une description partielle dune perspective. Conversation: Conversation: Le processus de spécification est vu comme un processus conversationnel. Les inconsistances, vues comme des ambiguïtés, peuvent ne pas être résolues immédiatement. Un tel système doit donc permettre et encourager léchange de représentations potentiellement inconsistantes entre elles.

7 Spécifications pour les perspectives multiples Concepts clés Représentations Représentations Un tel système doit permettre de réutiliser nimporte quel schéma de représentation habituel. En pratique on peut considérer que cette spécification impose un système trop général pour une comparaison efficace des perspectives … La question des schéma de représentation doit sans doute être étudiée au coup par coup. Évolution Évolution Lévolution du système se fait par lintroduction de nouvelles perspectives et par la modification des perspectives existantes. Les résultats des comparaisons entre points de vue forment un ensemble à part, jusquà ce que des décisions soient prises.

8 Laide à la négociation Modèle de résolution de conflit: Modèle de résolution de conflit: Détection dun conflit Détection dun conflit Phase exploratoire Phase exploratoire Cette phase vise une meilleur définition des conflits. Cette phase vise une meilleur définition des conflits. Phase de construction des solutions Phase 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évaluation Phase dévaluation Cette phase vise à relier les solutions aux éléments explicités dans la phase exploratoire et à évaluer lesquelles résolvent le mieux les questions conflictuelles identifiées. Cette phase vise à relier les solutions aux éléments explicités dans la phase exploratoire et à évaluer lesquelles résolvent le mieux les questions conflictuelles identifiées.

9 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 consistant 1 Point de vue consistant 2 Point de vue consistant 3 A+B+C+D+E nest pas consistant (F1 et F2 ne sont pas consistants) Par itérations successives, construits des points de vue consistants.

10 Laide à la négociation Détection dun conflit Un conflit est ici « differences that matter », cest à dire que lon va rechercher les différences (quelles quelles 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 différents points de vue. Il est nécessaire de raisonner à partir des connaissances issues de différents points de vue. Lémetteur du point de vue insiste sur le fait que celui-ci est « meilleur » que les autres. Lémetteur du point de vue insiste sur le fait que celui-ci est « meilleur » que les autres. Quand une description cohérente (et unique) est nécessaire pour la suite du processus. Quand une description cohérente (et unique) est nécessaire pour la suite du processus.

11 Laide à la négociation Phase exploratoire Établir les correspondances: Le processus commence avec les deux formulation en conflits Le processus commence avec les deux formulation en conflits Sont reliées aux conflit toute formulation reliée à ces formulations, cest à dire toute formulation exprimant une connaissance au sujet dun élément de ces formulations Sont reliées aux conflit toute formulation reliée à ces formulations, cest à dire toute formulation exprimant une connaissance au sujet dun élément de ces formulations Identifier les questions conflictuelles: Lutilisateur peut attacher des annotations aux objets en conflit : Les commentaires, les suppositions qui indiquent des sous-entendus, les problèmes qui doivent être abordés, les justifications qui précisent un élément en réponse à des commentaires et des suppositions

12 Laide à la négociation Phase exploratoire Saccorder sur un critère pour la résolution: Les critères candidats pour la résolution sont les motivations attachées aux perspectives. Les critères candidats pour la résolution sont les motivations attachées aux perspectives. Si deux critères ne sont pas antinomiques, la question est dordonner ces critères. Si deux critères ne sont pas antinomiques, la question est dordonner 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 » sur les conflits, une « carte » des conflits.

13 Laide à la négociation Phase de construction des solutions Les types de conflits: Les types de conflits: Conflits dinterprétation (comment les choses sont) Conflits dinterpré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)

14 Laide à la négociation Phase 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 fonction du type de conflit détecté. Les solutions sont générées différemment en fonction du type de conflit détecté. Le modèle en lui même ne fournit pas de méthode. Le modèle en lui même ne fournit pas de méthode.

15 Laide à la négociation Phase de construction des solutions

16 Laide à la négociation Phase dévaluation Relier les solutions aux questions conflictuelles: Exhaustivement, regarder chaque solution possible et sélectionner les questions conflictuelles quelles résolvent efficacement par rapport aux motivations Exhaustivement, regarder chaque solution possible et sélectionner les questions conflictuelles quelles résolvent efficacement par rapport aux motivations Ou bien, regarder exhaustivement les questions conflictuelles et sélectionner les solutions. Ou bien, regarder exhaustivement les questions conflictuelles et sélectionner les solutions. 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 très difficile à traiter puisquil suppose la plupart du temps de faire appel à de nouvelles connaissances, lévaluation a été précisée dans des travaux ultérieurs, par exemple [M.Ribière, 99].

17 Outils Analyser Analyser Analyser est loutil dexpression de perspectives multiples construit. 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. Synoptic Synoptic Synoptic est une extension dAnalyser où le tableau noir est remplacé par un ensemble doutils permettant dimplémenter le modèle de résolution de conflit.

18 Outils Analyser Analyser implémente les fonctions: de création dun point de vue: de création dun point de vue: En lui donnant un nom sil est généré par un utilisateur. Ces points de vue peuvent être générés automatiquement (un point de vue 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 dajouter une clause, sa négation, de retirer un élément (une clause et sa négation), de résolution dinconsistance par la construction de plusieurs clauses consistantes.

19 Outils Analyser 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 intentionnelle à des éléments formels à partir dannotations inspirés de la théorie des actes de langage (C.f. Phase exploratoire, identifier les questions conflictuelles) Ce sont les fonctions qui permettent de donner une sémantique intentionnelle à des éléments formels à partir dannotations inspirés de la théorie des actes de langage (C.f. Phase exploratoire, identifier 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 une clause X est vraie selon une spécification, rechercher les éléments (suppositions,…) permettant dappuyer que X est vraie, rechercher les utilisateurs ayant exprimé des (suppositions,…) sur X ou associer X à lutilisateur et le placer sur le tableau noir)

20 Outils Analyser Analyser est programmé en prolog sur Mac

21

22

23 Outils Synoptic Synoptic est un ensemble doutils permettant la gestion de conflit et remplaçant la partie tableau noir dAnalyser: Selector, Mover, Extend description, Trim description, Conflict form, Attach note, Create correspondence, Find correspondence permettent de manipuler (sélectionner, préciser ou supprimer) des éléments ne conflit. Selector, Mover, Extend description, Trim description, Conflict form, Attach note, Create correspondence, Find correspondence permettent de manipuler (sélectionner, préciser ou supprimer) des éléments ne conflit.

24 Outils Synoptic

25

26 Conclusion: quest-ce qui nous intéresses? Des raisons et des méthodes pour intégrer différents point de vue dans les outils de group ware. Des raisons et des méthodes pour intégrer différents point de vue dans les outils de group ware. Une étude qui montre le travail à faire sur les questions dévaluation et de représentation dans ce type de système. Une étude qui montre le travail à faire sur les questions dévaluation et de représentation dans ce type de système. Une unification des problématiques dextraction de connaissance, de conception, de communication et de décision. Une unification des problématiques dextraction de connaissance, de conception, de communication et de décision. La place centrale de la notion de modélisation dans ces activités. La place centrale de la notion de modélisation dans ces activités.

27 Les travaux qui ont suivis Conclusion: Les travaux qui ont suivis S.Easterbrook, 93 (livre): EASTERBROOK et al., 1993, A survey of empirical studies on conflict, in CSCW : cooperation or conflict, Springer-Verlag London Limited, S.Easterbrook editor. E tude biblio de la notion de conflit (pas mal dexpés + prise en compte dans les outils de groupware S.Easterbrook, 93 (livre): EASTERBROOK et al., 1993, A survey of empirical studies on conflict, in CSCW : cooperation or conflict, Springer-Verlag London Limited, S.Easterbrook editor. E tude biblio de la notion de conflit (pas mal dexpés + prise en compte dans les outils de groupware S.Marcaillou, 95 (thèse de luniversité Paul Sabatier de Toulouse): « Intégration de la notion de point de vue dans la modélisation par objets, le langage VBOOL. »intégration dans le formalisme objet (le langage VBOOL sur EIFFEL, application à la modélisation de la case à équipement dAriane4.S.Marcaillou, 95 (thèse de luniversité Paul Sabatier de Toulouse): « Intégration de la notion de point de vue dans la modélisation par objets, le langage VBOOL. »intégration dans le formalisme objet (le langage VBOOL sur EIFFEL, application à la modélisation de la case à équipement dAriane4.

28 Les travaux qui ont suivis Conclusion: Les travaux qui ont suivis Ch.Cointe, 98 (thèse de luniversité Montpellier 2) « Aide à la gestion de conflit en conception concourante dans un système distribué »: un pas vers laide à la décision, précision de lévaluation.Ch.Cointe, 98 (thèse de luniversité Montpellier 2) « Aide à la gestion de conflit en conception concourante dans un système distribué »: un pas vers laide à la décision, précision de lévaluation. M.Ribiére, 99 (thèse de luniversité de Nice Sophia Antipolis): « Représentation et gestion de multiples points de vue dans le formalisme des graphes conceptuels » : intégration dans le formalisme des graphes conceptuels, explication, application à laccidentologie.M.Ribiére, 99 (thèse de luniversité de Nice Sophia Antipolis): « Représentation et gestion de multiples points de vue dans le formalisme des graphes conceptuels » : intégration dans le formalisme des graphes conceptuels, explication, application à laccidentologie.


Télécharger ppt "Perspectives Multiples, les spécifications informatiques Introduction: conflits, négociation et perspectives multiples Introduction: conflits, négociation."

Présentations similaires


Annonces Google