DMCA
Formal modeling and analysis of the HLA RTI (1997)
| Venue: | In Summary Report of 1997 Spring Simulation Interoperability Wkshop. Inst. for Simulation and Training |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Allen97formalmodeling,
author = {Robert Allen and David Garlan},
title = {Formal modeling and analysis of the HLA RTI},
booktitle = {In Summary Report of 1997 Spring Simulation Interoperability Wkshop. Inst. for Simulation and Training},
year = {1997},
pages = {1--9}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The HLA RTI is a complex artifact, supporting several classes of interaction (e.g., federation management, object management, time management). A critical challenge in producing an RTI architectural framework (and its associated simulation interface speci cations) is to develop con dence that its speci cation is well-formed and complete. In this paper we describe on-going work in formally modelling the HLA both to document the standard more precisely, aswell as to analyze it for anomalies, omissions, inconsistencies, and ambiguities. The technical basis for this work is the use of a formal architectural description language, called Wright, and its accompanying toolset. 1 introduction Architectural frameworks are rapidly being recognized as a signi cant point ofleverage in the development of software systems. Architectural frameworks typically determine the structure of a family of applications, providing shared infrastructure and prescribing requirements for instantiating the framework to produce a particular application. Often architectural frameworks are developed as in-house proprietary systems that permit the rapid development of new applications in a product line. However, they are also used to de ne open integration standards that permit multiple vendors to contribute parts to produce a composite system, or to provide components that can interact smoothly with those supplied by other vendors. Examples of such frameworks include the ISO OSI layered protocol stack and the CORBA object integration framework. The High Level Architecture (HLA) is in this latter
Keyphrases
hla rti formal modeling protocol stack speci cation critical challenge technical basis introduction architectural framework several class object management iso osi multiple vendor particular application corba object integration framework open integration standard accompanying toolset time management signi cant point ofleverage rapid development formal architectural description language complex artifact in-house proprietary system federation management associated simulation interface speci cation prescribing requirement rti architectural framework architectural framework software system high level architecture on-going work con dence new application composite system product line often architectural framework
