EMF-IncQuery: An integrated development environment for live model queries

Ujhelyi, Zoltán; Bergmann, Gábor; Hegedüs, Ábel; Horváth, Ákos; Izsó, Benedek; Ráth, István; Szatmári, Zoltán; Varró, Dániel

doi:10.1016/j.scico.2014.01.004

Cited by 96 publications

(119 citation statements)

References 4 publications

Supporting

Mentioning

111

Contrasting

Unclassified

Order By: Relevance

“…Prolog is untyped and its relational tuple-based structure makes easy the definition of join-based operations, as well as recursive definitions. The success of graph/tuple based languages in constraint specification and validation demonstrates the need for easy to use constraints languages [29,30].…”

Section: Model Transformation and Prologmentioning

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

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%

“…The spirit of tracts is the same as our constraints on source and target models, and cross constraint validation on source-target models. EMF-IncQuery [29,30] is a validation language based on graph patterns. EMF-IncQuery has a syntax similar to Prolog goals to express constraints.…”

Section: Constraint Validationmentioning

confidence: 99%

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

“…Un mecanismo de consulta es una estructura que organiza sus partes constitutivas para permitir la formulación de preguntas, con la respectiva representación de las respuestas. En el campo de la ingeniería de software esta estrategia ha sido muy utilizada sobre todo para apoyar el proceso de mantenimiento (Ujhelyi et al, 2015;Urma y Mycroft, 2015), facilitando el análisis y la comprensión del producto (Alves et al, 2011;Verbaere et al, 2008;Beyer et al, 2005), así como también la validación y transformación de modelos (Bergmann et al, 2012;Holt et al, 2002).…”

Section: Introductionunclassified

“…La revisión de la literatura reveló que algunos autores centran la atención de sus estudios en los leguajes de consulta (Störrle, 2013), otros hacen énfasis en la necesidad de lenguajes de consulta gráficos, que aprovechen las fortalezas de la percepción visual para facilitar la comprensión de las consultas (Zhang et al, 2012;Choi et al, 2009). De igual forma hay autores que proponen herramientas de consulta (Liepiņš, 2012;De Roover et al, 2011;Mendonça et al, 2004;Paul y Prakash, 1994), o las evalúan (Ujhelyi et al, 2015;Alves y Rademaker, 2011), mientras que en otros trabajos se toma como objeto de estudio tanto los lenguajes de consulta como las herramientas (Ujhely et al, 2015;Urma y Mycroft, 2015;Bergmann et al, 2012; Acretoaie y Störrle, 2012;Alves et al, 2011;Verbaere et al, 2008;Beyer et al, 2005;Holt et al;2002). En consecuencia, queda claro que todo mecanismo de consulta requiere de un lenguaje y una herramienta que interprete las consultas y presente los resultados de su ejecución.…”

Section: Introductionunclassified

“…En relación con las herramientas algunas de las características que se definen son: el lenguaje de implementación, el lenguaje de consulta (Holt et al, 2002), la interactividad de la interfaz de usuario, los formatos de intercambio y de salida, el tipo de licencia (Alves et al, 2011), el rendimiento y uso de memoria (Ujhelyi et al, 2015), y la capacidad para: el cálculo de métricas a partir de la consulta (Beyer et al, 2005), la visualización y manipulación de los resultados (Verbaere et al, 2008). Por otra parte, la revisión de la literatura permitió identificar dos grupos de tecnologías: 1) Las que hacen la consulta sobre el código fuente y 2) las que hace la consulta sobre los modelos.…”

Section: Introductionunclassified

See 1 more Smart Citation

Mecanismo de Consulta para el Análisis de Arquitecturas Recuperadas

Ríos

Herrera

2017

Inf. tecnol.

View full text Add to dashboard Cite

ResumenEl objetivo de este trabajo fue diseñar un mecanismo de consulta para hacer análisis sobre modelos UML, que representan arquitecturas recuperadas almacenadas en repositorios XMI, resultado de procesos de ingeniería inversa. Esto se logró a partir de: 1) la revisión de la literatura, que hizo posible la caracterización de los mecanismos de consulta; 2) el diseño del mecanismo de consulta y 3) la implementación del prototipo QModel-XMI, que sirvió como estrategia de evaluación de la propuesta planteada. Se concluye que el mecanismo diseñado amplia la capacidad de uso de los mecanismos de consulta existentes, porque extiende su uso a personas que no necesariamente cuentan con conocimientos profundos sobre lenguajes de consulta especializados. Palabras clave: mecanismo de consulta; arquitecturas recuperadas; análisis de arquitecturas; ingeniería inversa A Query Mechanism for Analysis of Recovered Architectures AbstractThe objective of this work was to design a query mechanism to support the analysis on UML models that represent recovered architectures stored in XMI repositories, which are the result of reverse engineering processes. This was achieved by: 1) reviewing the literature, which made possible the characterization of the query mechanisms; 2) the design of the query mechanism and 3) the implementation of the QModel-XMI prototype, which served as a strategy for evaluating the proposed approach. It is concluded that the designed mechanism extends the usability of existing query mechanisms, because it extends its use to people who do not necessarily have deep knowledge about specialized query languages.

show abstract

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers

Babikian

Semeráth

Varró

2020

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

The automated generation of graph models has become an enabler in several testing scenarios, including the testing of modeling environments used in the design of critical systems, or the synthesis of test contexts for autonomous vehicles. Those approaches rely on the automated construction of consistent graph models, where each model satisfies complex structural properties of the target domain captured in first-order logic predicates. In this paper, we propose a transformation technique to map such graph generation tasks to a problem consisting of first-order logic formulae, which can be solved by state-of-the-art TPTPcompliant theorem provers, producing valid graph models as outputs. We conducted performance measurements over all 73 theorem provers available in the TPTP library, and compared our approach with other solver-based approaches like Alloy and VIATRA Solver.

show abstract

EMF-IncQuery: An integrated development environment for live model queries

Cited by 96 publications

References 4 publications

PTL: A model transformation language based on logic programming

PTL: A model transformation language based on logic programming

Mecanismo de Consulta para el Análisis de Arquitecturas Recuperadas

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers

Contact Info

Product

Resources

About