40 Hits in 3.2 sec

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

Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
2016 Journal of Software and Systems Modeling  
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]

Dániel Varró
2016 Lecture Notes in Computer Science  
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

Artur Boronat
2020 International Journal on Software Tools for Technology Transfer (STTT)  
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

István Dávid, István Ráth, Dániel Varró
2016 Journal of Software and Systems Modeling  
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]

József Marton, Gábor Szárnyas, Márton Búr
2017 Lecture Notes in Computer Science  
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

Jeff Gray, Bernhard Rumpe
2016 Journal of Software and Systems Modeling  
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

Dániel Varró, Gergely Varró, András Pataricza
2002 Science of Computer Programming  
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

Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
2020 Journal of Automotive Software Engineering  
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

Jolan Philippe, Héléne Coullon, Massimo Tisi, Gerson Sunyé
2020 Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings  
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

Gwendal Daniel, Frederic Jouault, Gerson Sunye, Jordi Cabot
2017 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)  
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

Salvador Martínez, Massimo Tisi, Rémi Douence
2017 Science of Computer Programming  
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 2 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]

Maurice H. ter Beek
2011 Lecture Notes in Computer Science  
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

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
2017 Journal of Software and Systems Modeling  
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]

Ahmet Serkan Karataş
2019 arXiv   pre-print
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

Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Jordi Cabot
2018 Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18  
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