PROGRAMME CONGRÈS INFORSID 1996


4-5-6-7 JUIN 1996 à

ENSERB, Cours de la liberation (Talence) BORDEAUX

Le comité de programme.
Le comité d'organisation.

PARTIE COURS

MARDI 4 Juin 1996

Responsable des cours : R. Castanet, Labri Bordeaux

  • Evaluation de méthodologies orientées objet
    Jean-Pierre GIRAUDIN, IMAG-LSR, Grenoble

    Panorama des principales méthodes existantes. Critères de comparaison de modèles orientés objet. Evaluation des méthodes OMT, Coad &Yourdon, Shlaer &Mellor, Classe-Relation, O*, Merise-objet, etc.

  • Utilisation pratique des spécifications formelles
    Yves LEDRU, IMAG, Grenoble

    Introduction et comparaison des méthodes Z et VDM. Insertion des spécifications formelles dans l'enseignement du Génie Logiciel. Avenir industriel des techniques formelles.

  • Internet et le monde des affaires
    Francine MAUBOURGUET, ESC, Pau

    La recherche d'informations pour les affaires (recherche et développement, commercial, opportunités d'affaires ...).. Les moyens de recherche pour identifier rapidement les sources d'informations pertinentes. Les enjeux du commerce électronique et des EDI, dont Internet peut devenir l'un des supports majeurs. Le rôle de la messagerie dans la construction des réseaux internationaux. Quelles solutions et pour quels publics ?

  • De l'ordinateur individuel au réseau de campus, comment se raccorder à l'Internet
    Roland DIRLEWANGER, CNRS, Bordeaux

    Cet exposé présente les différentes solutions, tant du point de vue matériel que logiciel, utilisées pour un raccordement à l'Internet. Un comparatif de ces diverses techniques donne ensuite les clés pour choisir efficacement la solution la plus adaptée à ses besoins.

  • Comprendre WWW et créer ses propres services
    Serge CHAUMETTE, Labri, Bordeaux

    Facteurs expliquqnt l'intérêt soudain que suscite Internet. Outils conviviaux multimédia Netscape et Mosaic avec consultation de bases de données disséminées sur une toile d'araignée mondiale (World Wide Web). Modes de dialogues afin de rendre disponible un service de communication existant ou concevoir un nouveau service pour le rendre disponible sur le Web.


    PROGRAMME DU CONGRES

    1. Session 1 : Les environnements de conception
    2. Session 2 : Modélisation de systèmes
    3. Session 3 : Conception de schémas et réingénierie
    4. Session 4 : Multimédia et documents
    5. Session 5 : Recherche et extraction d'information
    6. Session 6 : Techniques spécifiques de modélisation
    7. Session 7 : Modélisation de la dynamique

    MERCREDI 5 Juin 1996

  • Ouverture du congrès par :
    1. J. VALADE, Vice-président du conseil Région Aquitaine,
    2. C. DELOBEL, LRI INRIA, Président du Comité de Programme d'INFORSID'96
    3. J.G. PENAUD. MIAGe de Bordeaux, Président du Comité d'Organisation d'INFORSID'96
  • Conférencier invité : Y. KODRATOFF, Université de Paris-Sud

    L'extraction des connaissances à partir des données : un nouveau sujet pour la recherche scientifique.


    Session 1 : Les environnements de conception

    Président : H. BRIAND, Ireste-Nantes

  • MENTOR : un environnement pour l'ingénierie des méthodes et des besoins
    G. Grosz, S. Si-Saíd, C. Rolland, CRI-Université Paris 1

  • Spécifications dynamiques des besoins orientées-objet : une démarche fondée sur les scénarios
    B. Dano, TELIS, Ireste-Nantes

  • L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état
    H. Habrias, IRIN-Nantes


    Session 2 : Modélisation de systèmes

    Président : A. ROCHFELD, INGENIA - Issy-les-Moulineaux

  • Modélisation de réseaux grâce à la composition et la connexité d'objets
    J. Colloc, G. Talens, G. Dubois, IAE-Université Jean Moulin-Lyon III

  • Un modèle de représentation multiple et évolutive de données pour le suivi de soins dentaires
    H. Naja, CRIN-Nancy, Y. Lahlou, CRIN-Nancy, B. Comte, Faculté d'Odontologie de Lyon

  • Une structuration du sous-système décisionnel des systèmes de production : PCSD
    J.Y. Goujon, P. Lacomme, Université Blaise Pascal, Clermont Ferrand II


    Session 3 : Recherche d'informations

    Président : A. FLORY, INSA-Lyon

  • Une méthode d'intégration de schémas de conception
    I. Mirbel, I3S, CNRS-Valbonne

  • Propriétés sémantiques et raffinement des relations de correspondances dans l'intégration de schémas hétérogènes basée sur le modèle terminologique
    O. Larab, A.N. Benharkat, LISI-INSA-Lyon

  • Utilisation d'un système terminologique pour la rétro-conception des bases de données relationnelles
    A. Saoudi, G. Nachouki, Ireste-Nantes

  • Technique d'analyse de programmes pour la rétro-ingénierie de bases de données
    J. Henrard, J.M. Hick, D. Roland, V. Englebert, J.L. Hainaut, Institut d'Informatique - Namur (Belgique)


    JEUDI 6 Juin 1996

    Session 4 : Multimédia et documents

    Président : M. DELEST, LaBRI - Université de Bordeaux I

  • Intégration d'environnements hétérogènes : World Wibe Web, carte à microprocesseur et Corba
    P. Merle, LIFL, Université de Lille 1, J.J. Vandewalle, RD2P-CHRU Calmette-Lille, E. Dufresne, CERIM, Université de Lille 2

  • Intégration de la structure du document dans le processus de recherche d'information
    F. Fourel, CLISP-IMAG-Grenoble

  • Generating Hypertext Views on Databases
    G. Falquet, J. Guyot, I. Prince, Université de Genève (suisse)


    Session 5 : Recherche et extraction d'information

    Président : C. JULIEN, IRIT-Toulouse

  • Extraction et synthèse de connaissances à partir de bases de données hétérogènes
    T. Dkaki, J. Mothe, IRIT-SIG-Toulouse

  • Une approche pour la mise en oeuvre de documents réactifs
    E. Gouardères, IRIT et UPPA-SIG-Pau


  • Conférence invitée : Internet et le droit français
    J. LUGUET, IRIT-Toulouse

  • Conférence invitée : La légalité sur Internet
    I. TELLIER, Avocat à la Cour de Paris


    Session 6 : Techniques spécifiques de modélisation

    Président : E. PICHAT, Université Claude Bernard-Lyon

  • Propagation de versions dans les objets complexes
    C. Urtado, C. Oussalah, LGI2P/EMA-EErie-Nîmes

  • La logique de réécriture : un formalisme pour modéliser les bases de données actives
    Y. Rabih, Université Clermont-Ferrand II

  • Raisonnement incertain et flou pour l'aide à la décision dans les Systèmes d'Information Géographique
    D. Saint-Joan, IRIT-UPS-Toulouse


    Session 7 : Modélisation de la dynamique

    Président : O. FOUCAUT, Université de Nancy II

  • Gestion des scénarios multi-média
    C. Djeraba, K. Hadouda, IRIN, IRESTE-Université de Nantes

  • Modélisation et validation comportementales
    R. Cichetti. P. Poncelet, IUT Aix-en-Provence, LIM-Université de la Méditerranée, M. Teisseire, LIRMM-ISIM Unviversité de Montpellier II

  • Un modèle formel pour l'évolution
    L. Domenech, T. Libourel, LIRMM-Université de Montpellier


  • Remise des bourses aux jeunes chercheurs

  • Assemblée générale de l'Association INFORSID



    VENDREDI 7 Juin 1996

    JOURNEE O2 TECHNOLOGY

  • Le système O2 : développements technologiques et évolution du marchéF. Bancilhon, O2 Technology

    Session 1

  • Une méthode non 2PL de lectures cohérentes sans attentes
    G. Nicaud, R. Kerboul, Y. Gicquel, CNET-Lannion

  • Une base de données orientée-objet pour les protéines
    M. Moulet, J.J. Codani, INRIA-Rocquencourt

    Session 2

  • Un cocktail de bases de données et d'index plein texte
    V. Christophides, S. Cluet, J. Siméon, INRIA Rocquencourt
    G. Moerkotte, Université de Mannheim (Allemagne)

  • Une structure d'accueil de documents SGML/Hytime basée sur les technologies objets
    P.François, Aérospatiale et IRIT Toulouse
    P. Futtersack, C. Espert, EDF-DER - Clamart

  • Conférence invitée : Method Integration Supported by Object-Oriented Data Bases
    W. Shaefer, Université de Paderborn (allemagne)

    Session 3

  • Utilisation de la technologie objet pour réaliser un serveur d'information : O2 Web
    J.C. Mamou, O2 Technology

  • Les activités du Laboratoire Logiciels, Systèmes et Réseaux de l'IMAG autour de O2 : bases de données actives, extensions multimédias, gestion du temps et évolution de schémas
    C. Collet, B. Benatallah, J.F. Canavaggion, T. Coupaye, F. Mocellin, E. Rocancio, LSR-IMAG-Grenoble

    Session 4

  • Contraintes visuelles
    D. Kvedarauskas, LRI,
    P. Y. Policella, LRI-LAFORIA

  • Développement d'un ramasse-miettes concurrent pour O2
    M. Skubiszewski, INRIA-Rocquencourt,
    N. Porteix, ENST,
    F. Xhumari, INRIA-Rocquencourt


    RESUME DES PUBLICATIONS


    L'extraction de connaissances À partir des données : un nouveau sujet pour la recherche scientifique

    Yves Kodratoff

    CNRS, LRI Bât. 490,
    Université Paris-Sud, F-91405 Orsay


    _______________________________________________________________________
    Résumé :
    Nous présentons une vue générale d'un nouveau domaine de recherche, l'Extraction de Connaissances à partir des Données (ECD : "KDD" (Knowledge Discovery in Databases) ou "data mining" en anglais) qui associe trois types de domaines habituellement séparés : les Bases de Données, les Statistiques et l'Apprentissage Automatique. L'ECD cherche à équilibrer harmonieusement la quantité de données et la quantité d'information (ou de connaissances) mises à la disposition des décideurs. À cet effet, on utilisera des techniques de découverte de relations au sein de données, des techniques de reconnaissance des formes, d'analyse des données et de statistiques exploratoires, le tout encapsulé dans une technologie de type système expert, dans le but d'automatiser la découverte de l'information (= la connaissance) enfouie dans des bases de données (typiquement) très grandes. L'ensemble des résultats obtenus devra présenter les propriétés d'intelligibilité nécessaires aux systèmes d'induction modernes (Kodratoff, 1994a).


    MENTOR : un environnement pour l'ingénierie des méthodes et des besoins

    Georges Grosz, Samira Si-Said, Colette Rolland

    Université Paris-1 Sorbonne, CRI,
    17, rue de Tolbiac,
    75013 Paris, FRANCE
    Tel : 1 44 24 93 65 Fax : 1 45 86 76 66
    email : {grosz, sisaid, rolland}@masi.ibp.fr


    _______________________________________________________________________
    Résumé :
    Cet article présente un environnement pour l'ingénierie des méthodes et des besoins appelé MENTOR. Cet environnement offre un ensemble d'éditeurs, de navigateurs et d'outils permettant à un ingénieur "méthode" de créer ou d'adapter une démarche d'une méthode d'analyse des besoins répondant aux problèmes que les ingénieurs d'application ont à traiter. La composante essentielle de cet environnement est le moteur de guidage. Il permet d'exécuter avec flexibilité des démarches. Une démarche est un modèle de processus définie comme une instance d'un méta-modèle de processus combinant les approches décisionnelles et situationnelles. Nous illustrons, à travers un exemple, comment MENTOR, en se basant sur l'exécution d'une démarche, est capable d'assister et de guider à la fois un ingénieur d'application (qui développe des spécifications de système) et un ingénieur méthode (qui développe des spécifications de démarche) d'une manière flexible et cependant efficace.
    Mots clés : Ingénierie des besoins, ingénierie des méthodes, modèle de processus, méta-modélisation, ateliers de génie logiciel, environnement centré processus
    _______________________________________________________________________
    Abstract :
    In this paper, we present the Computer Aided Requirements Engineering (CARE) environment named MENTOR. This environment offers various viewers, editors and tools and can be customised by a method engineer to any existing requirements engineering methodology. The core component of the environment is the "Guidance Engine". It executes - or enacts- in a flexible manner any process model -that we call way-of-working. A way-of-working is defined as an instance of a process meta-model. We illustrate, through a comprehensive example, how MENTOR provides support and guidance based on the execution of process models to both application engineers (who construct system specifications) and method engineers (who construct ways-of-working) in a flexible and however efficient way.
    Key words : Requirements engineering, method engineering, process model, meta-modelling, CASE tool, Process centered software environment


    Spécifications dynamiques des besoins orientées-objet : une démarche fondée sur les scénarios

    Bénédicte DANO

    Laboratoire SIDC (IRESTE / IRIN)
    Société Telis,
    18 impasse des Jades - Bat. 14,
    44088 - NANTES CEDEX 03, FRANCE
    Tel : 33 1 40 52 50 47, Fax: 33 1 40 52 00 46
    E-mail: bdano@ireste.fr


    _______________________________________________________________________
    Résumé :
    Ce papier décrit une démarche d'aide au processus d'ingénierie des besoins. La démarche proposée permet d'aider à l'élaboration des spécifications des besoins orientées-objet. Dans ce papier, nous proposons plus précisément une aide à l'élaboration des spécifications dynamiques. L'approche proposée est fondée sur le concept de "scénario", lequel est à la fois utilisé pour l'acquisition et la conceptualisation des besoins. L'approche peut être qualifiée "d'approche orientée expert du domaine" dans le sens où un expert du domaine peut activement participer durant l'activité d'acquisition des besoins en identifiant et en décrivant les scénarios. Nous proposons également une formalisation du concept de scénario à l'aide des réseaux de Petri et montrons, lors de l'activité de conceptualisation des besoins, comment cette formalisation est utilisée pour générer des parties de spécifications dynamiques des besoins orientées-objet.
    Mots clés : ingénierie des besoins, spécifications dynamiques, scénario, formalisation, vérification, outil CASE.
    _______________________________________________________________________
    Abstract :
    This paper describes an approach to support the requirements engineering process. The proposed approach is based on the concept of "scenario" which serves as a basis for the acquisition and the conceptualization of the requirements, the goal being to establish the object-oriented requirements specifications. This paper essentially focuses on the elaboration of the dynamic specifications. The approach is "domain expert-oriented" in the sense that the domain expert can actively participate during the requirements acquisition activity by identifying and by describing the scenarios. A formalization of the scenario concept by means of Petri nets is proposed and is used during the requirements conceptualization activity to produce parts of the dynamic specifications.
    Key Words : requirements engineering, dynamic specifications, scenario, formalization, verification, CASE tool.


    L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état

    Henri Habrias

    IRIN : Institut de Recherche en Informatique de Nantes
    Equipe "Génie logiciel : Méthodes et Spécifications Formelles"
    Faculté des sciences, 2 rue de la Houssinière,
    44072 Nantes Cedex 03 (France)
    Tel. : (33) 40 37 49 74, Fax : (33) 40 37 49 70
    E-mail : Habrias@irin.univ-nantes.fr


    _______________________________________________________________________
    Résumé :
    Après la présentation des avantages et inconvénients des notations graphiques en spécification, nous montrons les ambiguïtés de la notation NIAM en termes de Z ou B et les avantages de la notation graphique NIAM pour des utilisateurs de Z ou B. Nous proposons une notation graphique "à la NIAM" pour spécifier et les règles pour exprimer les prédicats associés aux relations et à leurs contraintes. Enfin nous donnons une méthode pour construire une spécification Z en suivant la méthode NIAM, prenant particulièrement en compte la différence entre objets lexicaux et objets non lexicaux.
    Mots clés : Spécification formelle, Z, B, NIAM, Méthode, Considérations linguistiques
    _______________________________________________________________________
    Abstract :
    In this paper, after we have presented the advantages and disadvantages of graphical notation in specifications, we will show the ambiguities of NIAM notation within the Z or B environment and also the advantages of NIAM graphical notation. Therefore, we put forward graphical notation "à la NIAM" to specify and express the predicate associated rules concerned with relations and constraints. Finally, we will give a method of constructing a Z specification using the NIAM method and taking into account particularly the difference between lexical and non lexical objects.
    Key words : Formal Specification, Z, B, NIAM, Method, Liguistics considerations


    Modélisation de réseaux grâce à la composition et la connexité

    Joel Colloc, Guilaine Talens, Gilles Dubois

    Groupe MODEME - ESA CNRS 5055, IAE
    Université Jean MOULIN - Lyon III,
    15 Quai Claude Bernard BP 0638
    69239 Lyon Cedex 02
    Tél : 33.72.72.21.58, Fax : 33.72.72.45.50
    E-mail : colloc@univ-lyon3.fr, talens@univ-lyon3.fr


    _______________________________________________________________________
    Résumé :
    La modélisation de systèmes complexes nécessite le recours à différents types de liens. Dans le cadre d'une approche objet, les liens de composition permettent la construction incrémentale d'objets complexes. En complément de ces liens, nous proposons des liens de connexité pour établir un réseau d'objets composants au sein d'objets composés. Notre approche évite le recours à des références directes au sein des objets connectés et facilite ainsi la réutilisation et la généricité des types d'objets composants. Nous montrons à l'aide de quelques exemples une modélisation des liens de connexité au moyen d'une hiérarchie d'objets jonctions. Selon le domaine considéré, les objets jonctions permettent de définir les caractéristiques des flux circulant dans le réseau d'objets. Nous illustrons notre approche par la modélisation d'une partie du système nerveux de l'aplysie (animal marin choisi du fait de la simplicité de son système nerveux).
    Mots clés : Modélisation objet, composition, connexité, jonction, réseaux, flux.
    _______________________________________________________________________
    Abstract :
    Complex system modeling requires different link types. In an object oriented approach, composition links allow to incrementally build up complex objects. In addition to such links, we propose connexity links in order to create a component object network inside composite objects. Our approach avoids the use of direct references to connect objects and provides component object types with reuse and genericity facilities. With some examples, we show how connexity links can be designed by the mean of a junction object hierarchy. According to application domains, flows inside the object network can also be represented by junction objects. We modelize a part of aplysia nervous system as an illustration of our approach.
    Key words : Object oriented modeling, composition, connexity, junction, networks, flows.


    Une approche basée sur les points de vue pour la modélisation et l'interrogation de données dentaires.

    Hala Naja +, Youssef Lahlou +, Bruno Comte ++

    + CRIN - CNRS
    B.P. 239, 54506 Vandàuvre-lès-Nancy Cedex
    Tél : 83 59 20 64 Fax : 83 41 30 79
    E-mail : naja@loria.fr , lahlou@loria.fr

    ++ Faculté d'odontologie de Lyon
    18, place Ambroise Courtois.
    69008 Lyon, France
    Tél : 78 00 78 36 Fax : 78 75 98 92


    _______________________________________________________________________
    Résumé :
    Dans ce papier, nous présentons un modèle de données permettant une représentation multiple et évolutive d'objets. Ce modèle a été initialement conçu pour la modélisation d'applications de conception assistée par ordinateur (CAO). Dans cette étude, nous nous intéressons à la modélisation et l'interrogation de données dentaires en utilisant ce modèle, dans le but de l'élaboration d'un système de suivi de soins dentaires. Le suivi des soins s'effectuant selon les points de vue d'un chirurgien-dentiste et d'un orthodontiste. Nous proposons de gérer la multi-description des soins dentaires et leur évolution par les notions de point de vue et d'étape qui sont des notions inhérentes au modèle.
    Mots-clés : point de vue, étape, version, application dentaire.
    _______________________________________________________________________
    Abstract :
    In this paper, we present an approach allowing the multiple and evolutive representation of objects. Initially, this model was dedicated to computer-aided-design (CAD) applications. In this study, we focus on the modelling and the querying of dental data, by means of this model, in the aim of elaborating a system for the follow-up of dental cares. Dental cares are to be perfomed by both a dentist and an orthodontist. We propose to handle the multi-description of dental cares and their evolution, by using viewpoint and step notions which are the base notions of our model.
    Keywords: viewpoint, step, version, dental application.


    Une structuration du sous-système décisionnel des systèmes industriels de production

    Jean-Yves Goujon, Philippe Lacomme

    Université Blaise Pascal - Clermont-Ferrand II,
    LIMOS. 63177 AUBIERE Cedex FRANCE.
    Tel : (33) 73 40 74 43, Fax : (33) 73 40 74 44.
    E-mail : goulac@glm.univ-bpclermont.fr


    _______________________________________________________________________
    Résumé :
    Notre objectif est de fournir un cadre conceptuel pour la réalisation de modèles de simulation des systèmes de production à flux discrets en vue de leur optimisation. Dans le cadre d'une approche systémique, un système de production, est composé de trois sous-systèmes en interactions : le sous-système physique, logique et décisionnel. Le sous-système décisionnel est celui qui est le plus amené à évoluer au cours du temps pour prendre en compte la planification, la conduite et le suivi de la production. Nous proposons une vision conceptuelle de ce sous-système en enrichissant la notion de centre de décision avec des concepts de l'Intelligence Artificielle. Nous présentons les aspects conceptuels en utilisant la méthode OMT. Cette vision est replacée dans le cadre plus général d'un processus de modélisation nommé Analyse Spécification Conception Implantation. Notre apport concerne la phase de Conception qui se divise en Analyse/Spécification. La méthodologie développée à partir de cette vision, est mise en oeuvre sur un problème de dimensionnement d'un système de production de bobines d'allumage pour automobile.
    Mots clés : Systèmes industriels de production, Spécification du sous-système décisionnel, modèle Multi-Agents, Méthodologie de Modélisation, approche systémique, OMT.
    _______________________________________________________________________
    Abstract :
    This paper deals with giving a general environment to build simulation model of manufacturing systems in order to optimize them. In a systemic approach, a manufacturing system is structurated in a hierarchical way: the logical sub-system, the physical sub-system and the decisional sub-system. The decisionnal sub-system is the one who change most often to take into account planification and production process. We give a conceptual approach of this sub-system and we enrich the notion of decision center with Artificial Intelligence tools. We use OMT method to give conceptual aspects. This work must be replaced in the general context of Analysis Specification Conception Implemantation method. Our contribution is for the Conception step. The proposed environment is used for dimensionning a manufacturing system which produces coils.
    Key words : decisional sub-system Specification, Multi-Agents model, Modelling methodology, systemic approach , OMT.



    Une méthode d'intégration de schémas de conception

    I. Mirbel

    Laboratoire I3S, CNRS URA 1376,
    avenue A. Einstein, Sophia-Antipolis,
    06560 Valbonne, France
    Tél : 33 92 94 26 75, Fax : 33 92 94 96 98
    E-mail: mirbel@bavi.unice.fr
    _______________________________________________________________________
    Résumé :
    L'intégration de schémas est une étape importante du processus de conception. Elle permet de prendre en compte les points de vue des différents concepteurs impliqués dans une analyse complexe et/ou de taille importante. Elle permet également au cours du temps d'intégrer aux schémas de conception existants les changements résultant de l'évolution des systèmes d'information. Enfin, elle permet de constituer des schémas de plus en plus complets et réutilisables, en intégrant au fur et à mesure les expertises réalisées sur un domaine d'application.
    Dans cet article, nous présentons une méthode d'intégration de schémas de conception orientés objet. Cette méthode est basée sur des comparaisons structurelles, mais surtout sémantiques. Nous présentons également le modèle de thésaurus, inspiré de travaux réalisés en linguistique, que nous avons défini afin de pouvoir exploiter la dimension sémantique véhiculée par les schémas de conception.
    Mots clés : intégration, sémantique, conception orientée objet, réutilisation, évolution.
    _______________________________________________________________________
    Abstract :
    Schema integration is an important phase of the design process. It allows to take into account the viewpoints of the designers involved in a complex and/or wide-spreading design. Moreover, with time, it allows to integrate changes resulting from the information-system evolution into the existing design schemas. And at last, it allows to create more and more complete and reusable schemas by integrating progressively the new expertises of the application domain.
    In this paper, we present an integration method for object-oriented design schemas. This method is based on structural and above all semantic comparisons. We also present our model of thesaurus drawn from the domain of linguistics. This thesaurus allows the exploitation of the semantic dimension carried by the design schemas.
    Key words : integration, semantics, object-oriented design, re-use, evolution.



    Propriétés sémantiques et raffinement des relations de correspondances dans l'intégration de schèmas hétérogènes basée sur le modèle terminologique

    Ounissa Larab, AÓcha-Nabila Benharkat

    Laboratoire d'Ingénierie des Systèmes d'Information Institut National des Sciences Appliquées de Lyon
    20 av, Albert Einstein, bât 502, F-69621
    Villeurbanne CEDEX
    e-mail: nissa@lisiecrin.insa-lyon.fr , nabila@lisiecrin.insa-lyon.fr
    Fax: 72.43.87.13


    _______________________________________________________________________
    Résumé :
    Le succès d'une opération d'intégration de schèmas de Bases de Données (BD) dans les systèmes multibases hétérogènes dépend en majeure partie de la détermination fine et complète des relations de correspondances qui pourraient exister entre leurs ÈlÈments. Pour ce faire, les schémas à intégrer doivent Ítre sémantiquement riches et précis. C'est à dire, chacun de leurs éléments de données doit être suffisamment défini pour pouvoir se distinguer des autres éléments ou pour pouvoir s'identifier à certains d'entre eux. Notre méthode d'intégration de schémas pour les BD fédérées basée sur le raisonnement terminologique traite de l'intégration de terminologies traduisant les schémas d'export (parties de schémas des BD participant à la fédération). Malgré la puissance sémantique du formalisme terminologique, il ne peut traduire de façon précise toute la sémantique du monde réel des éléments de données de ces schémas. Afin de réaliser cet objectif et de pouvoir définir des relations de correspondances fines et complètes entre les différents termes des terminologies à intégrer, nous proposons d'enrichir leur sémantique par un ensemble de connaissances supplémentaires qui ne sont modèlisées ni au niveau des descriptions des termes ni au niveau de leurs extensions. Ce sont donc, des connaissances implicites qui expriment des propriétés sémantiques liées d'une part au contexte local d'une terminologie et d'une autre part au contexte global de la fédération.
    Mots clés: Bases de données interopérables, Bases de données hétérogènes, Bases de données fédérées, Intégration de schémas, Logiques de description, Systèmes terminologiques, Raisonnement taxinomique, Relations de correspondances, Propriétés sémantiques, Relations sémantiques.
    _______________________________________________________________________
    Abstract:
    The success of schema integration operation in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the condidate schemas to be integrated must be rich and precise semantically, ie., each of their data elements must be sufficiently defined for being distinguished from others or being identified to some of them.
    Our schema integration method for federated databases (DB) is a terminological reasoning-based approach. It deals with the integration of terminologies that translate the export schemas (parts of DB schemas which participate to the federation). In spite of it's semantic power, the terminological formalism can not express entirely and precisely the real world semantics of schema data elements.
    To achieve this goal, and to be able to define refined and complete correspondence relationships between terms, we propose to extend their semantics by a set of additional knowledge which is not represented neither at the description level of terms nor at their extension level, thus, this knowledge is implicite. It expresses semantic properties on one hand in connection with local context of terminologies and on the other hand in connection with global context of the federation.
    Keywords: Interoperable databases, Federated databases, Heterogeneous databases, Schema Integration, Description logics, Terminological systems, Taxonomic reasoning, Correspondence assertions, Semantic properties, Semantic relationships.


    Utilisation d'un système terminologique pour la rétro-conception des bases de données relationnelles

    Abdellatif Saoudi, Gilles Nachouki

    IRIN-IRESTE Atlanpole,
    la chantrerie CP 3003,
    44087 Nantes cedex 03, France
    Tél: 40 68 30 00, E-mail: asaoudi@ireste.fr

    _______________________________________________________________________
    Résumé :
    Dans cet article, nous présentons une méthode de rétro-conception des bases de données relationnelles existantes. L'originalité de notre méthode, réside dans l'utilisation du modèle conceptuel du système terminologique BACK (fondé sur les logiques terminologiques) comme une représentation intermédiaire. L'intérêt d'un tel choix est de tirer profit de l'important pouvoir descriptif ainsi que du raisonnement taxinomique offerts par ce type de système. Nous proposons un ensemble de règles de transformation du modèle relationnel vers le modèle BACK et de BACK vers un modèle orienté objet. Notre approche se veut, non seulement un processus pour l'enrichissement sémantique des schémas relationnels, mais aussi une voie de réflexion à l'intéropérabilité entre les modèles relationnels et les modèles orientés objet.
    Mots-Clés : rétro-conception, modèle relationnel, logiques terminologiques, relation de subsomption, intéropérabilité, modèle orienté objet.
    _______________________________________________________________________
    Abstract :
    In this paper, we describe a method of reverse engineering existing relational databases to object-oriented ones. The originality of our method lies in the fact that it uses a conceptual model of the terminological system BACK (based on terminological logics) as an intermediate representation. The interest in such a choice is to take advantages of the important descriptive power and taxonomic reasoning provided by such a system. A set of translation rules from both relational to BACK and from BACK to a OO model. Our approach claims to propose not only a semantically enrichment process of relational schemas but also a way of reflexion to the interoperability between the object-oriented model and relational one.
    Key words : reverse engineering, relational model, terminological logics, subsumption, interoperability, object-oriented model.


    Technique d'analyse de programmes pour la rétro-ingénierie de bases de données

    J. Henrard, J.-M. Hick, D. Roland, V. Englebert, J.-L. Hainaut

    Institut d'Informatique,
    21 rue Grandgagnage,
    5000 Namur, Belgique
    Tél: 32 81 72 49 85, Fax : 32 81 72 49 67
    E-mail : db-main@info.fundp.ac.be


    _______________________________________________________________________
    Résumé :
    Cet article propose d'appliquer une méthode générique de rétro-ingénierie de bases de données à une étude de cas. Nous présenterons brièvement une méthode générique de rétro-ingénierie de bases de données. Ensuite, nous décrirons l'atelier logiciel DB-MAIN et ses fonctionnalités utilisées lors de la rétro-ingénierie. Et plus particulièrement la notion de fragmentation de programme, qui est une technique puissante et efficace de compréhension du comportement d'un programme en un point donné. Le tout sera mis en oeuvre dans une étude de cas de complexité réaliste bien que de taille limitée.
    Mots clés : rétro-ingénierie, fragment de programme, DB-MAIN, base de données, méthode
    _______________________________________________________________________
    Abstract :
    In this paper we will apply a generic database reverse engineering methodology to a case study. We will sketch a database reverse engineering methodology. Then, we will describe the DB-MAIN CASE tool and its reverse engineering functionality. We will explain more precisely the program slicing. This is a powerful and useful technique to understand a program at a given point. All will be put together in a realistic, but small, case study.
    Key words : reverse engineering, program slicing, DB-MAIN, database, method


    Intégration d'environnements hétérogènes : World Wide Web, Carte à microprocesseur et Corba

    Philippe Merle1, Jean-Jacques Vandewalle2 et Eric Dufresne3

    1 LIFL équipe GOAL : Groupe Objets et Acteurs de Lille
    Laboratoire d'Informatique Fondamentale de Lille, URA CNRS 369
    Université de Lille I, Bât. M3, Cité Scientifique,
    59655 Villeneuve d'Ascq cedex, France
    Tél. : (33) 20 43 47 21, Fax. : (33) 20 43 65 66, e-mail : merle@lifl.fr

    2 RD2P : Recherche et Développement Dossier Portable
    CHRU Calmette, rue du Professeur Jules Leclerc,
    59037 Lille cedex, France
    Tél. : (33) 20 44 60 44, Fax. : (33) 20 44 60 45, e-mail : jeanjac@rd2p.lifl.fr

    3 CERIM : Centre d'Études et de Recherche en Informatique Médicale
    Faculté de Médecine, 1 Place Verdun,
    59045 Lille cedex, France
    Tél. : (33) 20 58 90 15, Fax. : (33) 20 52 11 22, e-mail : dufresne@univ-lille2.fr


    _______________________________________________________________________
    Résumé :
    L'émergence des systèmes hétérogènes à grande échelle soulève de nouveaux besoins d'intégration. Cet article propose une architecture globale d'intégration de trois supports de systèmes d'information : le World Wide Web, la carte à microprocesseur et les objets distribués Corba. Le WWW est la composante fédératrice de notre proposition. Cette approche a été validée par l'intégration d'une carte de suivi médical dans le WWW et l'architecture Corba grâce à un outil de navigation dans les objets CorbaWeb et à un serveur générique de cartes.
    Mots clés : World Wide Web, Corba, Carte à microprocesseur et Intégration.
    _______________________________________________________________________
    Abstract :
    The emergence of worldwide heterogeneous systems raises new needs for integration. This paper proposes a global architecture of integration for three information systems platforms: World Wide Web, smart cards and Corba distributed objects. The federative aspect of our proposal is brought by WWW. This approach has been validated by the integration of an healthcare smart card application into WWW and Corba architecture using a generic CorbaWeb object browser and a card object adapter.
    Key words : World Wide Web, Corba, Smart cards and Integration.


    Intégration de la structure du document dans le processus de recherche d'informations

    Franck Fourel

    Equipe Modélisation et Recherche d'Informations Multimédia
    CLIPS-IMAG, Campus - BP 53,
    38041 Grenoble Cedex, France
    Tél. : (33) 76 63 56 87, Fax : (33) 76 44 66 75
    E-mail: Franck.Fourel@imag.fr


    _______________________________________________________________________
    Résumé :
    Le but d'un système de recherche d'informations, ou SRI, est de retrouver les documents électroniques d'une base de documents qui correspondent le mieux à la requête d'un utilisateur. Un SRI est donc un élément clé pour la gestion électronique de documents (GED). Pour cela, un SRI modélise les documents de la base d'après leur contenu sémantique (indexation) et réalise la compréhension d'une requête utilisateur pour retrouver les documents qui y répondent. Nous nous intéressons dans ce cadre à la définition d'un modèle de représentation des documents structurés multimédia. Notre objectif est donc double. Il nous faut d'une part déterminer comment utiliser la structure dans le processus de recherche, indépendamment du média, et d'autre part intégrer différents types de données: texte, images fixes ou graphiques en caractérisant chacune d'entre elles afin d'extraire les informations qu'elles véhiculent. Nous nous concentrons ici sur la caractérisation des éléments clés du document structuré et sur l'intégration de sa structure logique dans un processus de recherche. Nous expérimentons nos travaux sur le SGBD à objets O2. Nous donnons les premiers résultats sur un corpus composé de dossiers médicaux.
    Mots clés : recherche d'informations, document structuré, document multimédia, graphes conceptuels.
    _______________________________________________________________________
    Abstract :
    An information retrieval system, or IRS, deals with the retrieval of electronic documents that have the best match to a user query. So, an IRS is a key component for the management of documents. The two basics components of IRS allow the modelling of the documents according to their semantic content (indexing), and the understanding of user query in order to retrieve the best documents (querying). We define a model for multimedia structured documents dedicated to the information retrieval purpose. To acheive our aim, we have to determine how the structure can be used in the retrieval process. In the other hand, the integration of different media (text, still images, graphics, ...) requires the characterization of their own features in order to capture their salient informations. In this paper we focus on the characterization of the main components of structured documents. We also show how we use the document structure in the retrieval process. We experiment our works with an OODBMS : the O2 system. Our document corpus is composed of medical reports. We give the first results of our experimentation.
    Keywords :
    Information retrieval, structured document, multimedia document, conceptual graphs.


    Generating Hypertext Views on Databases

    Gilles Falquet, Jacques Guyot, Ian Prince

    .U.I - Université de Genève, 24, Rue Général Dufour
    CH-1211 Genève, Suisse
    Tél: +41 22 705 77 70 - Fax: +41 22 320 29 27
    e-mail: {falquet, guyot, prince}@cui.unige.ch
    http://cuiwww.unige.ch/db-research/hyperviews/
    _______________________________________________________________________
    Resumé:
    Cet article présente un langage et un sytème de construction de vue hypertexte (hypervue) surune base de données. Nous étudions tout d'abord différentes manières de représenter les objets d'un base de données sous forme de composants d'un hypertexte: représentation directe des tuples, représentation d'ensembles de tuples et représentation de tuples associés. Nous montrons ensuite comment ces approches sont intégrées dans un langage déclaratif de définition d'hypervues. Ce langage permet de spécifier comment le contenu des différents types de noeuds ainsi que les liens hypertextes sont formés à partir du contenu de la base de données. Nous donnons également des indications sur la conception de la structure hypertextuelle en fonction des relations sémantiques représentés dans le schéma de la base de données.
    Le prototype de traducteur qui a été réalisé génère des hypervues pour le système Worldwide Web (W3) à partir d'une base relationnelle. Nous décrivons les principaux composants du système réalisé et montrons comment le processus de traduction peut rémédier à certains défauts du modèle W3 d'hypertexte.
    Mots clés: bases de données, sémantique des données, vues, hypertextes, génération d'hypertextes
    _______________________________________________________________________
    Abstract:
    This paper presents a language and a system to construct a hypertextual view (a hyperview) of the content of a database. We first study different approaches to map database objects to hypertext components: tuple level mapping, tuple sets mapping, and associated tuples mapping. Then we present a declarative hyperview definition language which integrates these approaches. With this language one can specify for each node type and each link type how to construct it from the database contents. We also show how the semantic relationship represented in the database schema can be used to design the hypertext structure.
    A prototype translator has been implemented to generate a Worldwide Web (W3) hyperview of a relational database, the main components of this generation system are presented. We also show how the translation process can overcome some shortcoming of the W3 hypertext model.
    Keywords: databases, database semantics, views, hypertexts, hypertext generation. Une méthode d'intégration de schémas de conception


    Extraction et synthèse de connaissances à partir de bases de données hétérogènes

    T. Dkaki (1), J. Mothe (1,2)

    (1) Institut de Recherche en Informatique de Toulouse,
    Equipe SIG,
    31062 Toulouse Cedex

    (2) Institut Universitaire de Formation des Maîtres

    Email : {dkaki/mothe}@irit.fr -
    Tel : 61 55 67 81 - Fax : 61 55 62 58


    _______________________________________________________________________
    Résumé :
    Des systèmes de recherche d'informations de plus en plus sophistiqués sont nécessaires pour exploiter les quantités sans cesse croissantes d'informations électroniques accessibles sur les réseaux mondiaux.
    Parmi les fonctionnalités de ces systèmes, celles de découverte de connaissances reposent sur des outils d'extraction et de synthèse d'informations stratégiques. Les activités de découverte de connaissances dans les bases de données doivent résoudre différents problèmes : la sélection des données, l'analyse de ces données pour en extraire des informations cachées, enfin, la représentation la plus explicite possible des résultats de cette analyse.
    Dans cet article, nous présentons un tel système opérant sur des bases hétérogènes. Nous proposons une méthode permettant la constitution d'un ensemble homogène d'information à partir de sources hétérogènes. Notre démarche consiste à cibler l'information utile, à la rapatrier et à en fournir une vue unifiée. Nous proposons également différents outils d'analyse permettant de répondre aux objectifs de classification, d'association et de séquencement des données. Ces outils, issus de l'analyse de données, sont complétés par des modules de visualisation des résultats. Ils permettent de représenter les informations selon plusieurs formalismes et plusieurs points de vue. L'ensemble de ces modules d'analyse et de visualisation correspondent à des opérateurs primitifs qui peuvent être combinés pour élaborer des résultats de plus en plus sophistiqués. Ils assurent également une interaction avec l'utilisateur qui permet une adaptation à ses besoins spécifiques.
    Mots-clés : Systèmes de découverte de connaissances, Interprétation de données, Analyse de données, Bases hétérogènes, Interface de visualisation multi-dimensionnelle.
    _______________________________________________________________________
    Abstract :
    The growing of information available by electronic way on the international networks leads to the need of more and more sophisticated information retrieval systems. Among the fonctionalities of these systems, the knowledge discovery fonctionalities are based on hidden strategical information extraction and synthesis of this extracted information. Knowledge discovery systems face several problems: selecting the data on which the study will be applied, analysing that data in order to extract hidden information, finally, representing the analysis results in the most explicit way. In this paper, we present a knowledge discovery system handling heterogeneous databases. We propose a method which produce an homogeneous set of data from heterogeneous sources of information. Our approach consists in selecting the useful information, retrieving it and giving an unified view of it. We also propose several tools for data analysis, which allow the system to answer the objectives of classification, data correlation, and temporal data relationships. These tools are complemented by result visualisation tools which allow the system to represent the information according to several formalisms and several points of view. This set of analysis and visualisation modules correspond to primitive operators which can be combined to produce more and more precise results. They also permit an interaction with the user: the system can adapt itself to the specific users' needs.
    Key-words : Knowledge discovery in database, Data mining, Data analysis, Heterogeneous databases, Multidimensional Visualisation interface.


    Intégration de la structure du document dans le processus de recherche d'informations. Une approche pour la mise en oeuvre de documents réactifs

    Eric Gouardères

    IRIT/SIG - U.P.P.A
    Dpt. informatique ,Université de Pau et des Pays de l'Adour
    B.P. 576,
    64012 PAU UNIVERSITE Cedex - FRANCE
    Tel : +33 59 92 31 54 e-mail : gouarder@univ-pau.fr


    _______________________________________________________________________
    Résumé :
    Cet article concerne l'évolution des hypertextes pour une meilleure adéquation à l'usager et présente un système expertexte pour la mise en oeuvre de documents réactifs. Dans cette approche, la navigation est contrÙlée par un mécanisme d'aide non intrusive. L'usager peut ainsi Ítre guidé discrètement dans l'espace d'informations. Le modèle d'expertexte est fondé sur l'intégration d'une composante hypertexte et d'une composante experte. Cette dernière s'appuie sur un modèle de système tutoriel intelligent pour mettre en oeuvre une stratégie de guidage de la consultation. Cette stratégie est transparente pour le lecteur et elle est définie sous forme d'un chemin a suivre dans le réseau d'informations. En outre, le module tutoriel supporte un mécanisme de construction dynamique de ce chemin, qui autorise une adaptation de la stratégie au comportement de l'usager. L'utilisation d'une approche orientée objet permet de modéliser chaque composante et de spécifier un système expertexte comme une société d'objets qui interagissent au moyen d'événements.
    Cet article insiste principalement sur les mécanismes d'assistance et de guidage de l'usager qui sont nécessaires pour l'exploitation de documents réactifs
    Mots Clés : Document réactif, Expertexte, Hypertexte, Conception Objet, Modèle événementiel.
    _______________________________________________________________________
    Abstract :
    This paper presents an evolution of hypertext systems designed for a better adaptation to the user. It describes an expertext system in order to support responsive documents. This approach aims at implementing a non intrusive help mechanism to control the navigation. The user can thus be guided neatly in the information space. The model of expertext is based on the integration of a hypertext component and an expert component. The expert component is built on a model of Intelligent Tutoring System to implement a guidance strategy of the consultation. This strategy is transparent for the reader and defines a path to follow in the information network. Furthermore, the tutorial module supports a dynamic construction of this path. This allows the system to adapt its strategy to the user's behaviour. The use of an object oriented approach allows us to model each component and to specify an expertext system as a set of objects that interact through events.
    This paper focuses mainly on assistance and guidance mechanisms which are necessary to implement responsive documents.
    Keywords : Responsive Document, Expertext, Hypertext, Object Oriented Design, Event Model.


    Propagation de versions dans les objets complexes

    C. Urtado, C. Oussalah

    LGI2P / EMA - EERIE,
    Parc Scientifique Georges Besse,
    30000 Nîmes, France.
    Tel : (+33) 66 38 70 00, Fax : (+33) 66 38 70 74
    E-mail : urtado@eerie.fr, oussalah@eerie.fr


    _______________________________________________________________________
    Résumé :
    Cet article présente un modèle de propagation de versions d'objets complexes c'est-à-dire reliés à d'autres objets par des relations de dépendance comme la composition, l'héritage, l'association, etc. Ce modèle associe les capacités à propager les versions, appelées stratégies de propagation, aux relations, rendant ainsi la propagation de tout type d'objet complexe homogène. Il se distingue donc des modèles de propagation de versions existants par sa généricité. Il permet, en effet, la définition et l'utilisation de stratégies de propagation multiples, rendant ainsi la sémantique de la propagation de versions configurable par le concepteur d'une application. Ce modèle peut être appliqué à n'importe quel type de relation (composition, héritage, etc.). Les opérations propagées par défaut sont la création et la destruction de versions d'objets. Ce modèle a été, dans un premier temps, appliqué à la propagation de versions d'objets composites.
    Mots-clés : versions d'objets, gestion de versions, propagation multi-stratégies, relations de dépendance, stratégie, règle.
    _______________________________________________________________________
    Abstract :
    This paper presents a propagation model for complex object versions. Complex objects are object linked to other objects by means of dependence relations such as composition, inheritance, association, etc. This model associates the version propagation capabilities with relations making the propagation of any type of complex object homogeneous. It can thus be distinguished from other version propagation models by its genericity. Indeed, it allows the definition and use of multiple propagation strategies thus making the version propagation semantics user-customizable. It may be applied on all types of relations (composition, inheritance, etc.). The operations propagated are those of object version creation and destruction. The model has, for now, been applied to composite object version propagation.
    Key-words : object versions, version management, multi-strategy propagation, dependence relations, strategy, rule.


    La Logique de Réécriture : un formalisme pour modéliser les bases de données actives

    Yahia RABIH

    Laboratoire d'Informatique (LIMOS),
    Université Clermont-Ferrand II
    Complexe Scientifique des Cézeaux,
    63177 Aubière Cedex, France
    Tél : (33) 73 40 74 39, Fax : (33) 73 40 74 44
    E-mail: rabih@libd1.univ-bpclermont.fr


    _______________________________________________________________________
    Résumé :
    Incorporer l'activité dans les bases de données orientées objet, par l'intermédiaire de règles actives, nécessite de garantir certaines propriétés telles que la terminaison et la confluence. Dans cet article, nous proposons une nouvelle approche, pour le traitement des règles actives, basée sur un formalisme de réécriture : la logique de réécriture. Nous modélisons les règles actives comme des règles de réécriture dans cette logique. Ces règles communiquent entre elles au moyen de messages. Elles écrivent l'état courant de la base de données. En modélisant l'activité dans les bases de données orientées objet à travers les règles de réécriture, nous pouvons bénéficier des résultats des travaux sur la terminaison et la confluence dans les systèmes de réécriture. Cette approche peut servir, d'une part, de base pour le développement des applications de base de données et d'autre part, comme moyen pour prouver qu'une règle active se comporte conformément aux spécifications de l'application.
    Mots-clés : systèmes de réécriture, logique de réécriture, base de données orientée objet active, confluence, terminaison.
    _______________________________________________________________________
    Abstract :
    Introducing activity in object-oriented databases with active rules needs to guarantee certain proprieties like termination and confluence. In this article, we propose a new approach for processing actives rules based on rewriting formalism : the rewriting logic. We modelling active rules as rewriting rules in this logic. This rules communicate by means of messages. They describe the current database state. Owing to this approach, we can exploit the potential of actual results on termination and confluence for analysing the behaviour of active rules. This approach can be used as firstly, a basic tool in the development of database applications, and secondly as a mechanism for proving that rules process according to the specifications.
    Key words : rewriting systems, rewriting logic, active object-oriented database, confluence, termination.


    Raisonnement incertain et flou pour l'aide à la décision dans les Systèmes d'Information Géographique

    Denis SAINT-JOAN

    IRIT - UPS
    118 Route de Narbonne,
    31062 Toulouse Cedex, France
    Tél : (+33) 61 55 69 28, Fax : (+33) 61 55 62 58
    E-mail: stjoan@irit.fr


    _______________________________________________________________________
    Résumé :
    Les utilisateurs de SIG sont de plus en plus demandeurs de systèmes d'analyses et/ou d'aide à la décision spatiale pour la résolution de problèmes complexes qui ne s'apparentent pas à une simple superposition de cartes. Après une première étude basée sur un système expert incertain, nous avons conçu et réalisé le système GEODES (GEOgraphic Decision Expert System) qui permet à un utilisateur d'exprimer de manière aisée les connaissances symboliques spécifiant un problème à travers une interface graphique tout en tenant compte, d'une part, du caractère spatial des données et des connaissances, et d'autre part, du caractère flou de cette connaissance. Il utilise cette spécification du problème et les données géographiques pour fournir une carte de solutions du problème posé montrant les zones favorables au problème dans des domaines tels que la géographie, l'écologie, l'agriculture, l'industrie, ... C'est un système expert flou utilisant plusieurs types de données (rasteur ou vecteur) et manipulant plusieurs types de règles (simple, multiples, graduelles).
    Mots-clés : SIG, système expert, logique floue, traitement rasteur et vecteur.
    _______________________________________________________________________
    Abstract :
    GIS users are increasingly turning to decision spatial system to assist them solving complex spatial problems which are not simply maps overlay. So, we have implemented the GEODES (gEOgraphic Decision Expert System) system that allows users to specify easily symbolic knowledge of a problem through a graphic user interface by using, on the one hand, data and knowledge spatial characteristics and, on the other hand, fuzzy knowledge. This problem specification and geographic data are used by the system to provide a problem solution map showing favorable and less favorable areas. GEODES can be used in many domains as geographic, ecology, agriculture, manufacturing, ... It is a fuzzy expert system using several kinds of data (raster and vector) and managing several types of rules (simple, multiple, gradual).
    Key words : GIS, expert system, fuzzy logic, raster and vector computing.


    Gestion des scénarios multi-média

    Chabane Djeraba, Karima Hadouda

    IRIN, IRESTE,
    Université de Nantes
    La Chantrerie, CP 3003,
    44087 Nantes cedex 03, France
    Tel : 33 40 68 30 00 fax : 33 40 68 30 66
    e-mail : cdjeraba@ireste.fr


    _______________________________________________________________________
    Résumé :
    Nous présentons, dans ce papier, une approche de gestion des scénarios multi-média qui prend en considération : - la gestion de la durée des objets multi-média (connue ou inconnue), - la spécification temporelle de scénario multi-média avec détection d'erreurs de spécifications, - la création automatique du réseau de Petri basé sur les spécifications temporelles, - la génération du scénario multi-média à partir de l'interprétation du réseau de Petri, et finalement la gestion des interactions de l'utilisateur en se basant sur la composition des réseaux de Petri.
    Mots clés :Multi-média, spécification temporelle, réseau de Petri temporisé, interaction, base de données.
    _______________________________________________________________________
    Abstract :
    In this paper, we present an approach to multimedia scenario management in a database system that considers : object-oriented concepts for multimedia and scenario modeling; both known and unknown multimedia object playing duration; temporal specification language; Petri net automatic generation based on temporal specifications; automatic detection of user temporal specification errors and contradictions; and finally user interactions based on composite Petri net features.
    Keywords :Object-oriented concepts, temporal specification, temporal Petri net, consistency, interaction, multimedia database.


    Modélisation et Vérifications comportementales

    Rosine Cicchetti (1,3) Pascal Poncelet (1,3) Maguelonne Teisseire (2)

    (1) IUT d'Aix en Provence,
    Département Informatique

    (2) LIRMM, URM CNRS 9928 et ISIM,
    Université de Montpellier II

    (3) LIM - URA CNRS 1787 -
    Université de la Méditerranée
    Faculté des Sciences de Luminy, Case 901,
    163 Avenue de Luminy,
    13288 Marseille cedex 9
    E-mail: Rosine.Ciccheti@lim.univ-mrs.fr


    _______________________________________________________________________

    Résumé :
    IFO2 est un modèle conceptuel, extension du modèle sémantique IFO [Abiteboul, Hull 87]. Pour sa partie comportementale, IFO2 adopte une approche "tout-événement" symétrique de la philosophie "tout-objet" de sa partie structurelle. Cet article présente certains mécanismes de vérification proposés pour les spécifications comportementales IFO2. Ils permettent un double niveau de filtrage des erreurs de conception et automatise la détection de situations critiques, conduisant à des comportements aberrants du système modélisé, parfois délicats à percevoir avec d'autres représentations. Ainsi le concepteur dispose des moyens de contrôler la représentation dynamique élaborée et le développeur d'applications actives peut trouver dans notre approche la possibilité de spécifications de haut niveau, contrôlées et dérivables.
    Mots Clés : Approche conceptuelle, Modélisation événementielle, Vérification de spécifications dynamiques, Analyse statique du comportement.
    _______________________________________________________________________
    Abstract :
    IFO2 is a conceptual model extending the semantic model IFO [Abiteboul, Hull 87]. From a behavioural viewpoint, IFO2 proposes a "whole-event" philosophy mirroring the "whole-object" approach of its structural part. This paper presents verification mechanisms defined for IFO2 behavioural specifications. These mechanisms offer a twofold filtering of anomalies, reveal modelling defects and highlight senseless behaviours, not easily detected with other representations. Thus designers are provided with controls applying on a high level description of behaviour while a conceptual framework is offered to active database programmers.
    Key words : Conceptual approaches, Event modelling, Dynamic verifications, Behavioural static analysis.


    Un modèle formel pour l'évolution

    Laurent Domenech, Thérèse Libourel

    Laboratoire LIRMM, UMR 9928
    Université de Montpellier II CNRS
    161 rue Ada,
    34392 Montpellier Cedex 5
    Tél : 33 67 41 85 85, Fax : 33 67 41 85 00
    E-mail : domenech@lirmm.fr, libourel@lirmm.fr


    _______________________________________________________________________
    Résumé :
    Cet article présente un modèle formel destiné à prendre en compte les problèmes d'évolution dans le cadre des systèmes à objets persistants. Le modèle explicite la notion d'environnement construit à partir des relations classiques d'héritage, d'instanciation, de composition. Il est complété par le mécanisme de "localisation" (lookup) défini sur les relations précédentes. La spécification formelle du modèle a été effectuée en Z.
    Mots clés : Base de données, évolutions, modèle, spécification, Z.
    _______________________________________________________________________
    Abstract :
    In this paper a formal model for oriented object system supporting schema and object evolutions is presented. The model propose is based on notion of environment built on classical relations of Object Oriented systems. A localisation mechanism function (lookup) of the former relation completes this model. The formal specification of this model is described in Z language.
    Key words : Database, evolutions, model, specification, Z.