Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions

Guerra, Esther; Lara, Juan de; Orejas, Fernando

doi:10.1007/978-3-642-02408-5_7

Cited by 17 publications

(22 citation statements)

References 11 publications

(25 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The right of the same figure shows the triple graph in UML notation, which we will use throughout the paper. Next, we present the notion of constraint triple graph [12]. It will be used later as a building block of our patterns, as a way to express desired relations between the source and target models, and also in the left and right hand sides of the generated TGG operational rules.…”

Section: Definition 1 (Triple Graph and Morphism) A Triple Graphmentioning

confidence: 99%

“…Full satisfaction implies both forward and backward satisfaction and is useful to check if two graphs are actually synchronized. For simplicity, we only enunciate forward satisfaction, see the full definition in [12].…”

Section: Definition 4 (Triple Pattern) Given the Injective Ctrgmentioning

confidence: 99%

“…Finally, additional NACs are added to ensure termination. For simplicity, we only show the generation of the forward rules, the backward rules are generated analogously [12].…”

Section: Generation Of Operational Mechanismsmentioning

confidence: 99%

“…The purpose of this paper is to advance in this direction. With this aim, we extend our previous works [4,12,21] by bringing into our framework two concepts of QVT-R: the Check-Before-Enforce (CBE) semantics and the keys. CBE semantics is a way to promote element reuse in transformations, and to enable many-to-one relations between elements across models.…”

Section: Introductionmentioning

confidence: 97%

“…independent of the operational mechanism), algebraic semantics enabling the decision of whether two models are consistent, or to find the discrepancies with respect to the specification. These patterns are then compiled into operational mechanisms, based on triple graph grammar rules [4,12], but in which no algebraic manipulation of attribute formulae is necessary.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Controlling Reuse in Pattern-Based Model-to-Model Transformations

Guerra

Lara

Orejas

2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Model-to-model transformation is a central activity in Model-Driven Engineering that consists of transforming models from a source to a target language. Pattern-based model-to-model transformation is our approach for specifying transformations in a declarative, relational and formal style. The approach relies on patterns describing allowed or forbid-den relations between two models. These patterns are compiled into oper-ational mechanisms to perform forward and backward transformations.Inspired by QVT-Relations, in this paper we incorporate into our framework the so-called check-before-enforce semantics, which checks the existence of suitable elements before creating them (i.e. it promotes reuse). Moreover, we enable the use of keys in order to describe when two elements are considered equal. The presented techniques are illustrated with a bidirectional transformation between Web Services Description Language and Enterprise Java Beans models.

show abstract

Section: Definition 1 (Triple Graph and Morphism) A Triple Graphmentioning

confidence: 99%

Section: Definition 4 (Triple Pattern) Given the Injective Ctrgmentioning

confidence: 99%

“…Finally, additional NACs are added to ensure termination. For simplicity, we only show the generation of the forward rules, the backward rules are generated analogously [12].…”

Section: Generation Of Operational Mechanismsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 97%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Controlling Reuse in Pattern-Based Model-to-Model Transformations

Guerra

Lara

Orejas

2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

Deep Meta-modelling with MetaDepth

Lara

Guerra

2010

Objects, Models, Components, Patterns

Self Cite

120

View full text Add to dashboard Cite

Abstract. Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG's Meta-Object Facility is the standard framework for building and instantiating meta-models. However, in the last few years, several researchers have identified limitations and rigidities in such a scheme, most notably concerning the consideration of only two meta-modelling levels at the same time.In this paper we present MetaDepth, a novel framework that supports a dual linguistic/ontological instantiation and permits building systems with an arbitrary number of meta-levels through deep metamodelling. The framework implements advanced modelling concepts allowing the specification and evaluation of derived attributes and constraints across multiple meta-levels, linguistic extensions of ontological instance models, transactions, and hosting different constraint and action languages.

show abstract

Inter-modelling: From Theory to Practice

Guerra¹,

Lara²,

Kolovos³

et al. 2010

Model Driven Engineering Languages and Systems

Self Cite

View full text Add to dashboard Cite

Abstract. We define inter-modelling as the activity of building models that describe how modelling languages should be related. This includes many common activities in Model Driven Engineering, like the specification of model-to-model transformations, the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators.Recently, we proposed a formal approach to specify the allowed and forbidden relations between two modelling languages by means of bidirectional declarative patterns. Such specifications were used to generate graph rewriting rules able to enforce the relations in (forward and back-ward) model-to-model transformation scenarios. In this paper we extend the usage of patterns for two further inter-modelling scenariosmodel matching and model traceability -and report on an EMF-based tool implementing them. The tool allows a high-level analysis of specifications based on the theory developed so far, as well as manipulation of traces by compilation of patterns into the Epsilon Object Language.

show abstract

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions

Cited by 17 publications

References 11 publications

Controlling Reuse in Pattern-Based Model-to-Model Transformations

Controlling Reuse in Pattern-Based Model-to-Model Transformations

Deep Meta-modelling with MetaDepth

Inter-modelling: From Theory to Practice

Contact Info

Product

Resources

About