A formal method for assessing interoperability using architecture model elements and relationships
Loading...
Authors
Whitcomb, Clifford A.
Giammarco, Kristin
Xie, Geoffrey
Subjects
Advisors
Date of Issue
2012-10-10
Date
Publisher
Language
en_US
Abstract
Formal measurement of system-wide architecture attributes has long been a challenge for system architects and decision makers. The introduction of the idea to use formal methods in the architecture modeling process early in the lifecycle (Giammarco 2010) (Auguston, Whitcomb, and Giammarco 2010) has brought a new perspective to using logic statements to help quantify ambiguous, nonfunctional qualities and help designers reason about system behavior in achiev-ing the desired qualities at the highest levels of abstraction. The research described in this paper builds on previous work in this area, and in particular focuses on assessing a specific quality of interest: interoperability. This paper describes and demonstrates a new method for assessing technological interoperability of a modeled architecture using seven necessary conditions. The proposed set of conditions is scalable across the lifecycle of a design, and extensible to assess a complete operational or technical thread. The method can be used early in a system’s design to help architects/designers identify and correct oversights in their designs that can potentially af-fect actual interoperability in a real system or System of Systems (SoS), predicting issues well before deployment.
Type
Article
Description
Series/Report No
Department
Systems Engineering