semiformal

The HLA defines the rules of interoperability, a semiformal methodology for specifying simulation and federation object classes, and the interface specification that is a precise specification of the functional actions that a simulation may invoke.