Instant and Incremental Transformation of Models
Proceedings of the 19th IEEE international conference on Automated software engineering
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using components for architecture-based management: the self-repair case
Proceedings of the 30th international conference on Software engineering
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Computer
Towards incremental execution of ATL transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Inferring meta-models for runtime system data from the clients of management APIs
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Supporting runtime software architecture: A bidirectional-transformation-based approach
Journal of Systems and Software
From state- to delta-based bidirectional model transformations: the symmetric case
Proceedings of the 14th international conference on Model driven engineering languages and systems
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Incremental model synchronization for efficient run-time monitoring
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Generating synchronization engines between running systems and their model-based views
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Bidirectional model transformations in QVT: semantic issues and open questions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
From state- to delta-based bidirectional model transformations: the symmetric case
Proceedings of the 14th international conference on Model driven engineering languages and systems
Viewpoint co-evolution through coarse-grained changes and coupled transformations
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Model driven configuration of fault tolerance solutions for component-based software system
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Rapid GUI development on legacy systems: a runtime model-based solution
Proceedings of the 7th Workshop on Models@run.time
Model-based high availability configuration framework for cloud
Proceedings of the 2013 Middleware Doctoral Symposium
Hi-index | 0.00 |
As a dynamic representation of the running system, a runtime model provides a model-based interface to monitor and control the system. A key issue for runtime models is to maintain their causal connections with the running system. That means when the systems change, the models should change accordingly, and vice versa. However, for the abstract runtime models that are heterogeneous to their target systems, it is challenging to maintain such causal connections. This paper presents a model-transformation-based approach to maintaining causal connections for abstract runtime models. We define a new instant and incremental transformation semantics for the QVT-Relational language, according to the requirements of runtime models, and develop the transformation algorithm following this semantics. We implement this approach on the mediniQVT transformation engine, and apply it to provide the runtime model for an intelligent office system named SmartLab.