A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Filters
Live Model Transformations Driven by Incremental Pattern Matching
[chapter]
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]
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]
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
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]
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]
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
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
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
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
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
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
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]
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*
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]
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