ICSE '91 Proceedings of the 13th international conference on Software engineering
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Assertion-based repair of complex data structures
Proceedings of the twenty-second IEEE/ACM 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
Towards Instant Automatic Model Refinement Based on OCL
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated 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
SM@RT: towards architecture-based runtime management of Internetware systems
Proceedings of the First Asia-Pacific Symposium on Internetware
Automated support for repairing input-model faults
Proceedings of the IEEE/ACM international conference on Automated software engineering
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
Proceedings of the IEEE/ACM international conference on Automated software engineering
Matching lenses: alignment and view update
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Supporting runtime software architecture: A bidirectional-transformation-based approach
Journal of Systems and Software
Proceedings of the 33rd International Conference on Software Engineering
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
Assessing the Kodkod model finder for resolving model inconsistencies
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
From state- to delta-based bidirectional model transformations: the symmetric case
Proceedings of the 14th international conference on Model driven engineering languages and systems
Constraint-based model refactoring
Proceedings of the 14th international conference on Model driven engineering languages and systems
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Evolution and change management of XML-based systems
Journal of Systems and Software
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Badger: a regression planner to resolve design model inconsistencies
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Constraint-Driven modeling through transformation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
Synchronizing concurrent model updates based on bidirectional transformation
Software and Systems Modeling (SoSyM)
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures". When users update some parts of the model and cause inconsistency, a fixing procedure dynamically propagates the update to other parts to fix the inconsistency. Existing fixing procedures are manually implemented, which requires a lot of efforts and the correctness of a fixing procedure is not guaranteed. In this paper we propose a new language, Beanbag, to support the development of fixing procedures. A Beanbag program defines and checks a consistency relation similarly to OCL, but the program can also be executed in a fixing mode, taking user updates on the model and producing new updates to make the model satisfy the consistency relation. In this way Beanbag significantly eases the development of fixing procedures. In addition, a Beanbag program is also guaranteed to be correct with respect to the three correctness properties we define. We evaluate Beanbag over a set of MOF and UML consistency relations and the result shows that Beanbag is useful in practice.