Contract-based approach to analyze software components

International audienceComponent-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and compositional conflicts among components constitute a crucial barrier to successful software composition. In this paper, we present a contract-based approach to analyze and model the properties of components and their composition in order to detect and correct composition errors. With this approach we characterize the structural, interface and behavioural aspects, and a specific form of evolution of these components. Enabling this, we propose the use of the LOTOS language as an Architecture Description Language (ADL) for formalising these aspects

An Adaptation Technique for Multimedia Applications Based On the User Context to Manage the Service Quality

Abstract-Currently, the adaptation of multimedia applications is necessary, because documents can be accessed at anytime and anywhere with a wide variety of devices, such as PDAs, laptops and tablets. Unfortunately, in most applications dedicated to this type of problem, are essentially based on the heterogeneity of the data (image, sound, text, video and encoding format for each type), related to a user context, the context of terminal and network receiver and transmitter. In this paper. We propose an architecture on-the-fly adaptation of multimedia documents. More precisely, we propose a procedure that selects the relevant adaptation policies to build a document adapted to ensure quality of service and to consider the limits users (physical handicap, preferences of users)

Supporting Virtual Enterprise Systems Using Agent Coordination

International audienceOpen environments like the Internet or corporate intranets enable a large number of interested enterprises to access, filter, process, and present information on an as-needed basis. These environments support modern applications, such as virtual enterprises and inter-organizational workflow management systems, which involve a number of heterogeneous resources, services, and processes. However, any execution of a virtual enterprise system would yield to disjoining and error-prone behavior without appropriate techniques to coordinate the various business processes. This paper reports on the design and implementation of a flexible agent-based framework for supporting the coordination of virtual enterprises and workflow management systems. The paper also shows how an agent coordination infrastructure, which is explained by social constraints, can impact on the engineering of highly dynamic virtual enterprises and workflow management systems by presenting a simple case study

Contract-based approach to analyze software components

International audienceComponent-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and compositional conflicts among components constitute a crucial barrier to successful software composition. In this paper, we present a contract-based approach to analyze and model the properties of components and their composition in order to detect and correct composition errors. With this approach we characterize the structural, interface and behavioural aspects, and a specific form of evolution of these components. Enabling this, we propose the use of the LOTOS language as an Architecture Description Language (ADL) for formalising these aspects

Mahmoud Boufaida. Génération d'interfaces et conduite du dialogue : le système GEODE, Thèse de doctorat de l'université Pierre et Marie Curie-Paris VI, 23 octobre 1993

Boufaida Mahmoud. Mahmoud Boufaida. Génération d'interfaces et conduite du dialogue : le système GEODE, Thèse de doctorat de l'université Pierre et Marie Curie-Paris VI, 23 octobre 1993. In: Sciences et techniques éducatives, volume 1 n°1, 1994. pp. 117-118

Mahmoud Boufaida. Génération d'interfaces et conduite du dialogue : le système GEODE, Thèse de doctorat de l'université Pierre et Marie Curie-Paris VI, 23 octobre 1993

Boufaida Mahmoud. Mahmoud Boufaida. Génération d'interfaces et conduite du dialogue : le système GEODE, Thèse de doctorat de l'université Pierre et Marie Curie-Paris VI, 23 octobre 1993. In: Sciences et techniques éducatives, volume 1 n°1, 1994. pp. 117-118

The Viewpoint Mechanism for Object-oriented Databases Modelling, Distribution and Evolution

During the past years, the most of research works dealing with the object multiple representation and evolution propose to enrich the monolithic vision of the classical object approach in which an object belongs to one hierarchy class. In particular, the viewpoint concept receives recently a widespread attention. Its integration to a data model gives flexibility for the conventional object-oriented data model and allows one to improve the modelling power of objects. The viewpoint paradigm can be used as a means for object multiple descriptions and as a means to master the complexity of the current database systems permitting a distributed manner to develop them. The motivation of this paper is twofold: to define an object data model integrating viewpoints in databases and to present a federated database system integrating multiple sources following a local-as-extended-view approach

Outils pour la spécification de stratégies pédagogiques pilotant des interfaces graphiques réactives

We describe a tool-box of utilities for designing pedagogical dialogues, intended for specifying, compiling and executing reactive dialogue elements as well as tutoring strategies. It leads to an incremental and iterative development of courseware and allows an author to validate the conceptual faithfulness and the ergonomics of the student interface without programming. It produces tutorials with a better balance between planified tutoring and free exploration of micro-worlds. The architecture of the system makes the control of dialogue independent from the representation of the domain matter, and turns the prototype into a kernel for a generic tutor. We then discuss some perspectives for evolving the system into a generator for intelligent tutoring systems.Nous décrivons un ensemble d'outils de conception de dialogues pédagogiques, destiné à la spécification, la compilation et à l'exécution aussi bien d'éléments d'interaction graphiques réactifs que de stratégies pédagogiques. Il conduit à un développement incrémental et itératif de didacticiels, permettant de vérifier la fidélité conceptuelle et l'ergonomie de l'interface élève sans avoir à programmer. Il produit des didacticiels mieux équilibrés entre le tutorat planifié et l'exploration libre de micro-mondes. L'architecture de ce système rend la conduite du dialogue indépendante de la représentation de la matière à enseigner et fait du prototype un noyau de tuteur générique. Nous discutons en conclusion les perspectives d'évolution vers un générateur de tutoriels intelligents.Boufaida Mahmoud, Barril Patrick. Outils pour la spécification de stratégies pédagogiques pilotant des interfaces graphiques réactives. In: Sciences et techniques éducatives, volume 1 n°4, 1994. pp. 503-520