Diana is an Optimal intermediate language of Ada currently popular in the world. Being characterized by formalizing expression, Ada and APSE environment orientation, it is suited to standard interfaces in Ada environment.

• Diana是目前国际上优选的Ada中间语言,由于其采用形式化手段描述,并具有面向Ada,面向APSE环境等特征,因而适用于Ada环境中的标准界面。