FOML Icon

FOML

beta
Add a Review
0 Downloads (This Week)
Last Update:
Download foml 1.2.zip
Browse All Files
BSD Windows Linux

Description

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.

FOML Web Site

Categories

Compilers, Interpreters, UML

License

Public Domain

Features

KEEP ME UPDATED

Other Useful Business Software

The First VoIP Communications Cloud in the World Icon

The Smarter Business Phone Solution

The First VoIP Communications Cloud in the World Icon
1 of 5 2 of 5 3 of 5 4 of 5 5 of 5
34 Reviews
  • Powerful Unified Communication Features
  • Fast, Easy, Free Setup & Install
  • Trusted by 47,000+ Companies in 100 Countries
Write a Review

User Reviews

Be the first to post a review of FOML!

Additional Project Details

Intended Audience

Science/Research

User Interface

Console/Terminal, Command-line

Programming Language

Prolog

Registered

2011-08-05

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks