Filters








44,065 Hits in 6.0 sec

Live Model Transformations Driven by Incremental Pattern Matching [chapter]

István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró
Lecture Notes in Computer Science  
In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their  ...  Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns.  ...  Live transformations driven by incremental pattern matching Based on our incremental pattern matching technology introduced in Sec. 3, we now propose a novel approach to live model transformations.  ... 
doi:10.1007/978-3-540-69927-9_8 fatcat:almru36y35ffpdn7xphb7usxi4

Change-Driven Model Transformations [chapter]

István Ráth, Gergely Varró, Dániel Varró
2009 Lecture Notes in Computer Science  
Our approach is implemented within the VIATRA2 framework, and it builds on live transformations and incremental pattern matching.  ...  Introduction Model transformations play a key role in model-driven software engineering by providing embedded design intelligence for automated code generation, model refactoring, model analysis or reverse  ...  Acknowledgements: This paper was partially supported by the SENSORIA European Project (IST-3-016004).  ... 
doi:10.1007/978-3-642-04425-0_26 fatcat:hhilwtxg7fcj5iw6xloxnojfy4

Incremental Queries and Transformations: From Concepts to Industrial Applications [chapter]

Dániel Varró
2016 Lecture Notes in Computer Science  
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  ...  Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain.  ...  This work was partially supported by the MONDO Project (EU ICT-611125) and the MTA-BME Lendület Research Group on Cyber-Physical Systems.  ... 
doi:10.1007/978-3-662-49192-8_5 fatcat:czk2i7ltxranfe3wzmfzplvb5y

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.  ...  , reactive/live transformations and traceability-driven transformations.  ... 
doi:10.1007/s10270-016-0530-4 fatcat:ahmocossl5aw5mydrtpfcxvmky

Offline Delta-Driven Model Transformation with Dependency Injection [chapter]

Artur Boronat
2019 Lecture Notes in Computer Science  
State-of-the-art model transformation engines with support for incrementality normally rely on a publish-subscribe model for linking model updates − deltas − to the application of model transformation  ...  When model transformations are used to implement consistency relations between very large models (VLMs), incrementality plays a cornerstone role in the realization of practical consistency maintainers.  ...  Delta-Driven Model Transformations This section presents the mechanism to propagate documented deltas δ t from a source model M s to a target model M t in an incremental way, when the (unidirectional)  ... 
doi:10.1007/978-3-030-16722-6_8 fatcat:l2ux7f2kovbcfefzgci7yz3nsa

Incremental Model Transformation for the Evolution of Model-Driven Systems [chapter]

David Hearnden, Michael Lawley, Kerry Raymond
2006 Lecture Notes in Computer Science  
Model transformations are an integral part of model-driven development.  ...  Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems.  ...  Live Transformation In Practice In this section we present some preliminary measurements of the efficiency of incremental model transformation using live resolution trees.  ... 
doi:10.1007/11880240_23 fatcat:y3pwgnpqtzb2plkf537zsrganu

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  
In this paper, we propose foundations of streaming model transformations by innovatively integrating incremental model query, complex event processing (CEP) and reactive (event-driven) transformation techniques  ...  Our approach enables event streams to include model change events which are automatically and continuously populated by incremental model queries.  ...  The model transformations are driven by complex event patterns inferred from this stream and are executed upon the underlying source model.  ... 
doi:10.1007/s10270-016-0533-1 pmid:29449795 pmcid:PMC5807515 fatcat:57era3rizfbhxmlvopue6dyuge

Incremental execution of rule-based model transformation

Artur Boronat
2020 International Journal on Software Tools for Technology Transfer (STTT)  
Stateof-the-art model transformation engines with support for incrementality normally rely on an observer pattern for linking model changes, also known as deltas, to the application of model transformation  ...  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  ...  To view a copy of this licence, visit http://creativecomm ons.org/licenses/by/4.0/.  ... 
doi:10.1007/s10009-020-00583-y fatcat:3qw4h3fv4jexfnzrbqi77cj7my

Incremental pattern matching in the viatra model transformation system

Gábor Bergmann, András Ökrös, István Ráth, Dániel Varró, Gergely Varró
2008 Proceedings of the third international workshop on Graph and model transformations - GRaMoT '08  
Incremental pattern matching is a key challenge for many tool integration, model synchronization and (discrete-event) model simulation tasks.  ...  An incremental pattern matching engine explicitly stores existing matches, while these matches are maintained incrementally with respect to the changes of the underlying model.  ...  Incremental model synchronization has also been identified by the QVT standard [13] as a key model transformation problem for a successful model-driven engineering process.  ... 
doi:10.1145/1402947.1402953 fatcat:4wew4nze3bdlbjjinvy4jgsosy

Reactive model transformation with ATL

Salvador Martínez, Massimo Tisi, Rémi Douence
2017 Science of Computer Programming  
Model-driven applications may maintain large networks of structured data models and transformations among them.  ...  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  ...  Acknowledgements This work is partially supported by the MONDO (EU ICT-611125) project.  ... 
doi:10.1016/j.scico.2016.08.006 fatcat:jfj6yz5vhbcsphwfoofwyq67oe

Incremental Model Transformation with Epsilon in Model-Driven Engineering

Marzieh Ghorbani, Mohammadreza Sharbaf, Bahman Zamani
2022 Acta Informatica Pragensia  
The Epsilon Transformation Language (ETL) is a well-known model transformation language that does not support incremental executions.  ...  Model-Driven Engineering (MDE) is a software development paradigm that uses models as the main artifacts in the development process.  ...  Ráth et al. (2008) proposed an approach to support live model transformation using an incremental pattern matching engine (Bergmann et al., 2008) .  ... 
doi:10.18267/j.aip.179 fatcat:iw3v4ixxingu7d7vommrz7viwi

Advanced Techniques and Tools for Secure Collaborative Modeling

Csaba Debreceni
2017 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
and incremental maintenance of view models to provide specific focus of the designers by abstracting from unnecessary details of the underlying system model.  ...  design artifacts need to be protected by access control policies.  ...  Internally, we uniquely use incremental and change-driven transformations to derive the merged models.  ... 
dblp:conf/models/Debreceni17 fatcat:nfamcsaxsvb73kdhv52w5bnxvu

Model-Driven Software Development with Graph Transformations: A Comparative Case Study [chapter]

Thomas Buchmann, Alexander Dotor, Sabrina Uhrig, Bernhard Westfechtel
2008 Lecture Notes in Computer Science  
However, many other competing approaches have been developed for model-driven software development.  ...  Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems.  ...  Thus, model-driven software development can be supported by generating executable code from graph transformation rules.  ... 
doi:10.1007/978-3-540-89020-1_24 fatcat:qid656pu3zdy3n55ptxfx4qlc4

Incremental backward change propagation of view models by logic solvers*

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
2016 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16  
View models can be specified by unidirectional forward transformations (frequently captured by graph queries), and automatically maintained upon changes of the underlying source model using incremental  ...  View models are key concepts of domain-specific modeling to provide task-specific focus (e.g., power or communication architecture of a system) to the designers by highlighting only the relevant aspects  ...  Efficient live maintenance of a view model upon changes of the source model can be carried out by incremental transformation techniques [6, 11] even for multiple view models (MV i = fwd i (MS)) or chains  ... 
doi:10.1145/2976767.2976788 fatcat:vc4x2evetffzxkqvznznhdcgka

A Demonstration-based Approach to Support Live Transformations in a Model Editor [chapter]

Yu Sun, Jeff Gray, Christoph Wienands, Michael Golm, Jules White
2011 Lecture Notes in Computer Science  
, and a live model transformation matching engine to suggest applicable transformations during model-edit time.  ...  In order to automate and reuse patterns of model editing, an editing process can be regarded as an endogenous model transformation and specified as transformation rules.  ...  Precondition Actions Acknowledgement This work is supported by NSF CAREER award CCF-1052616.  ... 
doi:10.1007/978-3-642-21732-6_15 fatcat:mvysgkz6m5fz7earavygvpx4ki
« Previous Showing results 1 — 15 out of 44,065 results