An incremental XSLT transformation processor for XML document manipulation
Proceedings of the 11th international conference on World Wide Web
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
XML active transformation (eXAcT): transforming documents within interactive systems
Proceedings of the 2005 ACM symposium on Document engineering
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Malan: a mapping language for the data manipulation
Proceedings of the eighth ACM symposium on Document engineering
Improving modularity and usability of interactive systems with Malai
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Linking data and presentations: from mapping to active transformations
Proceedings of the 10th ACM symposium on Document engineering
Incremental model transformation for the evolution of model-driven systems
MoDELS'06 Proceedings of the 9th 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
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Linking data and presentations: from mapping to active transformations
Proceedings of the 10th ACM symposium on Document engineering
Using model driven engineering technologies for building authoring applications
Proceedings of the 10th ACM symposium on Document engineering
Specifying and implementing UI data bindings with active operations
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Lazy execution of model-to-model transformations
Proceedings of the 14th international conference on Model driven engineering languages and systems
Proceedings of the 14th international conference on Model driven engineering languages and systems
Specifying and running rich graphical components with Loa
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
Binding orthogonal views for user interface design
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
| Hi-index | 0.00 |
Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. Consequently, manipulating models often consists of performing operations on collections. For example, transformations create target collections from given source collections. Similarly, constraint evaluations perform computation on collections. Recent research works focus on making such transformations or constraint evaluations active (i.e. incremental, or live). However, they propose their own solutions to the issue by the introduction of specific languages and/or systems. This paper proposes a mathematical formalism, centered on collections and independent of languages and systems, that describes how the implementation of standard operations on collections can be made active. The formalism also introduces a reversed active assignment dedicated to bidirectional operations. A case study illustrates how to use the formalism and its Active Kermeta implementation for creating an active transformation.