ICSE '91 Proceedings of the 13th international conference on Software engineering
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Software Change Impact Analysis
Software Change Impact Analysis
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Software evolution: analysis and visualization
Proceedings of the 28th international conference on Software engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Model Synchronisation: Definitions for Round-Trip Engineering
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Managing Dependent Changes in Coupled Evolution
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Supporting Parallel Updates with Bidirectional Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
An Efficient and Scalable Approach to Correct Class Model Refinement
IEEE Transactions on Software Engineering
Safe composition of transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Towards incremental execution of ATL transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Static consistency checking of web applications with WebDSL
Journal of Symbolic Computation
Automatically Detecting and Tracking Inconsistencies in Software Design Models
IEEE Transactions on Software Engineering
Concurrent model synchronization with conflict resolution based on triple graph grammars
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Antipattern-based model refactoring for software performance improvement
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
An automated layout approach for model-driven WIMP-UI generation
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |
An important role of model transformation is in exchanging modeling information among diverse modeling languages. However, while a model is typically constrained by other models, additional information is often necessary to transform said models entirely. This dilemma poses unique challenges for the model transformation community. To counter this problem we require a smart transformation assistant. Such an assistant should be able to combine information from diverse models, react incrementally to enable transformation as information becomes available, and accept human guidance - from direct queries to understanding the designer(s) intentions. Such an assistant should embrace variability to explicitly express and constrain uncertainties during transformation - for example, by transforming alternatives (if no unique transformation result is computable) and constraining these alternatives during subsequent modeling. We would want this smart assistant to optimize how it seeks guidance, perhaps by asking the most beneficial questions first while avoiding asking questions at inappropriate times. Finally, we would want to ensure that such an assistant produces correct transformation results despite the presence of inconsistencies. Inconsistencies are often tolerated yet we have to understand that their presence may inadvertently trigger erroneous transformations, thus requiring backtracking and/or sandboxing of transformation results. This paper explores these and other issues concerning model transformation and sketches challenges and opportunities.