Formal Modeling and Analysis of the HLA Component Integration Standard

An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared communication infrastructure that permit composition of systems out of independently-developed parts. A problem with these standards is that it is often di cult to understand exactly what they require and provide, and to analyze them in order to understand their deeper properties. In this paper we use our experience in modeling the High Level Architecture HLA for Distributed Simulation to show how one can capture the structured protocol inherent in an integration standard as a formal architectural model that can be analyzed to detect anomalies, race conditions, and deadlocks. KEYWORDS Component integration standards, component-based software, protocol families, software architecture, formal specication.

• Type: Conference
• Year: 1998
• Where: SIGSOFT
• Authors: Robert Allen, David Garlan
• Keywords: Component Integration Standards, Integration Standards, SIGSOFT 1998, Software Engineering, Such Standards