Authors: Robert Allen, David Garlan, and James Ivers
In proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), November 1998.
Download the Postscript or PDF
An increasingly important trend in the engineering of complex
systems is the design of component integration standards. Such
standards define 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 difficult 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 specification.
For further information, please visit the home pages of the ABLE research project and Carnegie Mellon University's Composable Systems Group.
[Last modified 16-Feb-1999.
Mail suggestions to the Maintainer.]