Formal modelling and analysis of HLA architectural style Online publication date: Thu, 01-Apr-2010
by Jie Chen, Di Wu, Juan Zhang, Flavio Oquendo
International Journal of Modelling, Identification and Control (IJMIC), Vol. 9, No. 1/2, 2010
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.
Online publication date: Thu, 01-Apr-2010
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Modelling, Identification and Control (IJMIC):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email email@example.com