.JML - ファイル拡張子

JMLファイル拡張機能は、Javaモジュールの動作を指定するために使用できる行動インターフェイス仕様言語であるJavaモデリング言語（JML）に関連付けられています。

JMLファイルは、AAライブラリまたはフレームワークの仕様を保存します。

開く方法：JMLファイルは、Javaモデリング言語の内部目的で使用されます。
変換方法：他の形式への変換は不可能です。