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

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

doi:10.1007/s10270-016-0530-4

Cited by 88 publications

(65 citation statements)

References 119 publications

(160 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Instead of approaches specifically designed for easy specification of bidirectional transformations, the unidirectional and reactive VIATRA framework [54] has been chosen for its (a) target-incremental transformations and (b) source-incremental model queries to define rule preconditions.…”

Section: Realization In Emfmentioning

confidence: 99%

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

et al. 2017

Self Cite

View full text Add to dashboard Cite

Large-scale model-driven system engineering projects are carried out collaboratively. Engineering artefacts stored in model repositories are developed in either offline (checkout-modify-commit) or online (GoogleDocstyle) scenarios. Complex systems frequently integrate models and components developed by different teams, vendors and suppliers. Thus, confidentiality and integrity of design artefacts need to be protected in accordance with access control policies. We propose a secure collaborative modelling approach where fine-grained access control for models is strictly enforced by bidirectional model transformations. Collaborators obtain filtered local copies of the model containing only those model elements which they are allowed to read; write access control policies are checked on the server upon submitting model changes. We present a formal collaboration schema which provenly guarantees certain correctness constraints, and its adaption to online scenarios with on-the-fly change propagation and the integration into existing version control systems to support offline scenarios. The approach is illustrated, and its scalability is evaluated using a case study of the MONDO EU project.

show abstract

Section: Realization In Emfmentioning

confidence: 99%

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

et al. 2017

Self Cite

View full text Add to dashboard Cite

show abstract

“…Bergmann et al adapted and improved the Rete algorithm for the Eclipse Modeling Framework (EMF) [2] in the EMF-IncQuery project [3], now called Viatra Query [36]. This approach provides Viatra Query Language (VQL), a high-level declarative language for specifying queries.…”

Section: Incremental Approachesmentioning

confidence: 99%

Evaluation of Optimization Strategies for Incremental Graph Queries

Szárnyas

Maginecz²,

Varró

2017

Period. Polytech. Elec. Eng. Comp. Sci.

Self Cite

View full text Add to dashboard Cite

Keywords graph queries, relational algebra, query optimization IntroductionThe key components of Big Data are often defined as variety, velocity and volume [28] of data. Applications operating on continuously changing graphs are a prime example: the semi-structured graph-like nature introduces a high variety, changes happen at high velocity, and datasets are often high-volume. Such applications include fraud detection in financial transactions [27], validation of engineering models [3], and static analysis of source code repositories [35]. These use cases provide a set of complex queries that need to be evaluated continuously on each change of the underlying graph.Traditional approaches need to reevaluate each query upon each change, which often takes minutes on a large dataset. In contrast, incremental query evaluation caches interim results, hence it only requires reevaluation on a small fragment of the dataset impacted by the change. This leads to significant speedup for large and continuously changing data. Although several approaches exist for incremental query evaluation [9,20] in the context of expert systems, incremental query evaluation is not in widespread use in graph databases.In order to predict query performance at runtime, relational databases synthesize and evaluate different query plans which impose a certain ordering on relational algebraic operations prescribed by the query. Optimizing query plans is a challenging task, since a wide variety of query plans may exist even for simple queries with different costs. Database engines use heuristics-based optimization techniques and evaluate a cost function for the different query plans [10].Query plans have been adapted for graph query engines using a local-search based query evaluation strategy where it is called the search plan. Optimization techniques may exploit the type and multiplicity information defined in the graph schema (or metamodel) [29,22] or rely upon runtime statistics of the instance graph [11,38,39].In case of incremental graph query engines, the structure and the content of caches have the most significant impact on query performance. Therefore, optimization is directed to reduce execution time and memory consumption imposed by a complex network of caches [37].

show abstract

“…Complex event processing (CEP) offers well-founded techniques to capture critical event sequences observed on the event streams within a given time window. We developed a CEP engine tightly integrated into the open source VIATRA reactive and incremental transformation framework [155,162].…”

Section: Monitoring Of Dynamic and Adaptable Cpsmentioning

confidence: 99%

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Charaf

Harsányi

Poppe

et al. 2017

Period. Polytech. Elec. Eng. Comp. Sci.

View full text Add to dashboard Cite

Preface Since being established in 1949, the Faculty of Electrical Engineering and Informatics (VIK) BME has played a flagship role in the development of electronics, IT and computer science in Hungary.We László Jakab (dean, BME VIK) János Levendovszky (vice-dean in charge of scientific affairs, BME VIK) are proud of combining engineering applications with sound scientific results, which is the assurance of high-level industrial collaboration leading to novel results and innovation. The various collaborations with our industrial partners has made it clear that the industry expects methods and results which make their industrial processes more effective and increase productivity and quality. Thus, participation in these collaborations give a competitive edge and ensure the continuous development of VIK. These factors have positioned our Department of Automation and Applied InformaticsDepartment of Automation and Applied Informatics (AUT) is one of the largest and dynamically developing departments at BME with diverse scope competences such as control theory, embedded systems, software modelling, applied software development, Internet of Things, power electronics, mechatronics, and many others. The department's main activities are education, research and development. Training versatile electrical and software engineers with solid practical knowledge is our top priority. Our profile also includes developing high quality software and hardware solutions for industry partners. All of our activities are backed by strong research background.In 2016, the department organized and hosted a number of domestic and international events. In cooperation with the industry, AUT has organized the IoT4U conference. It was dedicated to Internet of Things, cloud and data management as well as the integration of IoT into various formats. RobonAUT, the yearly domestic amateur robotics contest was organized by the department in February 2016. The yearly contest is open to teams of students, organized either in student projects within the department or independent research teams.The next sections summarize the key research results of the department in year 2016. Software Development Methods and Mobile PlatformsThe diversity of mobile platforms necessitates the development of the same mobile application for all major mobile platforms, what requires considerable development effort. Mobile application developers are multiplatform developers, but they still prioritize the platforms, therefore, not all platforms are equally important for them. Appropriate methods, processes and tools are required to support the development in order to achieve better productivity.The research on educational mobile applications that adapt to the mental state of the user required a method for estimating the difficulty of tasks found in the serious games. There are generated or random assignments where the effort required from the user is not known or cannot be estimated in advance.61 (2) IoT and Smart CityThe Internet of Things (IoT) is transforming the surroun...

show abstract

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

Cited by 88 publications

References 119 publications

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

Evaluation of Optimization Strategies for Incremental Graph Queries

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Contact Info

Product

Resources

About