Towards Incremental Round-Trip Engineering Using Model Transformations

Round-trip Engineering UML Class Models and Java Models

International Journal of Information System Modeling and Design ◽

10.4018/ijismd.2016070104 ◽

2016 ◽

Vol 7 (3) ◽

pp. 72-92 ◽

Cited By ~ 1

Author(s):

Sandra Greiner ◽

Thomas Buchmann

Keyword(s):

Source Code ◽

Model Transformations ◽

Tool Support ◽

Round Trip ◽

Model Driven ◽

Engineering Discipline ◽

Model Driven Software Development ◽

Model Transformation Language ◽

Class Models

Model transformations constitute the key technology for model-driven software development, a software engineering discipline which became more and more important during the last decade. While tool support for unidirectional batch transformations is rather mature, bidirectional and incremental transformations are only weakly investigated. Nevertheless, several usage scenarios demand for incremental and bidirectional transformations, like round-trip engineering between UML class models and Java source code. This paper presents a bidirectional transformation between UML class models and a Java model which is obtained from Java source code. The transformation is written in QVT Relations, a declarative model transformation language provided by the OMG. While the case study demonstrates that it is possible to specify bidirectional transformations between heterogeneous metamodels in a single relational specification, it also reveals some inherent limitations of the language and the corresponding tool support.

Download Full-text

From Model-Driven Architecture and Model-Based Systems Engineering via Formal Concept Analysis to Graph-Based Design Languages and Back: A Scientific Discourse

Volume 1B: 38th Computers and Information in Engineering Conference ◽

10.1115/detc2018-86392 ◽

2018 ◽

Author(s):

Dominik Schopper ◽

Stephan Rudolph

Keyword(s):

Pattern Recognition ◽

Model Transformation ◽

Recognition Problem ◽

Model Transformations ◽

Formal Concept ◽

Inverse Transformation ◽

Theoretical Point ◽

Round Trip ◽

Pattern Recognition Problem ◽

Model Based

Most modern digital approaches to engineering are based on models and their model transformations. Most of these model transformations are mathematically speaking non-bijective mappings — so-called projections — where some information of the original model is lost during the mapping. From a theoretical point of view it is therefore of great interest to exactly examine the properties of these model transformations. In this paper at first the characteristics of a model are briefly explained. Then some of the most common model-based engineering approaches are reviewed and compared regarding their models and model transformations. In this examination the missing existence of an inverse transformation (a so-called text-to-model transformation, T2M) of a typical model transformation (a so-called model-to-text transformation, M2T) is identified. That discovery may well hold the key to the realization of a so-called round-trip engineering. The required existence of the inverse transformation to this round-trip engineering is then generically postulated as having the nature of a pattern recognition problem. For illustration purposes and a better understanding of the interpretation of the inverse transformation as a pattern recognition problem, a case study for the reconstruction of an abstract model from the concrete model is given using CAD-Data of a satellite. Since CAD models belong to geometry, dimensionless geometric moment invariants play a key role in the generic solution of the pattern recognition problem contained in this example.

Download Full-text

Modeling of Web Services using Reaction Rules

Handbook of Research on Emerging Rule-Based Languages and Technologies ◽

10.4018/978-1-60566-402-6.ch018 ◽

2010 ◽

pp. 422-446 ◽

Cited By ~ 1

Author(s):

Marko Ribaric ◽

Shahin Sheidaei ◽

Milan Milanovic ◽

Dragan Gasevic ◽

Adrian Giurca ◽

...

Keyword(s):

Web Services ◽

Business Processes ◽

Model Transformations ◽

Markup Language ◽

Round Trip ◽

Rule Based ◽

Message Exchange ◽

Business Changes ◽

Execution Semantics ◽

Exchange Patterns

The development process of Web services needs to focus on the modeling of business processes rather than on low-level implementation details of Web services, and yet it also needs to incorporate the support for frequent business changes. This chapter presents the UML-based Rule Language (URML) and REWERSE Rule Markup Language (R2ML), which use reaction rules (also known as Event-Condition- Action rules) for modeling Web services in terms of message exchange patterns. Web services that are being modeled in this way can easily be integrated in the wider context of modeling orchestration and choreography. In order to achieve proposed solution, we have developed a plug-in for the Fujaba UML tool (so called Strelka) and a number of model transformations for round-trip engineering between Web services and reaction rules. Also, the paper presents mappings of models of Web services with reaction rules into the Drools rule language, thus enabling the run time execution semantics for our rule-based models.

Download Full-text