On Model Subtyping

Guy, Clément; Combemale, Benôıt; Derrien, Steven; Steel, Jim; Jézéquel, Jean-Marc

doi:10.1007/978-3-642-31491-9_30

Cited by 51 publications

(106 citation statements)

References 17 publications

Supporting

Mentioning

103

Contrasting

Order By: Relevance

“…Instead of instantiating the template rules, a different way to achieve transformation reuse is to modify the concrete meta-model to make it "compatible" (a subtype) with the concept [18,33]. In this second approach -meta-model adaptation -the elements that appear in the concept but not in the meta-model are added to the meta-model as derived elements that are calculated from queries on meta-model elements.…”

Section: Motivation Overview and Challengesmentioning

confidence: 99%

“…In the context of MDE, the work in [18] compares different approaches to genericity for model transformations. One option is to adapt the transformation for a concrete meta-model.…”

Section: Model Integrationmentioning

confidence: 99%

“…This approach increases the reuse opportunities of transformation templates because their associated concepts can be bound to a wider set of meta-models. Interestingly, the formalization of our adapters involves building a "virtual view" that unifies the two main approaches to genericity in MDE (namely, adaptation of the transformation [29] and meta-model adaptation [18]) and enables the study of the conditions for their equivalence.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Towards the flexible reuse of model transformations: A formal approach based on graph transformation

Lara

Guerra

2014

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

Esta es la versión de autor del artículo publicado en: This is an author produced version of a paper published in:Journal of Logical and Algebraic Methods in Programming 83. 5-6 (2014) AbstractModel transformations are the heart and soul of Model Driven Engineering (MDE). However, in order to increase the adoption of MDE by industry, techniques for developing model transformations in the large and raising the quality and productivity in their construction, like reusability, are still needed.In previous works, we developed a reutilization approach for graph transformations based on the definition of concepts, which gather the structural requirements needed by meta-models to qualify for the transformations. Reusable transformations are typed by concepts, becoming transformation templates. Transformation templates are instantiated by binding the concept to a concrete meta-model, inducing a retyping of the transformation for the given meta-model. This paper extends the approach allowing heterogeneities between the concept and the metamodel, thus increasing the reuse opportunities of transformation templates. Heterogeneities are resolved by using algebraic adapters which induce both a retyping and an adaptation of the transformation. As an alternative, the adapters can also be employed to induce an adaptation of the meta-model, and in this work we show the conditions for equivalence of both approaches to transformation reuse.

show abstract

Section: Motivation Overview and Challengesmentioning

confidence: 99%

“…In the context of MDE, the work in [18] compares different approaches to genericity for model transformations. One option is to adapt the transformation for a concrete meta-model.…”

Section: Model Integrationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Towards the flexible reuse of model transformations: A formal approach based on graph transformation

Lara

Guerra

2014

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…Specializing a family is based on specializing metamodels. Model typing and subtyping, that is specialization relationships between metamodels or metamodel parts, have been defined in [11,18,19]. The metamodel specialization we use in this paper is based on their definition.…”

Section: Family Specializationmentioning

confidence: 99%

“…1, retrospectively speaking. Likewise, Jim Steel et al [18] proposed the model typing where, while conforming to a metamodel of course, a model may adhere to one or more types in the same way that an architecture described with an ADL may in addition satisfy to one or more styles. Logically, Clement Guy et al [11] continued the works through the study of the subtyping relationship and more generally the influence of such a type-system at the model-level [19], but regardless to the adaptation issue.…”

Section: Related Workmentioning

confidence: 99%

A Family-Based Framework for i-DSML Adaptation

Pierre¹,

Cariou²,

Goaer³

et al. 2014

Modelling Foundations and Applications

View full text Add to dashboard Cite

Abstract. One of the main goals of Model-Driven Engineering (MDE) is the manipulation of models as software artifacts. Model execution is in particular a means to substitute models for code. Precisely, if models of a dedicated Domain-Specific Modeling Language (DSML) are interpreted through an execution engine, then this DSML is called interpreted-DSML (i-DSML for short). The possibility of extending i-DSML to adapt models directly during their execution, allows the building of adaptable i-DSML. In this article, we demonstrate that specializing adaptable i-DSML leads to the potential definition of accurate adaptation policies. Domain-specificities are the key factors to identify adaptations that really make sense. In effect, we introduce the concept of family as a mean to encapsulate adaptation operations that are attached to a particular domain. Families can be specialized with the special purpose of defining a hierarchy of adaptation contexts.

show abstract

When Systems Engineering Meets Software Language Engineering

Jézéquel

Méndez-Acuña

Degueule

et al. 2015

Complex Systems Design &Amp; Management

Self Cite

View full text Add to dashboard Cite

The engineering of systems involves many different stakeholders, each with their own domain of expertise. Hence more and more organizations are adopting Domain Specific Languages (DSLs) to allow domain experts to express solutions directly in terms of relevant domain concepts. This new trend raises new challenges about designing DSLs, evolving a set of DSLs and coordinating the use of multiple DSLs for both DSL designers and DSL users. This paper explores various dimensions of these challenges, and outlines a possible research roadmap for addressing them. The message of this paper is also to claim that if language engineering techniques to design any single (disposable) language are mature, the language engineering community needs to fundamentally change its view on software language design. We need to take the next step and adopt the perspective that a software language is, fundamentally, software too and thus the result of a composition of design decisions. These design decisions should be represented as first-class entities in the software languages workbench and it should be possible, during the language lifecycle, to add, remove and change language design decisions with limited effort to go from continuous design to continuous meta-design.

show abstract

On Model Subtyping

Cited by 51 publications

References 17 publications

Towards the flexible reuse of model transformations: A formal approach based on graph transformation

Towards the flexible reuse of model transformations: A formal approach based on graph transformation

A Family-Based Framework for i-DSML Adaptation

When Systems Engineering Meets Software Language Engineering

Contact Info

Product

Resources

About