Automatic Support for Traceability in a Generic Model Management Framework

Boronat, Artur; Carsí, José A.; Ramos, Isidro

doi:10.1007/11581741_23

Cited by 24 publications

(23 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is one traceability model for each pair (source model, target model). The traceability support that is provided in MOMENT [12] permits the definition of an incremental transformation operator in an easy way, similar to the PropagateChanges operator, which is also presented in [12].…”

Section: Discussionmentioning

confidence: 99%

“…The ModelGen operator also generates traceability models automatically, but its definition has to be explicitly specified in the ModelGenRule axioms. The traceability model produced by the ModelGen operator conforms to the traceability metamodel that is presented in [12]. Thus, it can also be manipulated as just another model by the operator ModelGen.…”

Section: Structure Of a Transformation Rule In Momentmentioning

confidence: 99%

See 1 more Smart Citation

Algebraic Specification of a Model Transformation Engine

Boronat

Carsí

Ramos

2006

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. In Model-Driven Engineering, a software development process is a sequence of manipulation tasks that are applied to models, where model transformations play a relevant role. MOMENT (MOdel manageMENT) is a framework that is integrated in the Eclipse platform. MOMENT provides a collection of generic set-oriented operators to manipulate EMF models. In this paper, we present the model transformation mechanism that is embodied by the ModelGen operator. This operator uses the term rewriting system Maude as transformation engine and provides support for traceability. ModelGen has been defined in an algebraic specification so that we can use formal tools to reason about transformation features, such as termination and confluence. Furthermore, its application to EMF models shows that formal methods can be applied to industrial modeling tools in an efficient way. Finally, we indicate how the ModelGen operator provides support for the QVT Relations language in the MOMENT Framework.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Structure Of a Transformation Rule In Momentmentioning

confidence: 99%

Algebraic Specification of a Model Transformation Engine

Boronat

Carsí

Ramos

2006

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…In this section, we introduce the structure that is used in Sections [6][7][8] to describe an algebraic semantics of the MOF framework. Throughout these sections we present an automated mechanism to define the algebraic semantics of a metamodel specification definition p Cq.…”

Section: Discussion About the Algebraic Semantics Of Mof Metamodelsmentioning

confidence: 99%

“…These concepts are developed in Sections [6][7][8]. However, their definitions are interrelated, leading to many cross-references between these Sections.…”

Section: Discussion About the Algebraic Semantics Of Mof Metamodelsmentioning

confidence: 99%