Ingénierie Dirigée par les Modèles (IDM) -- État de l'art

L'ingénierie dirigée par les modèles (IDM), ou Model Driven Engineering (MDE) en anglais, a permis plusieurs améliorations significatives dans le développement de systèmes complexes en permettant de se concentrer sur une préoccupation plus abstraite que la programmation classique. Il s'agit d'une forme d'ingénierie générative dans laquelle tout ou partie d'une application est engendrée à partir de modèles. Un modèle est une abstraction, une simplification d'un système qui est suffisante pour comprendre le système modélisé et répondre aux questions que l'on se pose sur lui. Un système peut être décrit par différents modèles liés les uns aux autres. L'idée phare est d'utiliser autant de langages de modélisation différents (Domain Specific Modeling Languages - DSML) que les aspects chronologiques ou technologiques du développement du système le nécessitent. La définition de ces DSML, appelée métamodélisation, est donc une problématique clé de cette nouvelle ingénierie. Par ailleurs, afin de rendre opérationnels les modèles (pour la génération de code, de documentation et de test, la validation, la vérification, l'exécution, etc.), une autre problématique clé est celle de la transformation de modèle. Nous proposons dans ce document une présentation des principes clés de cette nouvelle ingénierie. Nous introduisons dans un premier temps la notion de modèle, les travaux de normalisation de l'OMG, et les principes de généralisation offerts à travers les DSML. Nous détaillons ensuite les deux axes principaux de l'IDM. La métamodélisation d'abord, dont le but est d'assurer une définition correcte des DSML. Nous illustrons cette partie par la définition de SimplePDL, un langage simple de description de procédé de développement. Nous présentons ensuite les principes de la transformation de modèle et les outils actuellement disponibles. Nous concluons enfin par une discussion sur les limites actuelles de l'IDM

SéMo'07 : premier atelier sur la Sémantique des Modèles

International audienceThis paper summarises the presentations and exchanges that took place in the SéMo'2007 workshop in March 2007 in Toulouse during the IDM conference. The main topic of the workshop was the semantics of models and meta-models in the purpose to confront the MDE users needs and the technologies used for specification and programming languages

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM

23 pagesNational audienceOne foundation of the model driven engineering (MDE) is to separate the modelling application description from its technological implementation (i.e. platform). Some of them are dedicated to the system execution. Hence, one promise solution of the MDE is to automate transformations from platform independent models to platform specific models. Little work has explicitly described platform characteristics. Yet, an explicit modelling allows taking in account their characteristics more easily (par ex., performances, maintainability,portability). This paper presents both an execution platform modelling state of art and a pattern to describe execution platform modelling framework. It intends to confirm the feasibility and the interests in describing an execution platform metamodel

De la nécessité des modèles

Après une introduction avec quelques définitions, des arguments en faveur et contre les modèles en génie logiciel sont présentés. Dans la section suivante une tentative d'aller au-delà d'une simple opposition est présentée

ANTELOPE - Une plateforme industrielle de traitement linguistique

International audienceThe Antelope linguistic platform, inspired by Meaning-Text Theory, targets the syntactic and semantic analysis of texts, and can handle large corpora. Antelope integrates several pre-existing (parsing) components as well as broad-coverage linguistic data originating from various sources. Efforts towards integration of all components nonetheless make for a homogeneous platform. Our direct contribution deals with components for semantic analysis, and the formalization of a unified text analysis model. This paper introduces the platform and compares it with state-of-the-art projects. It offers to the NLP community a feedback from a software company, by underlining the architectural measures that should be taken to ensure that such complex software remains maintainable.La plate-forme de traitement linguistique Antelope, en partie basée sur la Théorie Sens-Texte (TST), permet l'analyse syntaxique et sémantique de textes sur des corpus de volume important. Antelope intègre plusieurs composants préexistants (pour l'analyse syntaxique) ainsi que des données linguistiques à large couverture provenant de différentes sources. Un effort d'intégration permet néanmoins d'offrir une plate-forme homogène. Notre contribution directe concerne l'ajout de composants d'analyse sémantique et la formalisation d'un modèle linguistique unifié. Cet article présente la plate-forme et la compare à d'autres projets de référence. Il propose un retour d'expérience d'un éditeur de logiciel vers la communauté du TAL, en soulignant les précautions architecturales à prendre pour qu'un tel ensemble complexe reste maintenable

Comprendre des Descriptions Simples à l'aide d'un Configurateur

http://www710.univ-lyon1.fr/~csolnonLe but de l'analyse du langage naturel est de construire des représentations traitables par une machine d'un texte donné en entrée. Nous présentons ici une nouvelle approche de ce problème qui combine l'analyse syntaxique (le parsage) et la construction de la sémantique en une unique tâche de configuration. L'utilisation d'un configurateur pour le parsage est possible en décrivant la grammaire comme un modèle objet sous contraintes. Nous étendons cette approche au traitement de la sémantique en introduisant deux nouveaux modèles objets contraints: un pour représenter la sémantique, et l'autre pour lier la syntaxe et la sémantique via la notion de "schémas". Nous mettons en avant les avantages de cette approche et présentons des résultats expérimentaux dans le cadre encore restreint de textes descriptifs simples, mais qui pourra être étendu pour capturer des sémantiques plus riches. Le système objet contraint sous-jacent est présenté formellement en utilisant le langage relationnel Z

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

Une Plate Forme Logique de Spécification et de Preuve de Programmes ML

Nous verrons ici la présentation d'un système logique dédié à la spécification et la preuve de programmes ML. La spécificité de ce système est de chercher à avoir une approche simple et "orientée programmation" de la preuve. Ce système est fondé sur un calcul des prédicats au premier ordre, enrichi par des constructions ML habituelles. Nous montrerons ensuite que ce système est cohérent en le plongeant dans une théorie des types au deuxième ordre

De l'ontologie du domaine de la croissance urbaine à celle d'un modèle dynamique de croissance urbaine sous SpaCelle

International audienceDans cet article, nous approfondissons une réflexion engagée sur les questions de validation de modèle de simulation. Nous présentons un exercice original de " validation sémantique ". La démarche consiste à mettre en relation une ontologie " thématique " qui identifie les processus intervenus dans l'évolution spatiale des villes durant la seconde moitié du XXème siècle avec une ontologie du modèle réalisé sur Rouen à l'aide de la plate-forme SpaCelle, automate cellulaire géographique. Le but de la démarche est de faciliter l'interprétation du modèle rouennais qui intègre un nombre assez important de règles plus ou moins complexes, par la mise en relation de celles-ci avec les processus qu'elles représentent dans l'univers de la croissance urbaine