Typing of Graph Transformation Units

Klempien-Hinrichs, Renate; Kreowski, Hans‐Jörg; Kuske, Sabine

doi:10.1007/978-3-540-30203-2_10

Cited by 6 publications

(5 citation statements)

References 16 publications

(31 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A representative for internal DSLs is the High Level Navigation Language (HNL) [CJGMB09], which hides complex OCL navigation expressions using ATL as host language. Furthermore, modularization concepts in the area of graph transformations have been proposed, which allow to encapsulate graph transformation rules in so-called units [KHKK04]. These units may then be imported in a graph transformation and by this reused.…”

Section: Reuse Facilities In Model Transformationsmentioning

confidence: 99%

Surveying Rule Inheritance in Model-to-Model Transformation Languages.

Wimmer¹,

Kappel²,

Kusel³

et al. 2012

JOT

View full text Add to dashboard Cite

Model transformations play a significant role in Model-Driven Engineering. However, their reuse mechanisms have yet to receive much attention. In this paper, we propose a comparison framework for rule inheritance in model-to-model transformation languages, and provide an in-depth evaluation of prominent representatives of imperative, declarative and hybrid transformation languages. The framework provides criteria for comparison along orthogonal dimensions, covering static aspects, which indicate whether a set of inheriting transformation rules is well-formed at compile-time, and dynamic aspects, which describe how inheriting rules behave at run-time. The application of this framework to dedicated transformation languages shows that, while providing similar syntactical inheritance concepts, they exhibit different dynamic inheritance semantics and offer basic support for checking static inheritance semantics, only.

show abstract

Section: Reuse Facilities In Model Transformationsmentioning

confidence: 99%

Surveying Rule Inheritance in Model-to-Model Transformation Languages.

Wimmer¹,

Kappel²,

Kusel³

et al. 2012

JOT

View full text Add to dashboard Cite

show abstract

“…Another mechanism that has been proposed to group and compose graph transformation is the structuring mechanism of graph transformation units [16,14]. In the graph grammar variant of graph transformation (e.g., AGG), one can use layered graph grammars as a primitive kind of structuring mechanism.…”

Section: Grouping Composing and Decomposing Transformationsmentioning

confidence: 99%

Applying a Model Transformation Taxonomy to Graph Transformation Technology

Mens

Gorp

Varró

et al. 2006

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

A taxonomy of model transformations was introduced in [18]. Among others, such a taxonomy can help developers in deciding which language, forma lism, tool or mechanism is best suited to carry out a particular model transformation activity. In this paper we apply the taxonomy to the technique of graph transformation, and we exemplify it by referring to four representative graph transformation tools. As a byproduct of our analysis, we discuss how well each of the considered tools carry out the activity of model transformation.

show abstract

“…Hence one may say that the type of a unit tu = (I, P, C, T ) is I → T. The introduced product type allows a more sophisticated typing of the form SEM (I i ) with the graph tu- A more detailed investigation of the product type can be found in [9,10].…”

Section: Typing Of Unitsmentioning

confidence: 99%