foml online with Winfy

We have hosted the application foml in order to run this application in our online workstations with Wine or directly.

Quick description about foml:

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.

Features:

• http: //www.cs.bgu.ac.il/~khitron/pathlp

Audience: Science/Research.
User interface: Console/Terminal, Command-line.
Programming Language: Prolog.
Database Environment: Project is a database management tool.

Categories: