Shaky Foundations? Using Formal Methods to Reason About Architectural Standards

Report
Authors:Sullivan, Kevin, Department of Computer ScienceUniversity of Virginia Socha, John, Department of Computer ScienceUniversity of Virginia
Abstract:

We present a case study in which we applied formal methods in evaluating a novel architectural style that combined mediators and Microsoft's Component Object Model (COM). To verify conformance with the COM specification, we built a formal model of key aspects of COM. That led to an effort to understand and validate key properties of COM. We averted an architectural disaster by discovering that our proposed architecture was illegal. The problem was in architecturally important but previously overlooked subtleties in the design of the COM standard. Such widely used architectural standards are critical infrastructure systems. Formal methods have a significant role to play in practical validation and verification efforts.
Note: Abstract extracted from PDF file via OCR

Rights:
All rights reserved (no additional license for public reuse)
Language:
English
Source Citation:

Sullivan, Kevin, and John Socha. "Shaky Foundations? Using Formal Methods to Reason About Architectural Standards." University of Virginia Dept. of Computer Science Tech Report (1996).

Publisher:
University of Virginia, Department of Computer Science
Published Date:
1996