Formal Model-Driven Engineering for HLA systems

The software development for HLA systems is considered to be difficult based on the facts of their highly dynamic, mobile environments and the informal descriptions of both platform standard and concrete architectures. In this article, we present a software automation approach for this specific domain. It is based on the Model-Driven Engineering (MDE) paradigm and a series of formal languages for architecture specification, validation and implementation code generation. In these steps, different levels of formal models have been built to analyze the system both structurally and behaviorally, both statically and dynamically. At the same time, it realizes the seamless transfer of these models. We developed the environment for this approach, which provides both graphical and textual notations for the development process. A simple example of HLA system will be illustrated to show the eminent feasibility and effectiveness of this approach by the tool support.