Combining the Continuous Integration Practice and the Model-Driven Engineering Approach

The software development approach called model-driven engineering has become increasingly widespread. The continuous integration practice has also been gaining the importance. Some works have shown that both can improve the software development process. The problem is that the model-driven engineering is still a very active research topic lacking its maturity, what translates into difficulties in optimal incorporation of the continuous integration practice in the process. We present an experience report in which we show the problems we have detected in a real project and how we have solved them. Thus, we increase the productivity of development and the non-technical people are able to modify already deployed applications. Finally, we incorporate an evaluation that shows the benefits of the proposed union

Modular synthesis of mobile device applications from domain-specific models

Domain-specific modelling enables modelling using constructs familiar to experts of a specific domain. Domain-specific models (DSms) can be automatically transformed to var-ious lower-level artifacts such as configuration files, docu-mentation, executable programs and performance models. Although many researchers have tackled the formalization of various aspects of model-driven development such as model versioning, debugging and transformation, very little atten-tion has been focused on formalizing how artifacts are ac-tually synthesized from DSms. State-of-the-art approaches rely on ad hoc coded generators which essentially use mod-elling tool APIs to programmatically iterate through model entities and produce the final artifacts. In this work, we propose a more structured approach to artifact generation where layered model transformations are used to modularly isolate, compile and re-combine various aspects of DSms. We demonstrate our technique by detailing the synthesis of running Google Android applications from DSms, and discuss how it may be applied in addressing the character-istic non-functional requirements (e.g. timing constraints, resource utilization) of modern embedded systems

Säädatan tietomallin kehittäminen ja integroiminen ilmailualan sovellukseen

Pro gradu-tutkielman tarkoituksena on kehittää uusi säädatan ja kiitotien kunnon tallentamiseen käytetty ilmailualan tietomalli. Tietomallin avulla on tarkoitus tallentaa ja käsitellä kiitotien, kiitotien ympäristön ja kiitotien sään vallitseva tila lentokoneiden laskeutumisen turvallisuuden takaamiseksi. Tutkielmassa vertaillaan ilmailussa käytettyjä METAR, TAF, RCAM ja AIXM sanomia sekä tietomalleja. Vertailun yhteenvedon jälkeen aloitetaan uuden tietomallin kehittäminen yhdistelemällä vertailtujen sanomien ja tietomallien parhaita ominaisuuksia. Tutkielman lopputuloksena saadaan kehitettyä toimiva, mutta osittain puutteellinen tietomalli kiitotien kunnon sekä ympäröivän säätilan tallentamiseen

Flexible Views for View-based Model-driven Development

Modern software development faces the problem of fragmentation of information across heterogeneous artefacts in different modelling and programming languages. In this dissertation, the Vitruvius approach for view-based engineering is presented. Flexible views offer a compact definition of user-specific views on software systems, and can be defined the novel ModelJoin language. The process is supported by a change metamodel for metamodel evolution and change impact analysis

Gestion de métadonnées utilisant tissage et transformation de modèles

The interaction and interoperability between different data sources is a major concern in many organizations. The different formats of data, APIs, and architectures increases the incompatibilities, in a way that interoperability and interaction between components becomes a very difficult task. Model driven engineering (MDE) is a paradigm that enables diminishing interoperability problems by considering every entity as a model. MDE platforms are composed of different kinds of models. Some of the most important kinds of models are transformation models, which are used to define fixed operations between different models. In addition to fixed transformation operations, there are other kinds of interactions and relationships between models. A complete MDE solution must be capable of handling different kinds of relationships. Until now, most research has concentrated on studying transformation languages. This means additional efforts must be undertaken to study these relationships and their implications on a MDE platform. This thesis studies different forms of relationships between models elements. We show through extensive related work that the major limitation of current solutions is the lack of genericity, extensibility and adaptability. We present a generic MDE solution for relationship management called model weaving. Model weaving proposes to capture different kinds of relationships between model elements in a weaving model. A weaving model conforms to extensions of a core weaving metamodel that supports basic relationship management. After proposing the unification of the conceptual foundations related to model weaving, we show how weaving models and transformation models are used as a generic approach for data interoperability. The weaving models are used to produce model transformations. Moreover, we present an adaptive framework for creating weaving models in a semi-automatic way. We validate our approach by developing a generic and adaptive tool called ATLAS Model Weaver (AMW), and by implementing several use cases from different application scenarios.L'interaction et l'interopérabilité entre différentes sources de données sont une préoccupation majeure dans plusieurs organisations. Ce problème devient plus important encore avec la multitude de formats de données, APIs et architectures existants. L'ingénierie dirigée par modèles (IDM) est un paradigme relativement nouveau qui permet de diminuer ces problèmes d'interopérabilité. L'IDM considère toutes les entités d'un système comme un modèle. Les plateformes IDM sont composées par des types de modèles différents. Les modèles de transformation sont des acteurs majeurs de cette approche. Ils sont utilisés pour définir des opérations entre modèles. Par contre, il y existe d'autres types d'interactions qui sont définies sur la base des liens. Une solution d'IDM complète doit supporter des différents types de liens. Les recherches en IDM se sont centrées dans l'étude des transformations de modèles. Par conséquence, il y a beaucoup de travail concernant différents types des liens, ainsi que leurs implications dans une plateforme IDM. Cette thèse étudie des formes différentes de liens entre les éléments de modèles différents. Je montre, à partir d'une étude des nombreux travaux existants, que le point le plus critique de ces solutions est le manque de généricité, extensibilité et adaptabilité. Ensuite, je présente une solution d'IDM générique pour la gestion des liens entre les éléments de modèles. La solution s'appelle le tissage de modèles. Le tissage de modèles propose l'utilisation de modèles de tissage pour capturer des types différents de liens. Un modèle de tissage est conforme à un métamodèle noyau de tissage. J'introduis un ensemble des définitions pour les modèles de tissage et concepts liés. Ensuite, je montre comment les modèles de tissage et modèles de transformations sont une solution générique pour différents problèmes d'interopérabilité des données. Les modèles de tissage sont utilisés pour générer des modèles de transformations. Ensuite, je présente un outil adaptive et générique pour la création de modèles de tissage. L'approche sera validée en implémentant un outil de tissage appel

Mise en correspondance et gestion de la cohérence de modèles hétérogènes évolutifs

To understand and manipulate a complex system, it is necessary to apply the separation of concerns and produce separate parts. In Model Driven Engineering (MDE), these parts are represented by models qualified as partial models. In this context of multi-modeling, these models are called heterogeneous when they are described in separate modeling languages dedicated to different business domains: DSML (Domain Specific Modeling Language). Global model creation requires identifying existing correspondences between the elements of the partial models. However, in practice these correspondences are either incompletely identified or not sufficiently formalized to be maintained when the partial models evolve. This restricts their use and does not allow to fully exploit them for building the global model or for treating partial models evolution. The contribution of this thesis is twofold. The first contribution deals with a process for creating a global view of the system by means of a composition based on partial models matching. Identified correspondences between models elements are based on types of relationship instantiated from a metamodel of correspondences. This latter is extensible, depending on the considered application domain, and allows supporting the concepts related to this domain. Correspondences are firstly identified between meta-elements belonging to metamodels of the respective partial models. Correspondences between model elements are then obtained by a refinement mechanism, supported by an ad hoc Semantic Expression language: SED (Semantic Expression DSL). The composition is called “virtual” since elements represented in a correspondence are only references to elements belonging to partial models. Therefore, models interconnected by this correspondences form a virtual global model. The second contribution relates the consistency of the global model. Indeed, as models evolve over time, changing one or several elements involved in a correspondence, may cause the inconsistency of the global model. To maintain its consistency, we propose a second process enabling to automatically identify the changes, classify them and treat their impacts on the involved model elements. Management of repercussions is performed semi-automatically by the expert by means of strategies and weights. This work has been implemented through a support tool named HMCS (Heterogeneous Matching and Consistency management Suite) based on the Eclipse Platform. The approach has been validated and illustrated through a case study related to the management of a Hospital Emergency Service. This work was led in collaboration with the “CHU of Montpellier”.Pour permettre la compréhension et la manipulation d’un système complexe, le découpage en parties séparées est nécessaire. En Ingénierie Dirigée par les Modèles (ou Model Driven Engineering), ces parties sont représentées par des modèles, que nous qualifions de modèles partiels, dans la mesure où ils sont focalisés sur des domaines métiers distincts. Dans ce contexte de multi-modélisation, ces modèles sont dits hétérogènes quand ils sont décrits dans des langages de modélisation distincts dédiés à différents domaines métiers : DSML (Domain Specific Modeling language). La compréhension et l’exploitation efficace des connaissances relatives à un tel système supposent la construction d’un modèle global représentant son fonctionnement. La création du modèle global requiert l’identification des correspondances existant entre les éléments des différents modèles partiels. Dans la pratique, ces correspondances sont soit incomplètement identifiées, soit insuffisamment formalisées pour être maintenues lorsque les modèles partiels évoluent. Ceci limite leur utilisation et ne permet pas de les exploiter pleinement lors de la construction du modèle global ou du traitement de l’évolution des modèles partiels. L’apport de cette thèse est double. La première contribution est celle d’un processus permettant la création d’une vue globale du système par l’intermédiaire d’une composition fondée sur la mise en correspondance des modèles partiels. Les correspondances identifiées entres les éléments des modèles se basent sur des types de relations instanciées à partir d’un métamodèle de correspondance. Ce dernier est extensible (selon les spécificités du domaine d’application considéré) et permet de supporter les concepts relatifs à ce domaine. Les correspondances sont d’abord identifiées entre les méta-éléments des métamodèles respectifs des modèles partiels. Les correspondances entre les éléments de modèles sont ensuite obtenues par un mécanisme de raffinement, supporté par un langage d’expression sémantique ad hoc : SED (Semantic Expression DSL). La composition est dite « virtuelle » dans la mesure où les éléments figurant dans une correspondance ne sont que des références aux éléments appartenant aux modèles partiels. De ce fait, les modèles interconnectés par ces correspondances forment un modèle global virtuel. La seconde contribution est relative au maintien de la cohérence des modèles partiels et du modèle global. En effet, les modèles évoluant dans le temps, le changement d’un élément ou de plusieurs éléments participant à l’expression des correspondances, peut entrainer l’incohérence du modèle global. Pour maintenir la cohérence du modèle global, nous proposons un second processus permettant tout d’abord d’identifier automatiquement les changements réalisés ainsi que leurs classifications et leurs répercussions sur les éléments de modèles concernés. Par la suite, les différents cycles sont gérés à l’aide de l’expert puis une liste de changements est générée en fonction de la stratégie choisie et des coefficients de pondération. Enfin, le traitement des changements est réalisé de façon semi-automatique. Ce travail a été concrétisé par le développement d’un outil support nommé HMCS (Heterogeneous Matching and Consistency management Suite), basé sur la plateforme Eclipse. L’approche a été validée et illustrée à travers un cas d’étude portant sur la gestion du Service d'Urgence d'un hôpital. Ce travail a été mené en collaboration avec le CHU de Montpellier

Caractérisation sémantique des différences entre des modèles CAO par transposition des contraintes géométriques explicites

Représentée au sein des nombreux modèles, la définition géométrique d’un produit évolue continuellement par le travail de nombreux spécialistes qui en utilisent, analysent et modifient les informations, prennent des décisions et engagent des actions à partir de cellesci. Plusieurs fois durant le cycle de vie du produit, une évolution géométrique émanera de l’un de ses modèles dits experts et devra être propagée aux autres modèles afin de préserver la cohérence de la définition du produit, sans toutefois occasionner les mêmes modifications au sein de chacun d’eux. Une transposition efficace du changement entre deux modèles experts distincts repose donc sur une représentation et une interprétation du delta géométrique adaptées au point de vue sur le produit incarné par le modèle expert auquel le changement est propagé. En considérant la définition géométrique du produit comme l’élément commun de cette fédération de modèles experts, ainsi que la dispersion – par opposition à l’intégration – de ces modèles à travers l’entreprise étendue, cette thèse par articles adopte l’avenue de la comparaison géométrique comme solution à la problématique de la transposition du changement. L’objectif est de développer une approche de comparaison permettant la caractérisation des différences géométriques repérées entre deux modèles d’un composant mécanique par l’entremise d’une sémantique favorisant l’interprétation et l’assimilation du delta géométrique du point de vue particulier d’une discipline. Des considérations particulières sont accordées à la précision du calcul des différences géométriques, à l’intelligibilité de la représentation de ces différences pour des ingénieurs mécaniciens et à la fonctionnalité de la représentation dans une optique de gestion du cycle de vie du produit. L’état de l’art en comparaison des modèles CAO 3D, selon les perspectives des scénarios d’application, des méthodes de calcul des différences et des outils logiciels existants, a mené aux constats que les applications de la comparaison sont nombreuses et que la transposition du changement se classe parmi celles nécessitant l’identification des différences entre modèles. Ces constats ont été confirmés par des essais logiciels qui ont démontré qu’aucune solution d’identification des différences ne peut être exploitée sans égard aux particularités du scénario à résoudre, en plus de mettre en évidence les carences des solutions existantes en termes de représentation des différences. Un cadre pour la formalisation et la caractérisation des scénarios de comparaison dans le but de mieux les maitriser et les outiller est d’ailleurs proposé. L’approche de comparaison des modèles CAO 3D présentée exploite les contraintes géométriques explicites, détaillant la géométrie originale selon un niveau d’abstraction familier pour un ingénieur et selon le point de vue particulier de sa discipline, afin de caractériser le delta géométrique qui distingue la géométrie évoluée de l’originale. Cette approche combine la mise en correspondance des éléments topologiques entre les représentations B-Rep originale et modifiée, la transposition du schéma de contraintes géométriques de la géométrie originale vers la géométrie modifiée et la représentation, au sein d’un nouveau modèle inspiré du génie logiciel, de ces associations et des différences qui peuvent en être déduites. Ainsi, il devient possible d’exprimer le delta géométrique caractérisant l’évolution en termes de variations de contraintes dimensionnelles originales et/ou de l’abandon de certaines contraintes géométriques