A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
2016
Journal of Software and Systems Modeling
Preserved Fulltext
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 ...
However, the history of the VIATRA model transformation framework dates back to over 16 years. ...
A reactive transformation platform: key features Viatra is a reactive, event-driven model transformation platform [20] built on top of incremental graph queries where transformations are executed continuously ...
doi:10.1007/s10270-016-0530-4
fatcat:ahmocossl5aw5mydrtpfcxvmky
Incremental Queries and Transformations: From Concepts to Industrial Applications
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, I overview two open source Eclipse projects, EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems. ...
The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model ...
Acknowledgments The author is indebted for the continuous and deep contributions of all contributors of the EMF-IncQuery and Viatra project teams. ...
doi:10.1007/978-3-662-49192-8_5
fatcat:czk2i7ltxranfe3wzmfzplvb5y
Incremental execution of rule-based model transformation
2020
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This procedure has been implemented in a model transformation engine, whose performance has been evaluated experimentally using the VIATRA CPS benchmark. ...
When model transformations are used to implement consistency relations between very large models, incrementality plays a cornerstone role in detecting and resolving inconsistencies efficiently when models ...
Acknowledgements The author would like to thank Théo Le Calvar for assisting in the reuse of the ATL solution, Ábel Hegedüs and Zoltán Ujhelyi for helping with the reuse of the VIATRA CPS benchmark, and ...
doi:10.1007/s10009-020-00583-y
fatcat:3qw4h3fv4jexfnzrbqi77cj7my
Foundations for Streaming Model Transformations by Complex Event Processing
2016
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
the Viatra reactive transformation framework. ...
Furthermore, a reactive rule engine carries out transformations on identified complex event patterns. ...
, which offers an event-driven and reactive model transformation platform. ...
doi:10.1007/s10270-016-0533-1
pmid:29449795
pmcid:PMC5807515
fatcat:57era3rizfbhxmlvopue6dyuge
Model-Driven Engineering of an OpenCypher Engine: Using Graph Queries to Compile Graph Queries
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present an approach to build a compiler and optimizer for openCypher using model-driven technologies, which allows developers to define declarative optimization rules. ...
The openCypher group aims to define an open specification for a declarative graph query language. ...
We would like to thank János Maginecz and Dávid Szakállas for their contributions to the relational graph algebra model. ...
doi:10.1007/978-3-319-68015-6_6
fatcat:p7ddvxx2tfbwbp7yeq6yjnwmsu
Models in simulation
2016
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A * is a model of an object A to the extent that B can use A * to answer questions that interest him about A. ...
It is understood that B's use of a model entails the use of encodings for input and output, both for A and A * . If A is the world, questions for A are experiments. ...
- tion platform: three generations of the VIATRA framework" by Daniel Varro, Gabor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, and Zoltán Ujhelyi • "Comprehensive Analysis of FBD Test Coverage ...
doi:10.1007/s10270-016-0544-y
fatcat:rexfsk6qvva5jma3asv3re6bee
Designing the automatic transformation of visual languages
2002
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In the current paper, a general framework for an automated model transformation system is presented. ...
For this reason, the mathematical models of various formal veriÿcation tools are automatically derived from UML-diagrams of the model by mathematical transformations guaranteeing a complete consistency ...
in VIATRA. • General rule representation: Model transformation rules require a visual, easy-tounderstand and platform independent notation. ...
doi:10.1016/s0167-6423(02)00039-4
fatcat:vyhticg75bfg3jk66glaqsotbq
Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study
2020
Journal of Automotive Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A B S T R A C T The automotive domain has recently increased its reliance on model-based software development. ...
In this paper, we define generic requirements for querying megamodels and demonstrate how to run queries in our Model Management INTeractive (MMINT) framework using the Viatra query engine. ...
Viatra Query Language Viatra is an Eclipse-based framework for the development of event-driven, reactive model transformations [14] . ...
doi:10.2991/jase.d.200912.001
fatcat:vs5ktnkwprgcra2jdzlcjvfbka
Towards transparent combination of model management execution strategies for low-code development platforms
2020
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Low-code development platforms are taking an important place in the model-driven engineering ecosystem, raising new challenges, among which transparent e ciency or scalability. ...
We present an overview of the di erent computational strategies used in the model-driven engineering ecosystem, and use a running example to introduce the bene ts of mixing strategies for performing a ...
Indeed, the VIATRA platform focuses on event-driven and reactive transformations thus an e cient solution, for handling multiple changes, has been chosen.
Laziness. ...
doi:10.1145/3417990.3420206
dblp:conf/models/PhilippeCTS20
fatcat:di5u7a6yszd2xps4jzaefxnx5a
Gremlin-ATL: A scalable model transformation framework
2017
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we present Gremlin-ATL, a scalable and efficient model-to-model transformation framework that translates ATL transformations into Gremlin, a query language supported by several NoSQL databases ...
for the model transformation problem. ...
The Viatra project [23] is an event-driven and reactive model transformation platform that relies on an incremental pattern matching language to access and transform models. ...
doi:10.1109/ase.2017.8115658
dblp:conf/kbse/DanielJSC17
fatcat:i4ovwwglo5b5rpkgg4tzzznnwa
Reactive model transformation with ATL
2017
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper we propose a reactive paradigm for programming model transformations, and we implement a reactive model-transformation engine. ...
Keywords: Model-Driven Engineering, Model Transformations, Reactive Programming 1 www.eclipse.org/emf/ 2 http://en.wikipedia.org/wiki/List_of_Eclipse_Modeling_Framework_based_ software 3 ...
Modeling frameworks are extensively used in a wide range of scenarios 2 and even the Eclipse 4 platform is itself developed on EMF 3 . ...
doi:10.1016/j.scico.2016.08.006
fatcat:jfj6yz5vhbcsphwfoofwyq67oe
Sensoria Results Applied to the Case Studies
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The third theme, finally, deals with various engineering aspects of services: model-driven development (e.g., MDD4SOA, SDE, VIATRA2), deployment (e.g., Modes, Dino, JCaSPiS, Model transformations for deployment ...
) and reengineering (e.g., graph transformations). ...
PIM-to-PIM and PIM-to-PSM transformations (where PIM stands for Platform Independent Model and PSM for Platform Specific Model). ...
doi:10.1007/978-3-642-20401-2_32
fatcat:4wvndyw5sbcbbnm6v7xmpbhgfm
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
2017
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We propose a secure collaborative modelling approach where fine-grained access control for models is strictly enforced by bidirectional model transformations. ...
We present a formal Communicated by Dr. Jörg Kienzle and Alexander Pretschner. The original version of this article was revised due to a retrospective Open Access order. ...
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 ...
doi:10.1007/s10270-017-0631-8
fatcat:lnmjwo4tbfautlyxxqv6lvlw7q
Feather: A Feature Model Transformation Language
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Changing requirements can force a feature model to evolve in order to adapt to the new conditions. Feather is a language to describe model transformations that will evolve a feature model. ...
Next, an interpreter that can realize the transformations described by the commands in a Feather script is presented. ...
Section 2 provides a brief background to feature models and model transformation. Sections 3, 4, and 5 present Feather. ...
arXiv:1903.06965v1
fatcat:z57kkiaoufgwvnknloxn2bre6i
Towards Scalable Model Views on Heterogeneous Model Resources
2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
As a result, the information relevant to engineers is usually split into several interrelated models. ...
They provide an unification mechanism to combine and query heterogeneous models in a transparent way. ...
For example the VIATRA [31] project, relying on IncQuery [30] for efficient incremental querying, is a reactive model transformation platform. ...
doi:10.1145/3239372.3239408
dblp:conf/models/BruneliereKDC18
fatcat:mwnliuokyvcodhetwi25yb6qsi
« Previous
Showing results 1 — 15 out of 40 results