Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using Types to Enforce Architectural Structure Jonathan Aldrich
 

Summary: 1
Using Types to Enforce Architectural Structure
Jonathan Aldrich
Carnegie Mellon University
jonathan.aldrich@cs.cmu.edu
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 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