| | |
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
ABSTRACT
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
|
