Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Using Types to Enforce Architectural Structure Jonathan Aldrich

Summary: 1
Using Types to Enforce Architectural Structure
Jonathan Aldrich
Carnegie Mellon University
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 enforc-
ing architecture are either unsound or place signifi-
cant limitations on either architectural design or on
implementation techniques.
This paper presents the first system to statically en-
force 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


Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University


Collections: Computer Technologies and Information Sciences