From subsets of model elements to submodels

Carré, Bernard; Vanwormhoudt, Gilles; Caron, Olivier

doi:10.1007/s10270-013-0340-x

Cited by 8 publications

(1 citation statement)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Reducing this set (in order to, for example, create task-specific views) can be accomplished with model slicing [BCE + 06]. Since megamodels are themselves models, it is possible to use submodel extraction techniques [CVC13].…”

Section: Verifying the Transformationsmentioning

confidence: 99%

A Methodology for Verifying Refinements of Partial Models.

Salay¹,

Chećhik²,

Famelis³

et al. 2015

JOT

View full text Add to dashboard Cite

Models are typically used for expressing information that is known at a particular stage in the software development process. Yet, it is also important to express what information a modeler is still uncertain about and to ensure that model refinements actually reduce this uncertainty. Furthermore, when a refining transformation is applied to a model containing uncertainty, it is natural to consider the effect that the transformation has on the level of uncertainty, e.g., whether it always reduces it. In our previous work, we have presented a general approach for precisely expressing uncertainty within models. In this paper, we use these foundations and define formal conditions for uncertainty reducing refinement between individual models and within model transformations. We describe tooling for automating the verification of these conditions within transformations and describe its application to example transformations.

show abstract

Section: Verifying the Transformationsmentioning

confidence: 99%

A Methodology for Verifying Refinements of Partial Models.

Salay¹,

Chećhik²,

Famelis³

et al. 2015

JOT

View full text Add to dashboard Cite

show abstract

Isolating and Reusing Template Instances in UML

Allon

Vanwormhoudt

Carré

et al. 2016

Modelling Foundations and Applications

Self Cite

View full text Add to dashboard Cite

International audienceIn MBE, design of systems can be improved and accelerated thanks to reusable models which are made available in model repositories or libraries. One answer for designing reusable models is parameterization as o↵ered by UML templates and their binding relationship. The stan- dard aims at embracing under the same constructs two distinct kinds of template usages, namely template instantiation and aspectual binding. Template instantiation is concerned with the capacity of UML templates to model generic components (like C++ templates or Java generics) and produce new models from their binding. Aspectual binding is much more concerned with the capacity of UML templates to specify functionalities to inject into models of systems (contexts) which must conform to a required parameter model. In this paper, we focus on the generative in- terpretation of UML template binding. On the basis of a deep analysis of the standard, it will be shown that template binding consists in template instantiation plus context merging. This allows to isolate the capacity of instantiating templates (under their generative view) to get reusable models coming from applicative contexts. Then the possibility of partial instantiation inspired by partial binding as promoted by the standard is studied. At a practical level, related functionalities are o↵ered within Eclipse

show abstract

Aspectual templates in UML

2015

Self Cite

View full text Add to dashboard Cite

UML Templates allow to capture models whose some of their constituents are parameters. This construct is general enough to be used in many ways, such as generic class representation, Design Pattern modeling, view or aspect-oriented modeling (AOM). In this paper, we concentrate on this last usage and the specific characteristics of so called "Aspectual Templates". Such templates can be applied to enrich existing models as far as they conform to a required model. Template parameters are exploited here to specify some required model, so that they must be constrained to form a full model structure. After recall of UML templates and their metamodel, we present the specificities of their aspectual interpretation, existing works and identify the issues. Then we show how standard UML templates can be enhanced to capture aspectual ones. For this, a specialization of the UML template metamodel is detailed and OCL constraints are formulated due to this specific interpretation and its proper mechanisms. As a result, this metamodel specialization is fully compatible with the existing one so that aspectual templates are full UML standard ones. Finally, we present an algorithm which constructs the result of the application of an Aspectual Template to a model. This algorithm also works for aspectual template to template application. Presented results were implemented and made available in the EMF (Eclipse Modeling Framework) technology.

show abstract

From subsets of model elements to submodels

Cited by 8 publications

References 41 publications

A Methodology for Verifying Refinements of Partial Models.

A Methodology for Verifying Refinements of Partial Models.

Isolating and Reusing Template Instances in UML

Aspectual templates in UML

Contact Info

Product

Resources

About