A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Using XML to Build Consistency Rules for Distributed Specifications
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Sound methods and effective tools for model-based security engineering with UML
Proceedings of the 27th international conference on Software engineering
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
The use of the Unified Modelling Language (UML)during systems development has been growing in scaleand complexity, often resulting in inconsistentspecifications. In this paper we present a knowledge basegoal-driven approach for consistency management ofUML specifications represented as axioms, which definegoals. We propose an inference procedure as a flexiblepattern-based abduction used to build and morph pathsbased on the specifications. The approach involves a two-stepinteraction process between the specifications:observation and comparison. Prototypes of the knowledgebase engine and of a tool to map UML specifications inXMI format to the knowledge base have been developed todemonstrate and evaluate the approach.