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.

关键词： architectural style modeling High Level Architecture formal languages π-Languages.

作者: Di Wu Jie Chen Flavio Oquendo

作者单位: School of Information Science and Technology,Beijing Institute of Technology,Beijing,China Valoria,Department of Computer Science,University of South Brittany,Vannes,France

会议类型: 国际会议

会议名称: International Conference on Modelling,Identification and Control(模拟、鉴定、控制国际会议)

会议地点: 上海

会议语种:英文

在线出版日期: 2008-06-29（万方平台首次上网日期，不代表论文的发表时间）