SiTra: Simple Transformations in Java

Akehurst, David H.; Bordbar, Behzad; Evans, Michael J.; Howells, W.G.J.; McDonald-Maier, Klaus

doi:10.1007/11880240_25

Cited by 58 publications

(39 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As explained in the introduction, several approaches exist to bridge the modelware technical space and GPLs, most notably Java [1,3,9,11]. However, a practical bridge should fulfil in addition the following requirements:…”

Section: Overviewmentioning

confidence: 99%

See 1 more Smart Citation

The Program Is the Model: Enabling Transformations@run.time

Cuadrado

Guerra

Lara

2013

Software Language Engineering

View full text Add to dashboard Cite

Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in: Abstract. The increasing application of Model-Driven Engineering in a wide range of domains, in addition to pure code generation, raises the need to manipulate models at runtime, as part of regular programs. Moreover, certain kinds of programming tasks can be seen as model transformation tasks, and thus we could take advantage of model transformation technology in order to facilitate them. In this paper we report on our works to bridge the gap between regular programming and model transformation by enabling the manipulation of Java APIs as models. Our approach is based on the specification of a mapping between a Java API (e.g., Swing) and a meta-model describing it. A model transformation definition is written against the API metamodel and we have built a compiler that generates the corresponding Java bytecode according to the mapping. We present several application scenarios and discuss the mapping between object-oriented metamodelling and the Java object system. Our proposal has been validated by a prototype implementation which is also contributed.

show abstract

Section: Overviewmentioning

confidence: 99%

“…Finally, Tom and Eclectic provide flexible mechanisms to access objects, including also getter and setter methods. SiTra [1] is a simple approach to write model transformations in Java. It provides a Java interface that all implemented rules has to follow, and a Transformer class which executes the defined rules.…”

Section: Related Workmentioning

confidence: 99%

The Program Is the Model: Enabling Transformations@run.time

Cuadrado

Guerra

Lara

2013

Software Language Engineering

View full text Add to dashboard Cite

show abstract

“…As a result, when defining the transformations someone needs to check the type of the condition expression and invoke the corresponding transformation rule, which will be used to transform that specific kind of expression to Alloy. This problem is dealt by the SiTra [15] transformation framework we used for our implementation. SiTra allows for recursive calls of transformation rules with dynamic type checking.…”

Section: Discussion and Future Workmentioning

confidence: 99%

“…In the MDA a model transformation is defined by mapping the constructs of the metamodel of a source language into constructs of the metamodel of a destination language. Then every model, which is an instance of the source metamodel, can be automatically transformed to an instance of the destination metamodel with the help of a model transformation framework such as SiTra [15].…”

Section: Preliminariesmentioning

confidence: 99%

“…In particular, whenever a Singleton stereotype is found on a class, a constraint needs to be injected in the produced Alloy model, to impose that the transformed signature will have only one instance. The implementation of our transformation rules, is modular and uses the SiTra [15] transformation engine, which can be easily augmented to accommodate for any extensions.…”

Section: Predefined Types and Operationsmentioning

confidence: 99%

See 1 more Smart Citation

UML2Alloy: A Challenging Model Transformation

Anastasakis

Bordbar

Georg

et al.

Lecture Notes in Computer Science

157

154

View full text Add to dashboard Cite

Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated analysis. As a result, creating Alloy code from a UML model provides the opportunity to exploit analysis capabilities of the Alloy Analyzer to discover possible design flaws at early stages of the software development. Our research makes use of model based techniques for the automated transformation of UML class diagrams with OCL constraints to Alloy code. The paper demonstrates challenging aspects of the model transformation, which originate in fundamental differences between UML and Alloy. We shall discuss some of the differences and illustrate their implications on the model transformation process. The presented approach is explained via an example of a secure e-business system.

show abstract

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java

Bruggink

König

Matjeka

et al. 2020

Graph Transformation

View full text Add to dashboard Cite

We present a programming library for the rapid development of graph tools, with applications in graph transformation and related fields. Features include working with graphs, graph morphisms, basic categorical constructions such as computing pushouts and pushout complements or enumerating all morphisms with certain properties, but also applications such as executing graph transformation steps. Additionally, we offer graphical user interface widgets for visualization and manipulation of graphs, morphisms and categorical diagrams. Our objective is to allow users to quickly develop graph tools for both simple and complex problems, to allow easy embedding into existing software, and to have comprehensible code especially for the main algorithms. Existing tools that demonstrate the versatility and ease of use of the library include: DPOdactic (a didactic tool for teaching doublepushout graph transformation), DrAGoM (a tool to handle multiply annotated type graphs for abstract graph rewriting), and Grez (termination analysis of graph transformation systems).

show abstract

SiTra: Simple Transformations in Java

Cited by 58 publications

References 10 publications

The Program Is the Model: Enabling Transformations@run.time

The Program Is the Model: Enabling Transformations@run.time

UML2Alloy: A Challenging Model Transformation

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java

Contact Info

Product

Resources

About