Int. J. of Modelling, Identification and Control   »   2010 Vol.9, No.1/2

 

 

Title: Formal modelling and analysis of HLA architectural style

 

Author: 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

 

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

 

Available online: 01 Apr 2010

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article