Using Object-Oriented Typing to Support Architectural Design in the C2 Style

Abstract

Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for during software design. Object-oriented (OO) type theory supports reuse by structuring inter-component relationships and verifying those relationships through type checking in an architecture definition language (ADL). In this paper, we identify 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 component 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1996
Accession Number
ADA640071

Entities

People

  • Jason E. Robbins
  • Nenad Medvidovic
  • Peyman Oreizy
  • Richard N. Taylor

Organizations

  • University of California, Irvine

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • California
  • Computer Programming
  • Computer Science
  • Concrete
  • Construction
  • Debugging
  • Engineering
  • Language
  • Object Oriented Programming
  • Programming Languages
  • Software Design
  • Software Development
  • Translators
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Software Engineering.