- ソフト名 : FOML
- OS : Linux,BSD,Windows
- 言語 : Prolog
- 開発者 : HOME
FOML 詳細説明
FOMLは、オブジェクトモデリング、分析、および推論をサポートする表現的なロジックルール言語です。それは当然、制約（UML図の拡張）、動的構成モデリング、モデルレベルのモデル化、モデルテスト、デザインパターンモデリング、ドメイン固有のモデリング言語の仕様、およびメタモデリングなどのモデルレベルの活動をサポートしています。
FOMLについての理由：
1。モデルメタデータ（メタモデルレベルの推論、または構文推論）
2。データレベル：モデルとそのデータ（インスタンスモデル、すなわち図）についての理由
FOMLはPATHLPの上の意味層として構築されています。 – 保護されたパス式のコンパクトなロジックルール言語、Fのサブセットの適応-論理。