Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Tracing Evolution Changes of Software Artifacts through Model Synchronization
ICSM '04 Proceedings of the 20th IEEE International Conference on Software Maintenance
Instant and Incremental Transformation of Models
Proceedings of the 19th IEEE international conference on Automated software engineering
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Decoupling web application concerns through weaving operations
Science of Computer Programming
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Change Management in Multi-Viewpoint System Using ASP
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Managing Dependent Changes in Coupled Evolution
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
COPE - Automating Coupled Evolution of Metamodels and Models
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Change-Driven Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Model migration with epsilon flock
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specifying overlaps of heterogeneous models for global consistency checking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Instant and incremental QVT transformation for runtime models
Proceedings of the 14th 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
Graphical definition of in-place transformations in the eclipse modeling framework
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
On the use of graph transformations for model refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Reconstructing complex metamodel evolution
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
| Hi-index | 0.00 |
Multi-viewpoint modeling is an effective technique to deal with the ever-growing complexity of large-scale systems. The evolution ofmulti-viewpoint system specifications is currently accomplished in terms of fine-grained atomic changes. Apart from being a very low-level and cumbersome strategy, it is also quite unnatural to system modelers, who think of model evolution in terms of coarse-grained high-level changes. In order to bridge this gap, we propose an approach to formally express and manipulate viewpoint changes in a high-level fashion, by structuring atomic changes into coarse-grained composite ones. These can also be used to formally define reconciling operations to adapt dependent views, using coupled transformations. We introduce a modeling language based on graph transformations and Maude for expressing both, the coarse-grained changes and the coupled transformations that propagate them to reestablish global consistency. We demonstrate the applicability of the approach by its application in the context of RM-ODP.