Paper Info
Title
Formal Modelling And Analysis Of Hla Architectural Style
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, p-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 p-ADL compiler p-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.
Year
DOI
Venue
2010
10.1504/IJMIC.2010.032363
INTERNATIONAL JOURNAL OF MODELLING IDENTIFICATION AND CONTROL
Keywords
Field
DocType
architectural style modelling, system modelling, architectural style, high level architecture, HLA, formal methods, model-driven engineering, MDE, pi-languages
Programming language,Computer science,Software architecture description,Control engineering,Formal specification,Artificial intelligence,Formal methods,Systems architecture,Software architecture,Reference architecture,Architectural style,High-level architecture
Journal
Volume
Issue
ISSN
9
1-2
1746-6172
Citations 
PageRank 
References 
4
0.52
0
Authors
4
Name
Order
Citations
PageRank
Jie Chen139265.58
Di Wu260.88
Zhang Juan31345.01
fl vio oquendo420125.10