Plénières de COSI - 2009
Ontologies : Creating Order out of Chaos, State of the Art and Challenges
Professor Aris M. Ouksel
University of Illinois at Chicago, USA
Abstract. Ontologies are nowadays ubiquitous in many enterprise systems, they form the backbone
of the Semantic Web, they are used in electronic commerce, and other applications such
as bioinformatics and medicine. As a result, system designers have developed a large
number of ontologies using a variety of tools and languages. These ontologies cover
several disjoint or partially-overlapping domains, at different levels of detail and
granularity. A main objective of this talk is to discuss the state of the art and the semantic
challenges in constructing ontologies. Further, the vast exploitation of ontologies
unavoidably raised the challenging problem of how to manage ontologies in a dynamic
environment, and in turn resulted in the necessity to develop tools for: the discovery of
ontologies on the Web, their comparison, their fusion, their whole or partial reuse, their
management in multiple versions, and finally, the construction of best-fit ontologies.
Another objective of this talk is to present some of the techniques currently in use or
being developed to deal with these challenges.
L'algorithmique de génération
Professeur L. Nourine
Université Blaise Pascal, Clermont-Ferrand
Résumé. L'algorithmique de génération d'objets combinatoires consiste à générer la liste de
tous les objets combinatoires qu'on peut définir sur une structure discrète. On peut citer par exemple, le fameux code de Gray
pour générer l'ensemble des parties d'un ensemble. Dans cet exposé on s'intéressera à la définition d'un problème de génération
ainsi que la complexité d'un algorithme de génération. On montrera quelques exemples liés aux cliques et bicliques maximales
d'un graphe. On terminera l'exposé avec le problème de génération des transversaux minimaux d'un hypergraphe qui est encore
ouvert, ainsi que les applications de l'algorithmique de génération (fouille de données, apprentissage, base de données, IA,....).
Parallel optimization and financial mathematics
Pierre Spiteri
IRIT / ENSEEIHT - UMR CNRS, France
Abstract. For a mathematical problem, derived from financial mathematics, we set
up a link between the formulation of the specific problem and an optimization problem defined
on an adapted space with respect to the economic specification of the studied application.
The term of the classical Euler conditions leads to the solution of boundary values problems;
more specifically, we have to solve evolutive variational equalities or inequalties according
to the economic context. The previous problem derived from the Euler conditions are solved by
parallel synchronous or, more generally, asynchronous iterative algorithms for which the
convergence is analyzed by various ways. Finally, results of parallel experiments carried out
on various multiprocessors architectures and grid network will be presented; particularly the
parallel synchronous and asynchronous iterative algorithms are compared.
Les Environnements de Génie Logiciel centrés Procédés (PSEE) :
Panorama des approches de modélisation de procédés logiciels
Professeur Ahmed-Nacer Mohamed
Laboratoire des Systèmes Informatiques - USTHB, Alger
Abstract. Les modèles de procédés de développement de logiciels sont au coeur de la démarche de production de tout
logiciel complexe. En effet, un procédé logiciel est reconnu comme un facteur majeur dans la qualité des produits logiciels.
Ce tutorial dresse un panorama des environnements de génie logiciel centrés procédés (PSEE : Process Centered Software Environment) permettant la
définition de modèles de procédés ainsi que les mécanismes pour leur interprétation. Les différentes approches adoptées pour la modélisation
des procédés logiciels y sont présentées. Nous situons leurs évolutions à travers les différents formalismes proposés, depuis les premières
approches de « Process Programming » jusqu'aux approches de modélisation basées composants. Les problèmes d'évolution et d'adaptation
dynamique sont passés en revue, et les caractéristiques d'élaboration et de réutilisation des composants de procédés y sont discutées.