JTL: A Bidirectional and Change Propagating Transformation Language

Cicchetti, Antonio; Ruscio, Davide Di; Eramo, Romina; Pierantonio, Alfonso

doi:10.1007/978-3-642-19440-5_11

Cited by 77 publications

(78 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Model transformation experts found in logic programming a resource to implement and experiment with transformations and techniques related to transformations. With the development of the technology around model transformation, logic programming is not abandoned [15,16,17,18,19,20,21,22,23,24,25,26], given that experts investigate new aspects of model transformation that existent languages and tools do not cover. Moreover, some authors argue that Prolog is still suitable to learn about model transformations.…”

Section: Model Transformation and Prologmentioning

confidence: 99%

“…By using Prolog backtracking alternative transformation results can be generated, in order to find an optimized solution, for instance, with respect to a given metric. Also inversion of transformations and thus, the consideration of bidirectional transformations [32,24], is an open research line in which logic programming can find an application domain. Although these mechanisms are out of the scope of the paper, we find that the use of logic programming for model transformations is hardly a new research line.…”

Section: Model Transformation and Prologmentioning

confidence: 99%

“…They use JTransformer, which is a logic-based query and transformation engine for Java code, based on Eclipse. JTransformer satisfies the requirements [24] is a bi-directional declarative transformation language based on Answer Set Programming (ASP) using the DLV solver to compute source and target models from a set of atoms representing models, and QVT style transformation rules. JTL satisfies the requirements (b) and (c) of Section 1.…”

Section: Model Transformation Languagesmentioning

confidence: 99%

See 2 more Smart Citations

PTL: A model transformation language based on logic programming

Almendros-Jiménez¹,

Iribarne²,

López-Fernández³

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL (Atlas Transformation Language)-style rules are combined with logic rules for defining transformations. ATL-style rules are used to define mappings from source models to target models while logic rules are used as helpers. The implementation of PTL is based on the encoding of the ATL-style rules by Prolog rules. Thus, PTL makes use of Prolog as a transformation engine. We have provided a declarative semantics to PTL and proved the semantics equivalent to the encoded program. We have studied an encoding of OCL (Object Constraint Language) with Prolog goals in order to map ATL to PTL. Thus a subset of PTL can be considered equivalent to a subset of ATL. The proposed language can be also used for model validation, that is, for checking constraints on models and transformations. We have equipped our language with debugging and tracing capabilities which help developers to detect programming errors in PTL rules. Additionally, we have developed an Eclipse plugin for editing PTL programs, as well as for debugging, tracing and validation. Finally, we have evaluated the language with several transformation examples as well as tested the performance with large models.

show abstract

Section: Model Transformation and Prologmentioning

confidence: 99%

Section: Model Transformation and Prologmentioning

confidence: 99%

Section: Model Transformation Languagesmentioning

confidence: 99%

See 1 more Smart Citation

PTL: A model transformation language based on logic programming

Almendros-Jiménez¹,

Iribarne²,

López-Fernández³

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…While QVT-Operational enables the operational specification of model transformations, QVT-Relational targets a declarative specification of relations between models similar to TGGs. Further model transformation approaches are the Atlas Transformation Language (ATL) [53], PMT [93], and the Janus Transformation Language (JTL) [20]. The latter focuses on non-bijective bidirectional model transformations.…”

Section: Maintaining Multiple and Different Runtime Models In Anmentioning

confidence: 99%

“…For instance, PROGRES [6] is a TGG solution to create integration tools capable of dealing with non-deterministic cases, that is, when multiple rules can be applied in the current direction of a transformation. A similar approach is proposed by JTL [20], a bidirectional model transformation language specifically designed to support non-bijective transformations and change propagation. In particular, the language propagates changes occurring in a model to one or more related models according to the specified transformation regardless of the transformation direction, that is, JTL transformations can generate all possible solutions at once.…”

Section: Research Challengesmentioning

confidence: 99%

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

et al. 2014

Self Cite

View full text Add to dashboard Cite

Abstract. Modern software systems are often required to adapt their behavior at runtime in order to maintain or enhance their utility in dynamic environments. Models at runtime research aims to provide suitable abstractions, techniques, and tools to manage the complexity of adapting software systems at runtime. In this chapter, we discuss challenges associated with developing mechanisms that leverage models at runtime to support runtime software adaptation. Specifically, we discuss challenges associated with developing effective mechanisms for supervising running systems, reasoning about and planning adaptations, maintaining consistency among multiple runtime models, and maintaining fidelity of runtime models with respect to the running system and its environment. We discuss related problems and state-of-the-art mechanisms, and identify open research challenges.

show abstract

Model‐driven engineering for simulation models interoperability: A case study in space industry

Eramo,

Nolletti,

Pomante

et al. 2024

Softw Pract Exp

Self Cite

View full text Add to dashboard Cite

Modeling and simulation represent an essential part of overall systems engineering. Complex engineering systems are composed of many heterogeneous components often modeled and simulated employing different languages and environments, and often by different organizations; thus, demands for interoperability are getting increased. Model‐driven engineering (MDE) has been demonstrated to be an advancement in software engineering: existing software in several domains today benefits from abstraction and automation during the system development process. Although these techniques are now highly advanced, many industries may require considerable effort before fully benefiting from them. This article reports on a case study carried out for 12 months within a company in the space industry domain. The goal of this empirical study is to investigate the adoption of MDE in supporting simulation models interoperability. The article identifies factors considered important for MDE adoption as well as obstacles that can be encountered in a real case. Researchers and practitioners may benefit from our findings typically when reusing models across different simulation environments, exchanging simulation models between different stakeholders, and seeking to improve simulation modeling practices.

show abstract

JTL: A Bidirectional and Change Propagating Transformation Language

Cited by 77 publications

References 21 publications

PTL: A model transformation language based on logic programming

PTL: A model transformation language based on logic programming

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

Model‐driven engineering for simulation models interoperability: A case study in space industry

Contact Info

Product

Resources

About