Some MAX SNP-hard results concerning unordered labeled trees
Information Processing Letters
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
On the criteria to be used in decomposing systems into modules
Communications of the ACM
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Towards architecture-based self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Software Reflexion Models: Bridging the Gap between Design and Implementation
IEEE Transactions on Software Engineering
HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
Inter-Module Renaming and Reorganizing: Examples of Program Manipulation-in-the-Large
ICSM '94 Proceedings of the International Conference on Software Maintenance
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Extending and Managing Software Reflexion Models
Extending and Managing Software Reflexion Models
Differences between versions of UML diagrams
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Experimenting different software architectures performance techniques: a case study
WOSP '04 Proceedings of the 4th international workshop on Software and performance
DiscoTect: A System for Discovering Architectures from Running Systems
Proceedings of the 26th International Conference on Software Engineering
AcmeStudio: Supporting Style-Centered Architecture Development
Proceedings of the 26th International Conference on Software Engineering
Understanding Tradeoffs among Different Architectural Modeling Approaches
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Twin Workshops on Architecting Dependable Systems (WADS 2004)
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Architectural mismatch tolerance
Architecting dependable systems
Using architectural properties to model and measure graceful degradation
Architecting dependable systems
Architecting dynamic reconfiguration in dependable systems
Architecting dependable systems IV
A practical architecture-centric analysis process
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Assisting conformance checks between architectural scenarios and implementation
Information and Software Technology
| Hi-index | 0.00 |
Developing dependable software systems. requires enforcing conformance between architecture and implementation during software development and evolution. We address this problem with a multi-pronged approach: (a) automated refinement of a component-and-connector (C&C) architectural view into an initial implementation, (b) enforcement of architectural structure at the programming language level, (c) automated abstraction of a C&C view from an implementation, and (d) semi-automated incremental synchronization between the architectural and the implementation C&C views.We use an Architecture Description Language (ADL), Acme, to describe the architecture, and ArchJava, an implementation language which embeds a C&C architecture specification within Java implementation code. Although both Acme and ArchJava specify C&C views, a number of structural differences may arise. Our approach can detect structural differences which correspond directly to implementation-level violations of the well thoughtout architectural intent. Furthermore, supplementing the C&C view extracted from the implementation with architectural types and styles can uncover additional violations.