Title: Formal modelling and analysis of HLA architectural style

Authors: Jie Chen, Di Wu, Juan Zhang, Flavio Oquendo

Addresses: Laboratory of Pattern Recognition and Intelligent Systems, Department of Automatic Control, School of Information Science and Technology, Beijing Institute of Technology, Beijing 100081, P.R. China. ' Education Ministry Key Laboratory of Complex System Intelligent Control and Decision, School of Information Science and Technology, Beijing Institute of Technology, Beijing 100081, P.R. China. ' Education Ministry Key Laboratory of Complex System Intelligent Control and Decision, School of Information Science and Technology, Beijing Institute of Technology, Beijing 100081, P.R. China. ' VALORIA Laboratory, Department of Computer Science and Technology, University of South Brittany, Campus de Tohannic – B.T. Yves Coppens, BP 573, Vannes Cedex 56017, France

Abstract: The high level architecture (HLA) was accepted as an IEEE standard in the year 2000 as reference architecture and common infrastructure for large scale distributed interactive simulation systems. But the problems caused by the informal description of the standard are widely recognised. The special requirements of HLA formalisation are analysed and 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 specific architectural concepts of composite, component and connector types. With respect to the different HLA concepts, the models are further described by internal behaviour and external interfaces. They are then tested and analysed 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 the efficiency of the system development.

Keywords: architectural style modelling; system modelling; high level architecture; HLA; formal methods; model-driven engineering; MDE; pi-languages; distributed interactive simulation.

DOI: 10.1504/IJMIC.2010.032363

International Journal of Modelling, Identification and Control, 2010 Vol.9 No.1/2, pp.71 - 82

Available online: 01 Apr 2010

Full-text access for editors Access for subscribers Purchase this article Comment on this article