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

Un Framework de traçabilité pour des transformations à caractère impératif

National audienceCet article s’inscrit dans le cadre de l’ingénierie dirigée par les mo- dèles et apporte une contribution au problème de la traçabilité des artefacts de modélisation durant une chaîne de transformations écrites dans un langage impé- ratif. L’approche que nous proposons nécessite peu d’interventions de l’utilisa- teur. Nous introduisons un métamodèle générique des traces qui permet entre autres d’apporter une dimension multi-échelles aux traces grâce à l’applica- tion du patron de conception composite. Le principe de notre approche est de surveiller certaines catégories d’opérations intéressantes pour la génération de traces pertinentes. Ces catégories sont définies à l’aide du type des objets mani- pulés par les opérations. Une fois les catégories définies, la trace est générée par du code dédié qui est injecté automatiquement dans la transformation, autour des opérations caractérisées par les catégories définies. Un prototype a été réa- lisé pour les transformations de modèles écrites en Java, sur le framework EMF. L’injection du code dédié à la traçabilité est réalisée à l’aide de la programmation par aspects

Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL

National audienceCe document a été élaboré dans le cadre du groupement de recherche CNRS " Génie de la Programmation et du Logiciel " (GDR GPL) sous la direction de Laurence Duchien et de Yves Ledru, avec la collaboration des groupes de travail du GDR. Après un résumé synthétique des différentes contributions, ce document présente des problématiques qui ont été identifiées comme particulièrement importantes dans les années qui viennent dans les domaines du génie logiciel et de la programmation. Sans faire un recensement exhaustif, le repérage effectué par les groupes de travail du GDR GPL contribue à une cartographie du positionnement français et suggère plusieurs thématiques stratégiques dans ces domaines

Exigences en ingénierie systèmes basée modèles

Après un rappel du type de systèmes considérés et d'un processus de conception système en phase avec l'état de l'art, nous décrivons ce que nous entendons par modèles et langage de modélisation. Nous rappelons ensuite les principaux éléments d'une théorie des exigences fondée sur le concept de propriété (PBR) compatible d'une approche d'ingénierie système basée sur des modèles (MBSE). Nous montrons ensuite comment définir, dans un langage de modélisation, des exigences basées sur le concept de propriété (PBRs) au sein même d'un modèle de conception de système, d'appliquer à ce modèle en développement un processus de conception système conforme à l'état de l'art. Nous pensons ainsi proposer des processus de définition des exigences et de solutions des systèmes qui renouvellent les pratiques actuelles du MBSE et les rendent plus adaptées au développement des systèmes d'aujourd'hui et de demain

Défis 2025

International audienceNew paradigms, languages, modeling, verification, testing approaches and new tools in the field of programming and software should be created in the next 10 years, whether to make life easier for designers and maintainers of computer systems, to model and reliable software or to anticipate technological change. This text summarizes the challenges in the Programming and Software Engineering field on the horizon 2025. This work has been presented and discussed during the national days of the Research Group on Programming and Software Engineering in June 2014 and in September 2014 in Paris.De nouveaux paradigmes, de nouveaux langages, de nouvelles approches de modélisation, de vérification, de tests et de nouveaux outils dans le domaine de la programmation et du logiciel devraient voir le jour dans les dix ans à venir, que ce soit pour faciliter la vie des concepteurs et mainteneurs de systèmes informatiques, pour modéliser et fiabiliser les logiciels ou encore pour devancer l’évolution technologique. Ce texte résume les travaux menés sur les défis du Génie de la Programmation et du Logiciel à l’horizon 2025. Ces travaux ont été l’occasion de présentations et d’échanges lors des journées nationales du Groupe de Recherche Génie de la Programmation et du Logiciel en juin 2014 et lors d’une journée en septembre 2014 à Paris

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

Modélisation ontologique de processus dans le domaine de la veille épidémiologique

Session "Posters"National audienceDans ce papier, nous proposons une modélisation ontologique des processus de la veille sur les maladies infectieuses. Nous montrons l'intérêt de formaliser les aspects dynamiques des connaissances du domaine de la veille. Cette modélisation est menée sur trois niveaux : i) conceptuel modélisant des processus de la veille, de la veille sur les maladies infectieuses et de la propagation d'une maladie infectieuse ; ii) semi-formel correspondant à l'élaboration de patrons de processus pour faciliter la réutilisation des modèles conceptuels de?finis, et iii) formel correspondant à la formalisation des patrons élaborés. Ces patrons sont traduits dans le langage PSL pour rendre opérationnelle leur réutilisation et raisonner sur les modèles définis. La pertinence de la réutilisation des patrons est testée dans le domaine de l'épidémiologie de la bilharziose. Notre travail s'inscrit dans une approche de modélisation par spécification de la veille épidémiologique et constitue un apport à la mise en place des systèmes de veille. Une autre contribution est de participer aux travaux dans le domaine des ontologies des processus en prenant en compte les spécificités des phénomènes épidémiologiques

Apports de la modélisation algébrique pour la représentation de connaissances par objets : illustration en AROM

National audienceAROM est un système de représentation de connaissances reposant, à l'image des diagrammes de classes d'UML, sur deux types d'entités de modélisation complémentaires : les classes et les associations. Il intègre un langage de modélisation algébrique (ou LMA) qui sert de support à différents mécanismes d'inférence. Ce langage permet l'écriture d'équations, de contraintes, et de requêtes, impliquant les instances des classes et des associations. La présence d'un module de types en AROM permet d'étendre l'ensemble des types (donc des valeurs et des opérateurs) supportés par le LMA. A travers la description du LMA d'AROM, cet article souligne l'apport d'un langage de modélisation algébrique pour un système de représentation de connaissances tant au niveau de la déclarativité qu'en termes des inférences possibles

Raisonner avec des diagrammes : perspectives cognitives et computationnelles

31 pagesInternational audienceDiagrammatic, analogical or iconic representations are often contrasted with linguistic or logical representations, in which the shape of the symbols is arbitrary. The aim of this paper is to make a case for the usefulness of diagrams in inferential knowledge representation systems. Although commonly used, diagrams have for a long time suffered from the reputation of being only a heuristic tool or a mere support for intuition. The first part of this paper is an historical background paying tribute to the logicians, psychologists and computer scientists who put an end to this formal prejudice against diagrams. The second part is a discussion of their characteristics as opposed to those of linguistic forms. The last part is aimed at reviving the interest for heterogeneous representation systems including both linguistic and diagrammatic representations