Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Software Reflexion Models: Bridging the Gap between Design and Implementation
IEEE Transactions on Software Engineering
A Formal Approach to Heterogeneous Software Modeling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
GraphEd: a Graphical Platform for the Implementation of Graph Algorithms
GD '94 Proceedings of the DIMACS International Workshop on Graph Drawing
Software Botryology, Automatic Clustering of Software Systems
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Using Clustering Algorithms in Legacy Systems Remodularization
WCRE '97 Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE '97)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Architectural Repair of Open Source Software
IWPC '00 Proceedings of the 8th International Workshop on Program Comprehension
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Equipping the Reflexion Method with Automated Clustering
WCRE '05 Proceedings of the 12th Working Conference on Reverse Engineering
Generalizing Consistency Checking between Software Views
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Automated clustering to support the reflexion method
Information and Software Technology
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Refinement via Consistency Checking in MDA
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
ReflexML: UML-based architecture-to-code traceability and consistency checking
ECSA'11 Proceedings of the 5th European conference on Software architecture
Good architecture = good (ADL + practices)
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Automotive ADLS: a study on enforcing consistency through multiple architectural levels
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
| Hi-index | 0.00 |
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is good software engineering practice to check the implementation against the architectural description for consistency. In this work we check software developed by a Model Driven Software Development (MDSD) process. This allows us to completely automate consistency checking by deducing information from implementation, design documents, and model transformations. We have applied our approach on a Java project and found several inconsistencies hinting at design problems. With our approach we can find inconsistencies early, keep the artifacts of an MDSD process consistent, and, thus, improve the maintainability and understandability of the software.