Using Types to Enforce Architectural Structure

Authors:
Jonathan Aldrich
Affiliations:
-
Venue:
WICSA '08 Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
Year:
2008

Citing 0
Cited 7

Using code analysis tools for architectural conformance checking

Proceedings of the 6th International Workshop on SHAring and Reusing Architectural Knowledge
Combining Proof and Model-checking to Validate Reconfigurable Architectures

Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic architecture extraction

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Using temporal logic for dynamic reconfigurations of components

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Impact analysis for distributed event-based systems

Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Combining traits with boxes and ownership types in a Java-like setting

Science of Computer Programming
An approach to automatically enforce object-oriented constraints

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended architecture. Previous techniques for enforcing architecture are either unsound or place significant limitations on either architectural design or on implementation techniques.This paper presents the first system to statically enforce complete structural conformance between a rich, dynamic architectural description and object-oriented implementation code. We extend previous work to (1) explain what full structural conformance means in an object-oriented setting, and (2) enforce architectural structure in the presence of shared data. We show that the resulting system can express and enforce important structural constraints of an architecture, while still supporting key object-oriented implementation techniques. As a result of our conformance property, developers can be assured that their intended architecture is realized in code, so the system will exhibit the desired quality attributes.