QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles

http://www.standarmedia.comAfter a short presentation of the stakes of the Model Driven Engineering, this article presents the OMG QVT standard for model transformations. It gives some details on the hybrid architecture which provides both imperative and declarative style to the transformations. Finally, it presents the various compatibilty terms of the standard

OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles

National audienceLa plate-forme du projet OpenEmbeDD a été con{\cc}ue en couches afin d'offrir une méthodologie générique pour les besoins du domaine particulier du temps réel. L'approche suivie repose sur l'utilisation de l'Ingénierie Dirigée par les Modèles (IDM) dans l'environnement Eclipse. Les outils dédiés au temps réel étant alors soit con{\cc}us g

Introduction à la construction d'un DSL sous Eclipse

National audienceCréer un langage spécifique à un domaine permet de proposer à vos utilisateurs un environnement de travail adapté à ce domaine, c'est-à-dire manipulant directement les concepts de celui-ci. Nous verrons aujourd'hui comment l'Ingénierie Dirigée par les Modèles (IDM) va nous aider à construire un tel langage et son environnement. Avec les outils disponibles aujourd'hui dans Eclipse, il est possible de choisir entre réutiliser et adapter un langage existant générique comme UML, ou bien directement créer un langage dédié (ou Domain Specific Language). En choisissant cette seconde solution, l'un des avantages sera pour l'utilisateur final d'{ê}tre naturellement guidé dans l'utilisation de ses modèles. Pour construire un DSL, nous vous proposons de suivre un processus qui permet une boucle de prototypage entre chaque étape de construction. Cela permet donc d'expérimenter facilement le langage avant de l'outiller complètement. Suivant notre expérience, cela assure une meilleure progression et permet d'en améliorer la fiabilité

MTL and Umlaut NG - Engine and Framework for Model Transformation

Model Tranformation Language (MTL) is an open-source object- and view-oriented imperative language dedicated to model transformations, developed in the context of the OMG Query/View/Transformation (QVT) proposal. MTL is the stepping stone towards defining a transformation framework that we call Umlaut NG. It enables a variety of advanced model transformations, such as application of design patterns, weaving aspects at design level, synthesis test cases from UML models and derivation of products in product lines

Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis

International audienceAttack trees are widely used in the fields of defense for the analysis of risks (or threats) against electronics systems, computer control systems or physical systems. Based on the analysis of attack trees, practitioners can define actions to engage in order to reduce or annihilate risks. A major barrier to support computer-aided risk analysis is that attack trees can become largely complex and thus hard to specify. This paper is a first step towards a methodology, formal foundations as well as automated techniques to synthesize attack trees from a high-level description of a system. Attacks are expressed as a succession of elementary actions and high-level actions can be used to abstract and organize attacks into exploitable attack trees. We describe our tooling support and identify open challenges for supporting the analysis of risks

Ingénierie Dirigée par les Modèles : des concepts à la pratique...

National audienceL'Ingénierie Dirigée par les Modèles (IDM), ou Model Driven Engineering (MDE) en anglais, s'inscrit dans l'évolution des techniques pour le développement de systèmes informatiques afin d'en maîtriser leurs complexités en se concentrant sur une préoccupation plus abstraite que la programmation classique. En s'appuyant sur des approches génératives, il s'agit d'engendrer tout ou partie d'une application à partir de modèles. Un modèle est une abstraction, une simplification d'un système qui est nécessaire et suffisante pour comprendre un aspect particulier du système modélisé et répondre aux questions que soulève cet aspect du système. Un système peut être décrit par différents modèles liés les uns aux autres, et exprimé chacun à l'aide d'un langage de modélisation dédié (Domain Specific Modeling Languages - DSML). Le principe est d'utiliser autant de langages de modélisation différents que les aspects chronologiques ou technologiques du développement du système le nécessitent. L'activité consistant à définir ces DSML (la syntaxe et la sémantique), appelée métamodélisation, est donc une problématique clé de l'IDM. En outre, les autres problématiques clés de l'IDM consistent à rendre les modèles construits opérationnels (pour la simulation, la génération de code, de documentation ou de test, la validation, la vérification, l'exécution, etc.) à l'aide de composition et de transformation de modèle. A la fois un cours et un tutoriel, cet ouvrage offre une approche didactique et pragmatique d'apprentissage de l'IDM. Nous présentons dans la première partie les principes clés de cette nouvelle ingénierie. Nous introduisons une description précise de l'état des connaissances de manière à aborder les concepts avancés de l'IDM, ainsi que les motivations et l'étendue du bouleversement attendu dans l'ingénierie du logiciel. La deuxième partie aborde ensuite les différentes étapes d'un développement dirigé par les modèles en les illustrant au travers d'un exemple concret. Chaque étape est décrite de manière à présenter l'état de la pratique et introduire certains des outils actuellement disponible

A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience

National audienceThis demonstration presents the new version (v2) of the Kermeta workbench that uses one domain-specific meta-language per language implementation concern. We show that the usage and combination of those meta-languages is simple and intuitive enough to deserve the term mashup and implemented as an original modular compilation scheme in the new version of Kermeta. This demonstration illustrates the use of the new version of Kermeta by presenting its use to design and implement two DSLs: Kompren, a DSL for designing and implementing model slicers; KCVL, the Commun Variability Language dedicated to variability management in software design models

On Executable Meta-Languages applied to Model Transformations

Domain specific languages for model transformation have recently generated significant interest in the model-driven engineering community. The adopted QVT specification has normalized some scheme of model transformation language; however several different model transformation language paradigms are likely to co-exist in the near future, ranging from imperative to declarative (including hybrid). It remains nevertheless questionable how model transformation specific languages compare to more general purpose languages, in terms of applicability, scalability and robustness. In this paper we report on our specific experience in applying an executable meta-language to the model transformation field

Comment allons-nous développer d'ici 5 à 10 ans ?

National audienceSoucieux d'améliorer la qualité de son travail, le développeur cherche inlassablement les nouvelles technologies et les méthodes qui vont l'aider dans sa tâche. Certains outils actuels et les recherches dans le domaine du génie logiciel laissent présager certaines tendances pour les années à venir

Using Aspect Oriented Modeling to localize implementation of executable models

International audienceExecutable models are essential to define the behavior of models, such as constraints put on model elements. However their implementation crosscut multiple model elements. Model semantics will facilitate Model Driven Development, without it, Design and Implementation won?t necessarily represent different abstractions of the same system. This paper introduces a mechanism to query executable models and weave constraints in order to localize their implementation, which improves code redundancy and modularity