Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #169   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Formal Modeling and Analysis of the HLA Component Integration Standard

Robert Allen, David Garlan and James Ivers.


In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), ACM, Lake Buena Vista, Florida, November 1998.

Online links: PDF PS   Bibtex entry   Plain Text

Abstract
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: Architectural Analysis, Formal Methods, Software Architecture.  
    Created: 2006-08-22 14:33:25     Modified: 2006-11-28 12:01:56
Feedback: ABLE Webmaster
Last modified: Fri July 25 2014 13:46:14
        BibAdmin