Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Improving System Dependability by Enforcing Architectural Intent

Summary: Improving System Dependability by
Enforcing Architectural Intent
Marwan Abi-Antoun Jonathan Aldrich David Garlan Bradley Schmerl
Nagi Nahas Tony Tseng
Institute for Software Research International, Carnegie Mellon University, Pittsburgh, PA 15213 USA
mabianto+@cs.cmu.edu aldrich+@cs.cmu.edu garlan+@cs.cmu.edu schmerl+@cs.cmu.edu
nnahas@acm.org ttt@alumni.carnegiemellon.edu
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


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


Collections: Computer Technologies and Information Sciences