Arcadia Papers: ABSTRACT
"Using Object-Oriented Typing to Support Architectural Design in the C2 Style
by Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, and Richard N. Taylor.
To appear in Proceedings of SIGSOFT'96: The Fourth Symposium on the Foundatio
ns of Software Engineering (FSE4),
San Francisco, CA, October 16-18, 1996.
Abstract -- Software architectures enable large-scale soft
ware development. Component reuse and substitutability, two
key aspects of large-scale development, must be planned for
during software design. Object-oriented (OO) type theory sup
ports reuse by structuring inter-component relationships and
verifying those relationships through type checking in an
architecture definition language (ADL). In this paper, we iden
tify the issues and discuss the ramifications of applying OO
type theory to the C2 architectural style. This work stems from
a series of experiments that were conducted to investigate com
ponent reuse and substitutability in C2. We also discuss the
limits of applicability of OO typing to C2 and how we
addressed them in the C2 ADL.
The Arcadia Project
Last modified: Tue May 23 13:40:23 1995