Describing the HLA Using the DFSS Formalism

  • Fernando Barros
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3397)


The High Level Architecture (HLA) is a standard for enabling the interoperability of simulation systems in a distributed computer environment. The HLA has been established by the US/DMSO and it is aimed to promote the communication among complex simulators. In this paper, we present a formal representation of the modeling aspects of the HLA using the Discrete Flow System Specification (DFSS), a modeling formalism aimed to represent dynamic structure systems. The HLA has introduced concepts not typically used in the modeling and simulation field. A formal representation of the HLA permits its description using standard constructs, making the HLA more easily intelligible by a larger community of users. A formal description also permits to highlight the current limitations of the HLA when compared with a more complete formal framework like the DFSS formalism that supports a wider range of dynamic structure systems.


Dynamic Structure Parallel Behavior Broadcast Protocol High Level Architecture Network Executive 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barros, F.J.: Modular Representation of Non-Modular HFSS Models. In: International Workshop on Modeling and Applied Simulation, pp. 10–15 (2003)Google Scholar
  2. 2.
    Barros, F.J.: Towards Standard Interfaces in Dynamic Structure Discrete Event Models. In: Proceedings of the AIS Conference, pp. 170–174 (2002)Google Scholar
  3. 3.
    Barros, F.J.: Handling Simultaneous Events in Dynamic Structure Models. In: Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science, vol. 3369, pp. 355–363 (1998)Google Scholar
  4. 4.
    Barros, F.J.: Abstracts Simulators for the DSDE Formalism. In: Proceedings of the Winter Simulation Conference, pp. 407–412 (1998)Google Scholar
  5. 5.
    US Defense Modeling and Simulation Office. High Level Architecture Run Time Infrastructure (2001)Google Scholar
  6. 6.
    Zeigler, B.P.: Theory of Modeling and Simulation. Kluwer, Dordrecht (1976)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Fernando Barros
    • 1
  1. 1.Dept. Eng. InformáticaUniversidade de CoimbraCoimbraPortugal

Personalised recommendations