Local Search-Based Pattern Matching Features in EMF-IncQuery

Búr, Márton; Ujhelyi, Zoltán; Horváth, Ákos; Varró, Dániel

doi:10.1007/978-3-319-21145-9_18

Cited by 12 publications

(12 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Viatra2 also had a live model transformation engine [109] where rules are permanently loaded and they immediately react to changes in the underlying models in order to support change-driven transformations [24,112]. Several efficient search plan-based techniques have been proposed since then for GrGEN [55], EMF models [150], adaptive search plans [55] as well as for the current Viatra [34]. Moreover, incremental model transformation techniques were proposed, e.g., for Tefkat [62], ATL [81] and in triple graph grammar tools [56,69].…”

Section: Key Innovations and Featuresmentioning

confidence: 99%

“…Incremental query engine IncQuery offers a highly efficient engine to evaluate queries over models with millions of elements [22,137,138] by adapting Rete networks [52] to change notifications sent by EMF models. To decrease memory consumption, a query can also be evaluated using local-search-based techniques [34] which exploit model-specific search plans [150]. 3.…”

Section: Incremental Model Queries: Key Featuresmentioning

confidence: 99%

See 1 more Smart Citation

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

The current release of VIATRA provides opensource tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models with millions of elements and advanced features such as rule-based design space exploration complex event processing or model obfuscation. However, the history of the VIATRA model transformation framework dates back to over 16 years. Starting as an early academic research prototype as part of the M.Sc project of the the first author it first evolved into a Prolog-based engine followed by a family of open-source projects which by now matured into a component integrated into various industrial and open-source tools and deployed over multiple technologies. This invited paper briefly overviews the evolution of the VIATRA/IncQuery family by highlighting key features and illustrating main transformation concepts along an open case study influenced by an industrial project. Software tools in systems engineeringModel-driven engineering (MDE) plays an important role in the design of critical embedded and cyber-physical systems in various application domains such as automotive, avionics or telecommunication. MDE tools aim to simultaneously improve quality and decrease costs by early validation by highlighting conceptual design flaws well before traditional testing phases in accordance with the correct-by-construction principle. Furthermore, they improve productivity of engineers by automatically synthesizing different design artifacts (source code, configuration tables, test cases, fault trees, etc.) necessitated by certification standards (like DO-178C [117], DO-330 [116] or ISO 26262[78]).Certain shares in the software tool market of systems engineering are dominated by very few industrial tools (e.g., MATLAB Simulink, Dymola, DOORS, MagicDraw) each of which typically provides advanced support for certain development stages (requirements engineering, simulation, allocation, test generation, etc). To protect their intellectual property rights, these tools are of closed nature, which implies huge tool integration costs for system integrators (such as airframers or car manufacturers). On the other hand, recent initiatives (such as PolarSys, OpenModelica) have started to promote open language standards and the systematic use of open-source software components in tools for critical systems to reduce licensing costs and risks of vendor lock-in.Certification standards of critical cyber-physical systems require that software tools used for developing such critical system are validated with the same scrutiny as the system under design by software tool qualification [87,116], especially, when no further human checking is carried out on the outputs of such tools. Software tool qualification distinguishes between design tools which, by definition, may 123

show abstract

Section: Key Innovations and Featuresmentioning

confidence: 99%

Section: Incremental Model Queries: Key Featuresmentioning

confidence: 99%

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

show abstract

“…Distributed graph queries Highly efficient techniques for local search-based [13] and incremental graph model queries [60] as part of the VIATRA framework were developed, which mainly builds on RETE networks as a baseline technology. In [53], a distributed incremental graph query layer deployed over a cloud infrastructure with numerous optimizations was developed.…”

Section: Related Workmentioning

confidence: 99%

Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems

Búr

Szilágyi

Vörös

et al. 2019

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

Smart cyber-physical systems (CPSs) have complex interaction with their environment which is rarely known in advance, and they heavily depend on intelligent data processing carried out over a heterogeneous and distributed computation platform with resource-constrained devices to monitor, manage and control autonomous behavior. First, we propose a distributed runtime model to capture the operational state and the context information of a smart CPS using directed, typed and attributed graphs as high-level knowledge representation. The runtime model is distributed among the participating nodes, and it is consistently kept up to date in a continuously evolving environment by a time-triggered model management protocol. Our runtime models offer a (domain-specific) model query and manipulation interface over the reliable communication middleware of the Data Distribution Service (DDS) standard widely used in the CPS domain. Then, we propose to carry out distributed runtime monitoring by capturing critical properties of interest in the form of graph queries, and design a distributed graph query evaluation algorithm for evaluating such graph queries over the distributed runtime model. As the key innovation, our (1) distributed runtime model extends existing publish-subscribe middleware (like DDS) used in real-time CPS applications by enabling the dynamic creation and deletion of graph nodes (without compile time limits). Moreover, (2) our distributed query evaluation extends existing graph query techniques by enabling query evaluation in a real-time, resource-constrained environment while still providing scalable performance. Our approach is illustrated, and an initial scalability evaluation is carried out on the MoDeS3 CPS demonstrator and the open Train Benchmark for graph queries. Keywords Runtime monitoring • Graph queries • Distributed model management • Data Distribution Service (DDS) 1 Introduction Motivation A smart and safe cyber-physical system [18,38, 39,49,56] (CPS) is a software-intensive decentralized system that autonomously perceives its operational context B András Vörös

show abstract

“…The order of clauses in a query specification does not coincide with the actual evaluation order in case of local search based query evaluation [7,8]. Furthermore, incremental evaluation techniques further complicate the issue as all matches of all queries (and subqueries) are readily available immediately at any time.…”

Section: Introductionmentioning

confidence: 99%

Rete Network Slicing for Model Queries

Ujhelyi¹,

Bergmann

Varró

2016

Graph Transformation

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Local Search-Based Pattern Matching Features in EMF-IncQuery

Cited by 12 publications

References 7 publications

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems

Rete Network Slicing for Model Queries

Contact Info

Product

Resources

About