Item Details

Shaky Foundations? Using Formal Methods to Reason About Architectural Standards

Sullivan, Kevin; Socha, John
Format
Report
Author
Sullivan, Kevin
Socha, John
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
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 1996
Published Date
1996
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online