Laboratoire dInformatique Appliquée IUT Informatique de Bayonne Ré-Ingénierie dApplications pour la mise en oeuvre de la Coopération : Méthodologie et.

Slides:



Advertisements
Présentations similaires
LES NOMBRES PREMIERS ET COMPOSÉS
Advertisements

[number 1-100].
Qualité du Premier Billot. 2 3 Défauts reliés à labattage.
1. Résumé 2 Présentation du créateur 3 Présentation du projet 4.
Académie de Créteil - B.C.
Fabrice Lauri, François Charpillet, Daniel Szer
Licence pro MPCQ : Cours
Distance inter-locuteur
Mon carnet De comportement
Réflexivité et réseaux d’ information
Les numéros
Cours MIAGE « Architectures Orientées Services » Henry Boccon-Gibod 1 Architectures Orientées Services Composants de Service Exemple pratique de développement.
Projet n°4 : Objecteering
Le Modèle Logique de Données
Systèmes Experts implémentation en Prolog
ESIEE Paris © Denis BUREAU I N Initiation à la programmation avec le langage Java.
2 1. Vos droits en tant quusagers 3 1. Vos droits en tant quusagers (suite) 4.
User management pour les entreprises et les organisations Auteur / section: Gestion des accès.
Mr: Lamloum Med LES NOMBRES PREMIERS ET COMPOSÉS Mr: Lamloum Med.
1 5 octobre 2011 / paw Présentation du 7 octobre 2011.
Cours Systèmes logiques
1 Bienvenue! Ministère de lEmploi et de la Solidarité sociale Direction des ressources humaines La conduite dun projet de refonte dun intranet Pascale.
Développement d’applications web
Page 1 Introduction à ATEasy 3.0 Page 2 Quest ce quATEasy 3.0? n Ensemble de développement très simple demploi n Conçu pour développer des bancs de test.
Interagir avec un objet mixte Propriétés physiques et numériques Céline Coutrix, Laurence Nigay Équipe Ingénierie de lInteraction Homme-Machine (IIHM)
PAFI Référentiel de données par Sonia Watts DGIF (Direction de la gestion et de linformation forestière) 27 octobre 2010 et 3 novembre 2010.
1 Cours numéro 3 Graphes et informatique Définitions Exemple de modélisation Utilisation de ce document strictement réservée aux étudiants de l IFSIC.
LUNDI – MARDI – MERCREDI – JEUDI – VENDREDI – SAMEDI – DIMANCHE
le profil UML en temps réel MARTE
Vuibert Systèmes dinformation et management des organisations 6 e édition R. Reix – B. Fallery – M. Kalika – F. Rowe Chapitre 1 : La notion de système.
Vuibert Systèmes dinformation et management des organisations 6 e édition R. Reix – B. Fallery – M. Kalika – F. Rowe Chapitre 2 : Les applications fonctionnelles.
1 Guide de lenseignant-concepteur Vincent Riff 27 mai 2003.
LUNDI – MARDI – MERCREDI – JEUDI – VENDREDI – SAMEDI – DIMANCHE
Virtual Local Area Network
Détection de co-évolution de gènes Master 2 : Informatique à Finalité Professionnelle et Recherche Unifiée (IFPRU) Parcours Ingénierie de lIntelligence.
Titre : Implémentation des éléments finis sous Matlab
Configuration de Windows Server 2008 Active Directory
INDUSTRIE sa Tel : 0033(0) Fax : Projet: SKIP CAPSULES – v.1 Client: CARDIVAL HEALTH.
LES NOMBRES PREMIERS ET COMPOSÉS
SYSTEMES D’INFORMATION
SCIENCES DE L ’INGENIEUR
2 TP avec l ’aide d ’un modeleur 3D :
Représentation des systèmes dynamiques dans l’espace d’état
Représentation des systèmes dynamiques dans l’espace d’état
Représentation des systèmes dynamiques dans l’espace d’état
Programmation concurrente
Tournoi de Flyball Bouin-Plumoison 2008 Tournoi de Flyball
Notre calendrier français MARS 2014
© Petko ValtchevUniversité de Montréal Janvier IFT 2251 Génie Logiciel Notions de Base Hiver 2002 Petko Valtchev.
C'est pour bientôt.....
Symposium AFMC de Durbuy mai Association Francophone des Médecins Chefs Enquête réalisée auprès des médecins-chefs n = 50.
Veuillez trouver ci-joint
LA GESTION COLLABORATIVE DE PROJETS Grâce aux outils du Web /03/2011 Académie de Créteil - Nadine DUDRAGNE 1.
LUNDI – MARDI – MERCREDI – JEUDI – VENDREDI – SAMEDI – DIMANCHE
Traitement de différentes préoccupations Le 28 octobre et 4 novembre 2010.
Equation différentielle de 2ème ordre
Nom:____________ Prénom: ___________
CALENDRIER-PLAYBOY 2020.
1 Architecture orientée service SOA Architecture orientée service SOA (Service Oriented Architecture)
LES PILES ET FILES.
Les Chiffres Prêts?
Supports de formation au SQ Unifié
Projet Implémentation du protocole MMT sous Linux
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Initiation à la conception des systèmes d'informations
Transcription de la présentation:

Laboratoire dInformatique Appliquée IUT Informatique de Bayonne Ré-Ingénierie dApplications pour la mise en oeuvre de la Coopération : Méthodologie et Architecture

ELKAR - Soutenance de Thèse - Roose Philippe Objectifs Nous proposons une méthode et une architecture pour permettre la ré-ingénierie d applications basées sur des modules opératifs distribués afin de les organiser en groupes de travail et permettre une mise en coopération En fait nous voulons ajouter la coopération dans des applications qui ne sont pas coopératives et ceci sans modifier limplémentation des modules.

ELKAR - Soutenance de Thèse - Roose Philippe Travaux connexes n Nous travaillons à la croisée de plusieurs domaines de recherche : –Les Bases de Données Actives avec leurs règles ÉCA –Les Applications Distribuées Avec des événements distribués –La Modélisation avec des éléments de coopération Nous modélisons des événements, des messages et des données –Le travail Coopératif avec la notion de groupes de travail avec la notion de dynamique.

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe Les coopérations actuelles Pourquoi : parce que la plupart du temps, la coopération est réalisée à laide dopérateurs externes ou de programmes dédiés, nous voulons automatiser ceci.

ELKAR - Soutenance de Thèse - Roose Philippe Automatisation de la coopération Comment : nous automatisons la circulation des informations. Nous les capturons lorsquelles sont produites par le module dans son environnement et nous les incorporons dans l environnement du module destinataire. Nous créons les éléments de coopération manquants à partir des informations déjà existantes.

ELKAR - Soutenance de Thèse - Roose Philippe Comment réaliser la coopération (1) n Des applications composées de modules distribués opératoires n Il existe un besoin de coopération exprimé par les sociétés

ELKAR - Soutenance de Thèse - Roose Philippe Comment réaliser la coopération (2) n La coopération entre modules est généralement fournie à laide dopérateurs externes (humains, programmes dédiés, …) Ceci est synonyme de : –Perte et duplication dinformations –Perte de temps (certains travaux sont réalisés plusieurs fois comme des ré-entrées par exemple). n Notre objectif est de réaliser la coopération par capture délément de lactivité sans modifier les modules. n Nous faisons circuler linformation et créons les éléments manquants.

ELKAR - Soutenance de Thèse - Roose Philippe Le Module Module C est une entité opératoire, éventuellement complexe, qui peut réaliser une tâche et communiquer avec l extérieur.

ELKAR - Soutenance de Thèse - Roose Philippe Coopération Externe (Applications Actuelles)

ELKAR - Soutenance de Thèse - Roose Philippe Réalisation de la Coopération (Application mise à jour) Nous capturons linformation à sa source. Nous fournissons cette information aux entités concernées. Nous intervenons sur lIHM des modules pour modifier leur comportement.

ELKAR - Soutenance de Thèse - Roose Philippe Groupes de Travail Dynamiques (1) n Définition Cest un ensemble de modules éventuellement distants sur un réseau et réalisant un ou plusieurs tâches bien déterminées. Leur composition (modules composants le groupe de travail) peut évoluer dynamiquement dans le temps pour sadapter ux besoins du système et ainsi répondre de la manière la plus satisfaisante possible (critères temporels et qualitatifs). n Gestion La composition du groupe est réalisée par la couche coopérative.

ELKAR - Soutenance de Thèse - Roose Philippe Groupes de Travail Dynamiques (2) Nous pouvons maintenant obtenir des informations de groupes qui sont plus expressives et qui reflètent plus l état de lapplication.

ELKAR - Soutenance de Thèse - Roose Philippe Avantages de la Dynamique des Groupes de Travail Les groupes de travail dynamiques permettent de : Filtrer les informations. Le module ne reçoivent que les informations nécessaires à leur activité courante. Nous essayons ainsi déviter que trop dinformations soient reçues par un module à un mauvais moment. Création dinformations synthétiques. En capturant linformation produite par certains modules dun groupe de travail, il est possible den créer de nouvelles qui reflètent mieux lactivité du groupe de travail et non plus uniquement létat dun seul module. La spécialisation de modules. En modifiant les informations reçues, en filtrant celles envoyées, ou en faisant réagir lopérateur sur lIHM, il est possible de modifier le rôle dun module

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe Eléments de Coopération n Événements –La sémantique est contenue dans leur propre occurrence. –Ce sont des informations non-persistantes. n Messages –La sémantique est encapsulée dans le message. –Ce sont des informations non-persistantes. n Données du Système d Information –Ce sont des informations persistantes.

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (1) n Définition des groupes de travail

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (2) n Identification des éléments de coopération (événements, messages, données).

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (3) n Inventaire des modules présents dans le système. n Pour chaque groupe, nous réalisons une liste de membres potentiels.

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (4) n Identification des éléments de coopération (événements, messages, données) nécessaires et produits par chaque module.

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (5) n Les conditions d E/S dans un groupe de travail dynamique pour une règle sont évaluées par une règle ÉCA (règle de gestion de groupe). n Sil n existe pas d information produite suffisamment précise, il sera nécessaire de la créer.

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (6) n Liens directs entre informations –groupe groupe –module module –module groupe –groupe règle de gestion de groupe –module règle de gestion de groupe n …avec l utilisation de règles de mise en forme concernant les messages.

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (7) n Création des éléments manquants n Utilisation des règles : –Événements Composés –Messages Synthétiques –Données de Groupe Synthétiques n Retour en arrière possible

ELKAR - Soutenance de Thèse - Roose Philippe La méthode (8) n La méthode permet dobtenir un ensemble de règles permettant de : –Transformer et diffuser linformation. –Détecter les événements, messages et données et de réagir en fonction de leur sémantique (création déléments manquants, mise à jour dIHM). –Gérer la dynamique des groupes. n La méthode termine avec la production dun langage de spécification. n Il permet sa dérivation en règles (en Java) avec lesquelles des rendez-vous seront pris. n L homogénéité de la méthode est permise grâce à luniformisation de la méthode : lanalyse aux deux niveaux dabstraction - inter et intra groupes - est identique.

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe Le langage de spécification Quelques exemples de primitives du langage de spécification : n DéfinirÉvénement [De origine] [Pour destination] n DéfinirRègle Comme n Déclencher Quand n Envoyer Pourquoi un langage de specification ? Afin de faciliter la dérivation et donc limplémentation. De vérifier formellement la validation des liens.

ELKAR - Soutenance de Thèse - Roose Philippe Points forts de notre méthode n Elle est : –Particulièrement adaptée à la ré-ingénierie. –Fonctionne à la fois avec des modules logiques et physiques. –Associée à un langage de spécification permettant une vérification formelle et une dérivation en règles. –Homogène (représentation, règles)

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe Larchitecture Coopérative n C est une extension d ADACTIF à : –La distribution, –La gestion des groupes de travail dynamiques, –Aux différents éléments de coopération, –Différents types dinformation (événements, messages & données) n Le langage de spécification permet d être facilement et automatiquement dérivé en règles détectrices (création d éléments de coopération) et ÉCA (gestion des groupes dynamiques).

ELKAR - Soutenance de Thèse - Roose Philippe LArchitecture Coopérative (sites)

ELKAR - Soutenance de Thèse - Roose Philippe LArchitecture Coopérative (sur chaque site)

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe Résultats (1) - L Architecture Coopérative n Extension d une architecture locale active (ADACTIF) une architecture distribuée et adaptée au travail coopératif (ELKAR) –Groupes de Travail Dynamiques, –Types d Informations Différents (événements, messages, données) –Règles implémentées en tâches Java avec la notion de rendez-vous. n Un langage de spécification formel permettant de facilement dériver les résultats de la méthodes en règles ÉCA et détectrices.

ELKAR - Soutenance de Thèse - Roose Philippe Résultats (2) - La méthode n La méthode –Coopérative –Particulièrement adaptée à la ré- ingénierie –Fonctionne indifféremment avec des modules physiques et/ou logiciels. –Associée à un langage de spécification afin de réaliser les vérifications nécessaires et de facilement implémenter les résultats. –Homogène

ELKAR - Soutenance de Thèse - Roose Philippe Résultats (3) Nous avons une approche globale démarrant avec une méthode et terminant avec limplémentation, le tout avec une totale homogénéité. Méthode Language de Specification Règles Architecture Coopérative Distribuée (Java) }

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe Bibliographie (1) Publications Internationales avec Comité de Lecture Supporting Collaborative Work in Intranet Using an Active DBMS implemented with Java - Proc. WebNet'97 - Toronto - Canada - Novembre Using Active Database Mechanisms to Build Cooperative Applications - Proc. Integrated Design on Process Technology (IDPT) 98 - Berlin - Allemagne - Juillet Mechanisms for Synchronous and Asynchronous Communication in Distributed Cooperative Work – Proc. 6 th Intl Conference on Information Systems Methodologies (ISM) 98 – Salford – Angleterre – Springer Edition – ISBN Septembre How to achieve synchronous and asynchronous communication in distributed cooperative systems using ECA mechanisms - Simposio Español de Informatica Distribuida (SEID) 99 – Santiago de Compostela – Espagne – Février 1999.

ELKAR - Soutenance de Thèse - Roose Philippe Bibliographie (2) Publications Internationales avec Comité de Lecture Using Active Database Mechanisms to Build Cooperative Applications – Transaction of the SDPS Journal – Vol. 3, N° 1 – pp Mars A method for designing cooperative distributed applications - Coop2000 – 4 th Intl Conference on the Design of Cooperative Systems – Sophia Antipolis – France – Mai Turning non-cooperative applications into cooperative ones by adding dynamics to the information system - 5 th Annual Conference of the UKAIS (UK Academy for Information Systems) – Cardiff – U.K. - Avril A method for re-engineering/redesigning cooperatively distributed applications 5th Intl conf. On Integrated Design & Process Science (IDPT/IDEATE) - Dallas - USA - Juin 2000.

ELKAR - Soutenance de Thèse - Roose Philippe Plan n Comment réaliser la coopération n Élements de Coopération n La Méthode n Le Langage de Spécifications n LArchitecture Coopérative n Résultats n Bibliographie n Le Futur

ELKAR - Soutenance de Thèse - Roose Philippe Le Futur n La méthode peut être améliorée en amont en réalisant une première partie plus proche des aspects de rétro- conception. n Étendre la méthode à des domaines plus généraux que la ré-ingénierie. Nous voulons généraliser notre approche. n Nous pensons que notre approche peut être utilisée pour résoudre des problèmes de re-configuration dynamique ou des problèmes de traçabilité. n Nous désirons développer notre propre outil de modélisation visuelle.