Abstract: Battlc management languagc(13MI)is a critical technology which is used to realize unambiguous communica- lion between C2 and M& S systems, and it can help to solve the problems of the interoperation of C2 and Mc}.S sys- terns. First the architecture of I3ML was discussed, and then different methods of formalization were compared. A gram- mar formal method of BMI. based on improved backus-naur form(II3NF) was proposed,finally,the grammars of typical orders were formalized with II3NF and specific examples were given.

Key words: Battle management language(I3ML) , Backus-naur form(I3NF) , Formalization