European Software Factory Plan—the ESF profile
Modern software engineering, foundations and current perspectives
A formal approach to recovery by compensating transactions
Proceedings of the sixteenth international conference on Very large databases
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Building tightly integrated software development environments: the IPSEN approach
Building tightly integrated software development environments: the IPSEN approach
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database
Proceedings of the Eighth International Conference on Data Engineering
Consistency Checking of Financial Derivatives Transactions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Monitoring Requirements: A Case Study
Proceedings of the 17th IEEE international conference on Automated software engineering
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Automatic detection and repair of errors in data structures
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
IEEE Transactions on Software Engineering
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
Systemic classification of concern-based design methods in the context of enterprise architecture
Information Systems Frontiers
Proceedings of the 2006 international workshop on Global integrated model management
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
On impact-oriented automatic resolution of pervasive context inconsistency
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On impact-oriented automatic resolution of pervasive context inconsistency
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Scalable automatic test data generation from modeling diagrams
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Cost-based BDI plan selection for change propagation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Managing Model Conflicts in Distributed Development
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Evaluating an Agent-Oriented Approach for Change Propagation
Agent-Oriented Software Engineering IX
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Supporting automatic model inconsistency fixing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Maintaining constraints of UML models in distributed collaborative environments
Journal of Systems Architecture: the EUROMICRO Journal
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
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A fast algebraic web verification service
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Generation of repair plans for change propagation
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
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
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Towards automated inconsistency handling in design models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Verifying the consistency of web-based technical documentations
Journal of Symbolic Computation
Compatibility of XML language versions
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
Improving requirements quality using essential use case interaction patterns
Proceedings of the 33rd International Conference on Software Engineering
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
Specifying overlaps of heterogeneous models for global consistency checking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Assessing the Kodkod model finder for resolving model inconsistencies
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
An agent-based framework for distributed collaborative model evolution
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Partial models: a position paper
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Engineering mathematical knowledge
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Assisting conformance checks between architectural scenarios and implementation
Information and Software Technology
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Partial models: towards modeling and reasoning with uncertainty
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
Caprice: a tool for engineering adaptive privacy
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
Guided development with multiple domain-specific languages
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Improving inconsistency resolution with side-effect evaluation and costs
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Industrial experiences from multi-paradigmatic modelling of signal processing
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
| Hi-index | 0.00 |
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent distributed documents. The core piece of the framework is a new method for generating interactive repairs from full first order logic formulae that constrain these documents. We present a full implementation of the components in our repair framework, as well as their application to the UML and related heterogeneous documents such as EJB deployment descriptors. We describe how our approach can be used as an infrastructure for building higher-level, domain specific frameworks and provide an overview of related work in the database and software development environment community.