Formal Modeling and Analysis of HLA Architectural Style

摘要

The High Level Architecture (HLA) was accepted as an IEEE standard in 2000 as reference architecture and common infrastructure for large scale distributed interactive simulation systems.But the problems brought by the informal description of the standard are widely acknowledged.The special requirements of HLA formalization are analyzed considered as a new architectural style.Combined with the comparison of many Architecture Description Languages (ADLs),the formal models of HLA style are introduced with a newly proposed formal language,-ADL.These models are grouped as composite,component and connector types,with respect to the different HLA concepts and further divided into internal behavior and external interfaces.These models are then tested and analyzed with a simple HLA example using the -ADL compiler-ADLVM.An HLA internal deadlock reason is found automatically.With the formal specification,a new HLA system design environment is established,which improves efficiency of system development.