Sophie Ebersold

A Rule-Driven Approach for composing Viewpoint-oriented Models

Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems. In previous works, we defined a view-based UML profile called VUML. In this paper, we describe a composition process and a MDE-based framework, which contains a generic composition part, and a specific part dedicated to a given modeling domain. To illustrate our approach, we apply it to the composition (merging) of two UML class diagrams into one VUML class diagram. The composition operator is implemented as a ruled-based transformation in ATL.

Code generation in VUML profile: A model driven approach

VUML is a view-based analysis/design method offering a formalism (UML profile) and a process to model software systems through objects and views. The main extension to UML is the multiview class whose goal is to store and deliver information according to the users viewpoint. VUML supports the dynamic change of viewpoints and offers mechanisms to describe view dependencies. On the semantics side, the VUML meta-model extends the UML one with OCL rules. VUML proposes also a generic implementation pattern to generate the object code corresponding to a VUML class diagram. The proposed pattern uses delegation, handle technique and polymorphism to implement views. In this paper, we present a model driven implementation of this pattern, which integrates the multi-user aspect and supports Java language. We propose a code generation technique that respects the pattern and uses the MDA approach. We specify transformations as a collection of rules implemented in ATL. The proposal is illustrated by a simple example.

A Formal Approach to Model Composition Applied to VUML

Several approaches adopted by the software engineering community rely on the principle of multi-modeling which allows to separate concerns and to model a system as a set of less complex sub-models. Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems. In previous work, we have defined a view-based UML profile called VUML. In this paper, we describe a formal approach for model composition in which we consider the composition as an algebraic operator on the set of UML-compliant models. We specify the semantics of our composition operator by means of graph transformations. Furthermore, we present a composition scheme interpreted by a two-steps composition process based on two strategies of correspondence and merging. To illustrate our approach, we apply it to the composition of UML class models diagrams into one VUML model class diagram.

Towards a Generic Approach for Model Composition

Model composition is considered as a crucial activity in model driven software development (MDSD). It is a common feature when adopting a multi-modeling approach to analyze and design software systems. Similar modular approaches are known under several names such as viewpoints, aspects, subjects, etc. In previous works, we proposed a view-based UML profile called VUML. In this paper, we describe a conceptual framework whose goal is to separate the generic composition part from the specific part dedicated to a given modeling domain. We apply our approach to the composition of UML class diagrams into one VUML class diagram.

Heterogeneous models matching for consistency management

This work is situated in the context of the application of Model Driven Engineering to complex systems view-based modelling. In fact, view-based models - called also partial models - are manipulated by different actors (designers), and are thus generally heterogeneous, that is, described with different DSLs (Domain Specific Languages). Instead of building a single global model, which is not realistic, we propose to organize the different partial models as a network of related models, which provides a global view of the system through a correspondence model. As models are modelled separately by different designers, they also evolve separately that induces a problem of consistency. To solve it, we propose a semi-automatic process based on the correspondence model allowing detecting changes, calculating their impacts, and proposing modifications to maintain the consistency among them. The approach is supported by a tool chain and illustrated by the example of a Bug Tracking System.

Maintien de la cohérence de modèles de conception hétérogènes

L’application de l’ingenierie dirigee par les modeles au developpement de systemes complexes introduit un ensemble de modeles heterogenes, elabores separement, dans des langages varies. Afin de garantir la bonne execution de l’ensemble et sa coherence, il est necessaire de proceder a la composition des modeles heterogenes, puis a la mise en œuvre d’un ensemble de mecanismes permettant de l’exploiter. Cet article presente un processus semi-automatise qui consiste d’une part a mettre en correspondance des modeles heterogenes, et d’autre part, a maintenir la coherence de l’ensemble par synchronisation des changements. Pour demontrer la faisabilite de l’approche, nous avons developpe un outil support, en l’appliquant a l’exemple d’un systeme de gestions d’anomalies.

Vers une approche à base de règles pour la composition de modèles Application au profil VUML

In a device for adjusting the support pressure of the passengers thighs by raising or lowering a thigh support part in a seat cushion, a lock mechanism is mounted both in a seat frame and the thigh support pipe which rotates in the up and down directions of said seat frame. The lock mechanism consists of a lock piece pivotally fixed to a rotating shaft disposed horizontally in the thigh support pipe, a stopper which engages with the lock piece mounted rotatably free to the thigh support pipe and a lock release lever which releases a locking state by pushing said stopper in the direction opposite to its engaging direction.

MiCATS: Middleware for Context-Aware Transactional Services

In context-aware service-based environments, fulfilling user’s recommendations bring about several challenges that are mainly due to the dynamic nature and limited underlying resources of these environments. In this paper, we mainly focus on the transactional aspects of context-aware services. To cope with the aforementioned issues, we opt for a middleware-based solution (MiCATS). We therefore present our novel approach for managing context-aware transactions which allows for adaptation to the requirements of applications and mobile context in terms of transactional properties. Then, we introduce our context-aware transactional service model (CATSM) and a context-aware architecture based on adaptation policies. The proposed contributions are implemented within a middleware platform.

Vers un profil UML pour la conception de composants multivues

This paper aims to present an UML profile based on multiviews components. A multiviews component allows to encapsulate and deliver information according to the users point of view and offers mechanisms to manage the dynamic evolution of viewpoints and consistency among views. In this paper, we first present the notion of multiviews component and its integration into a UML profile, and thus detail an object-oriented multiviews modelling applied to a concrete example. The transition to the coding stage is described through a generic implementation pattern.

A MDE Approach for Heterogeneous Models Consistency.

To design a complex system, we often proceed via separation of viewpoints. Each viewpoint is described by a model that represents a domain expertise. Those partial models are generally heterogeneous (i.e conform to different metamodels) and thus performed by different designers. We proposed a matching process that links partial models through a virtual global model in order to create a complete view of the system. As models evolve, we should consider the impact of changing an element involved in a correspondence on other models to keep the coherence of the global view. So, we have defined a process that automatically identify changes, classify them and treat their potential repercussions on elements of other partial models in order to maintain the global model consistency.