Using Formal Methods to Reason about Architectural Standards

Abstract

We present a study in which we used formal methods to reason precisely about aspects of a widely used software architectural standard, namely Microsoft's Component Object Model (COM). We developed a formal theory of COM to help us reason about a proposed compositional architectural style based on COM, intended for use in a novel commercial multimedia authoring system. The style combined COM objects, integration mediators, and the COM reuse mechanism of aggregation. Our use of formal methods averted an architectural disaster by revealing essential but subtle and counterintuitive properties of COM. We partially validated our theory by subjecting it to review by the designers of COM and by testing it against other available data. The theory has good evidential support.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1997
Accession Number
ADA466375

Entities

People

  • John Socha
  • Kevin J. Sullivan
  • Mark Marchukov

Organizations

  • University of Virginia

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Basic Programming Language
  • Communications Protocols
  • Computer Science
  • Computers
  • Computing System Architectures
  • Corporations
  • Engineering
  • Formal Languages
  • Identities
  • Infrastructure
  • Language
  • Law
  • Software Design
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Database Systems and Applications
  • Theoretical Analysis.