Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
ICSE '91 Proceedings of the 13th international conference on Software engineering
Enabling the refinement of a software architecture into a design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using Transition Systems to Unify UML Models
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Specification and checking of dependency relations between UML models
UML and the unified process
Design mentoring based on design evolution analysis
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Analyzing the Evolutionary History of the Logical Design of Object-Oriented Software
IEEE Transactions on Software Engineering
UMLDiff: an algorithm for object-oriented design differencing
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
Differencing logical UML models
Automated Software Engineering
Separation of Concerns and Consistent Integration in Requirements Modelling
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Product derivation for solution-driven product line engineering
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Comparing multiple state diagrams to sequence diagrams using super state analysis
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Consistent product line configuration across file type and product line boundaries
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Improving requirements quality using essential use case interaction patterns
Proceedings of the 33rd International Conference on Software Engineering
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Using UML stereotypes to support the requirement engineering: a case study
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Hi-index | 0.00 |
The Unified Modeling Language (UML) supports awide range of diagrams for modeling software developmentconcerns. UML diagrams are independent but connected;their meta-model describes them under a commonroof. Despite the advances of UML, we found that theproblem of ensuring consistency between UML diagramshas not been solved. In the past years, we have developedan approach for automated consistency checking, calledVIEWINTEGRA. Our approach provides excellent supportfor active (preventive) and passive (detective) consistencychecking. We make use of consistent transformation totranslate diagrams into interpretations and we use consistencycomparison to compare those interpretations toother diagrams. Our approach was applied to a numberof applications where we found the separation of transformationand comparison to be highly beneficial in addressingconsistency-checking scalability & usability issues.This paper introduces our UML-based transformationframework, discusses how it aids comparison, anddemonstrates how it improves consistency checking.