PTL: a model transformation language based on logic programming

DOI10.1016/j.jlamp.2015.06.006zbMath1351.68047OpenAlexW1730994192WikidataQ58075925 ScholiaQ58075925MaRDI QIDQ5963089

Luis Iribarne, Jesús López-Fernández, Jesús M. Almendros-Jiménez, Ángel Mora-Segura

Publication date: 4 March 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.06.006

zbMATH Keywords

domain-specific languageslogic programmingsoftware engineeringmodel transformationmodel-driven engineering

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Uses Software

• ITP/OCL
• VIATRA2
• AGG
• HOL-OCL
• Maude
• VIDEAS
• MOMENT2
• ATL
• FORMULA 2.0

Cites Work

• Unnamed Item
• Unnamed Item
• ATL: A model transformation tool
• On the interoperability of model-to-model transformation languages
• The model transformation language of the VIATRA2 framework
• A Model Transformation Language Based on Logic Programming
• FORMULA 2.0: A Language for Formal Specifications
• From Core OCL Invariants to Nested Graph Constraints

This page was built for publication: PTL: a model transformation language based on logic programming