Rete network slicing for model queries

Zoltán Ujhelyi, Gábor Bergmann, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Declarative model queries captured by graph patterns are frequently used in model driven engineering tools for the validation of well-formedness constraint or the calculation of various model metrics. However, their high level nature might make it hard to understand all corner cases of complex queries. When debugging erroneous patterns, a common task is to identify which conditions or constraints of a query caused some model elements to appear in the results. Slicing techniques in traditional programming environments are used to calculate similar dependencies between program statements. Here, we introduce a slicing approach for model queries based on Rete networks, a cache structure applied for the incremental evaluation of model queries. The proposed method reuses the structural information encoded in the Rete networks to calculate and present a trace of operations resulting in some model elements to appear in the result set. The approach is illustrated on a running example of validating well-formedness over UML state machine models using graph patterns as a model query formalism.

Original languageEnglish
Title of host publicationGraph Transformation - 9th International Conference, ICGT 2016 in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Proceedings
PublisherSpringer Verlag
Pages137-152
Number of pages16
Volume9761
ISBN (Print)9783319405292
DOIs
Publication statusPublished - 2016
Event9th International Conference on Graph Transformation, ICGT 2016 in Memory of Hartmut Ehrig held as part of Conference on Software Technologies: Applications and Foundations, STAF 2016 - Vienna, Austria
Duration: Jul 5 2016Jul 6 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9761
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other9th International Conference on Graph Transformation, ICGT 2016 in Memory of Hartmut Ehrig held as part of Conference on Software Technologies: Applications and Foundations, STAF 2016
CountryAustria
CityVienna
Period7/5/167/6/16

Keywords

  • Graph patterns
  • Model queries
  • Program slicing

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Rete network slicing for model queries'. Together they form a unique fingerprint.

  • Cite this

    Ujhelyi, Z., Bergmann, G., & Varró, D. (2016). Rete network slicing for model queries. In Graph Transformation - 9th International Conference, ICGT 2016 in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Proceedings (Vol. 9761, pp. 137-152). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9761). Springer Verlag. https://doi.org/10.1007/978-3-319-40530-8_9