Gérer les informations temporelles dans et par les modèles informatiques

International audienceTemporal information proves to be prominent in many scientific problems. As regards Geography, temporal concerns are often in long or mean term interaction with spatial aspects and calendar issues. Practical and theoretical approaches necessarily cross-reference various viewpoints from several scientific communities. The use of formal models is a means to make languages and practices more accurate and efficient, hence leading to more efficiency (consistency, correction, reusability…). The will to access larger, more and more complex and heterogeneous pieces of information, leads to master the way to populate and query data warehouses and knowledge bases. With several paradigms, computer science, provides models which can express and help solving many current and forthcoming problems. This paper gives an overview of the state of art in the matter of temporal modelling, accompanied with some meta-model instances and some insight into practical applications.Les informations temporelles jouent un rôle important dans une grande majorité de problèmes scientifiques. En géographie, l'interaction avec les aspects spatiaux et la référence à des calendriers sur de longues périodes est fréquente. Les approches théoriques ou expérimentales croisent nécessairement différents points de vue de plusieurs communautés scientifiques. Pour préciser et unifier les langages et les pratiques, l'utilisation systématique de modèles plus ou moins formels est une garantie d'efficacité (cohérence, correction, réutilisation, etc.). L'accès à des masses toujours plus importantes d'informations complexes et hétérogènes, la volonté de capitalisation des résultats nécessitent le peuplement et l'interrogation d'entrepôts de données et de bases de connaissance. L'informatique produit des modèles qui permettent de formuler et de résoudre un grand nombre de questions en la matière. Le présent article donne un état de l'art sur le sujet ainsi que des exemples de modèles assortis de références à des travaux applicatifs

Programmation distribuée et migration de processus

Ce mémoire propose un modèle de programmation distribuée basé sur la migration de processus pouvant communiquer à l’aide de canaux de communication. Ce travail cadre bien avec le contexte actuel où l’augmentation de la puissance de traitement passe par les processeurs multicoeurs et les systèmes distribués, qui permettent l’exécution de plusieurs processus en parallèle. L’étude de différentes algèbres de processus et langages de programmation permettant le parallélisme a tout d’abord permis de comparer leurs différentes caractéristiques. Suite à cette étude, nous présentons différents concepts nécessaires à la mise en place de notre modèle distribué par migration de processus, dans le cadre des langages objets qui imposent certaines contraintes. Finalement, l’implé- mentation de notre modèle à l’aide des fonctionnalités de Stackless Python permet de voir comment chacun des concepts a été mis en place. Cette implémentation se présente sous la forme d’une extension qui permet la transformation de programmes existants en programmes distribués

Sur un Exemple de Patrick Greussay

This note was written at the occasion of the retirement of Jean-Francois Perrot at the Universite Pierre et Marie Curie (Paris VI). In an attempt to emulate his academic spirit, we revisit an example proposed by Patrick Greussay in his doctoral thesis: how to verify in sublinear time whether a Calder mobile is well balanced. Rather than divining one solution or another, we derive a spectrum of solutions, starting from the original specification of the problem. We also prove their correctness

Epistémologie et éthique technologique

Conférence au Centre franco russe de Moscou, 20 septembre 2010Les nouvelles relations entre épistémologie et éthique dans les objets scientifiques contemporain

Retour sur interactivité

Cet article discute de l'interactivité sous trois éclairages de nature différente. Dans une première partie, l'auteur tente de renouveler la définition de l'interactivité dans ses rapports à la simulation de la présence humaine. Une deuxième partie s'attache aux enjeux éducatifs propres à l'interactivité, cherchant à montrer pourquoi et comment devrait s'imposer un objectif central consistant à favoriser, entre autres, le « devenir auteur » des générations montantes. La troisième partie porte sur le récit interactif. L'auteur fait apparaître qu'à travers les questions de la séquentialité du récit, des temporalités de sa réception, de la présence de l'interlecteur dans la narration ou de l'irruption d'un tiers le programme dans la relation auteur/lecteur, ce sont toujours des théories fictionnelles de la vie qui se tiennent en arrière-plan.This article presents a discussion of interactivity from three very different viewpoints. In the first section, the author re-examines the definition of interactivity as it is related to simulation and considering human characteristics. A second section presents educational issues related to interactivity and attempts to show both why and how to promote a central objective which facilitates "becoming an author". The third section describes interactive narrative which reveals that through questions about narrative sequences, aspects of temporality, presence of the reader or the program in the relationship between author-reader, that "fictional theories" about life are always present in the background.Este articulo discurre sobre la interactividad desde très puntos de vista de diferente naturaleza. En la primera parte, el autor ensaya de renovar la definiciôn de interactividad en Io que hace a su relaciôn con la simulacion de la presencia humana. En la segunda parte, encara los desaffos educativos propios de la interactividad, buscando mostrar porqué y como deberia imponerse un objetivo central destinado a favorizar, entre otros, el "convertirse en autor" de las generaciones montantes. La tercera parte trata sobre el relato interactivo, el cual révéla que mas alla de las cuestiones de secuencialidad, de las temporalidades de su recepcion, de la presencia del interlector en la narraciôn o en la irrupcion de un tercero - el programa - en la relaciôn autor/lector, son siempre las teorias de Io fîctivo que se encuentran como tela de fondo del relato.Dieser Artikel bespricht die Interaktivität aus drei verschiedenen Blickwinkeln. AIs Erstes unternimmt der Verfasser, die Interaktivität in ihrem Zusammenhang mit der Simulation eines menschlichen Gegenübers neu zu definieren. Dann erôrtert er die Bedeutung der Interaktivität fiir die Erziehung und versucht darzulegen, weshalb und wie sich die Förderung des "Autor-Werdens" der kommenden Generationen als Hauptziel durchsetzen sollte. Im dritten Teil wird das interactive Erzählen untersucht, durch das klar wird, dass jenseits der Fragen der sequentiellen Eigenschaft des Erzählens, der Temporalität der Rezeption, der Existenz eines "Zwischen-Lesers" in der Erzählung oder des Eindringens eines dritten Elementes - des Programms - in die Autor-Leser-Beziehung immer die fiktionalen Theorien des Lebens im Hintergrund stehen

Méthodes orientées agent et multi-agent

http://www.emse.fr/~picard/publications/bernon09industrie.pdfNational audienceLes systèmes multi-agents (SMA) ont montré leur pertinence pour la conception d'applications distribuées (logiquement ou physiquement), complexes et robustes. Le concept d'agent est aujourd'hui plus qu'une technologie efficace, il représente un nouveau paradigme pour le développement de logiciels dans lesquels l'agent est un logiciel autonome qui a un objectif, évolue dans un environnement et interagit avec d'autres agents au moyen de langages et de protocoles (voir le chapitre 1 " Introduction aux systèmes multi-agents "). Souvent, l'agent est considéré comme un objet " intelligent " ou comme un niveau d'abstraction au-dessus des objets et des composants (voir le chapitre 5 " Composants logiciels et systèmes multi-agents "). Les méthodes de développement orientées objet - au vu des différences entre les objets et les agents - ne sont pas directement applicables au développement de SMA. Il est alors devenu nécessaire d'étendre ou de développer de nouveaux modèles, de nouvelles méthodologies et de nouveaux outils adaptés au concept d'agent

L'interface native de Nit, un langage de programmation à objets

L'interface native permet à un logiciel de profiter des avantages des langages natifs ainsi que de ceux du langage de haut niveau. Elle intervient entre les différents langages pour permettre les appels de méthodes et la conversion des données. Son utilisation amène cependant généralement une perte de sûreté à l'exécution du logiciel et son emploi est souvent complexe. Dans le cadre de cette recherche, nous développons l'interface native du langage de programmation à objets Nit. Notre recherche vise à résoudre au mieux les problèmes soulevés par l'utilisation d'une interface native, et ce, par une analyse rigoureuse des différents détails de conception d'une interface. Notre intention est donc de concevoir, selon des objectifs précis, l'interface native idéale pour le langage Nit. Pour mettre à l'épreuve notre proposition, nous avons conçu et implémenté l'interface native du compilateur Nit. La conception de cette interface native s'appuie donc sur des objectifs que nous considérons garants d'une interface native de qualité. Ces objectifs consistent à préserver la sûreté d'exécution du logiciel, maintenir une connaissance du flot d'appels, utiliser le langage Nit de façon expressive et selon ses forces, conserver une syntaxe naturelle en C ainsi qu'offrir une interface native versatile et d'utilisation rapide par tout autre moyen. Pour atteindre ces objectifs, nous proposons quatre grandes approches clés : la forme des modules hybrides pour gérer la coexistence de deux langages; une déclaration explicite des appels de méthodes réalisées depuis le langage C pour conserver la connaissance du flot d'appels; une représentation symétrique des types et méthodes Nit en C pour en permettre une utilisation naturelle et vérifiée statiquement; les classes natives qui représentent les types C en Nit et leur appliquent les forces du paradigme de programmation à objets, dont le polymorphisme. Enfin, pour valider l'interface native proposée et implémentée, nous présentons comment nous avons utilisé cette interface pour réaliser des modules et des logiciels Nit. Nous démontrons également que cette interface peut être utilisée dans le développement d'autres interfaces spécialisées en fonction de besoins spécifiques.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : interface native, interface de fonctions étrangères, compilation, langages de programmation à objet