Download
FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling.
FOML can reason about:
1. The model meta-data (meta-model level reasoning, or syntax reasoning)
2. Data level: reason about a model and its data (instance model, i.e., diagram)
FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.
License
Public DomainFollow FOML
Other Useful Business Software
Infor M3 ERP
Efficiently executing the complex processes of enterprise manufacturers and distributors. Infor M3 is a cloud-based, manufacturing and distribution ERP system that leverages the latest technologies to provide an exceptional user experience and powerful analytics in a multicompany, multicountry, and multisite platform. Infor M3 and related CloudSuite™ industry solutions include industry-leading functionality for the chemical, distribution, equipment, fashion, food and beverage, and industrial manufacturing industries. Staying ahead of the competition means staying agile. Our new capabilities bring improved data-driven insights and streamlined workflows to help you make informed decisions and take quick action.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of FOML!
