Tải xuống FOML cho Linux

Đây là ứng dụng Linux có tên FOML có bản phát hành mới nhất có thể được tải xuống dưới dạng foml1.3.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.

Tải xuống và chạy trực tuyến ứng dụng có tên FOML này với OnWorks miễn phí.

Làm theo các hướng dẫn sau để chạy ứng dụng này:

- 1. Đã tải ứng dụng này xuống PC của bạn.

- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.

- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.

- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 6. Tải xuống ứng dụng, cài đặt và chạy nó.

Tải ứng dụng Chạy trong Ubuntu Chạy trong Fedora Chạy trong Windows Sim Chạy trong MACOS Sim

FOML

SỰ MIÊU TẢ:

FOML là một ngôn ngữ quy tắc logic biểu đạt hỗ trợ mô hình hóa, phân tích và suy luận đối tượng. Nó hỗ trợ một cách tự nhiên các hoạt động cấp mô hình, chẳng hạn như các ràng buộc (mở rộng sơ đồ UML), mô hình thành phần động, phân tích và lý luận về mô hình, kiểm tra mô hình, mô hình hóa mẫu thiết kế, đặc tả Ngôn ngữ mô hình hóa miền cụ thể và mô hình hóa siêu mô hình.
FOML có thể giải thích về:
1. Siêu dữ liệu mô hình (suy luận mức siêu mô hình hoặc suy luận cú pháp)
2. Mức dữ liệu: lý do về một mô hình và dữ liệu của nó (mô hình thể hiện, tức là sơ đồ)
FOML được xây dựng như một lớp ngữ nghĩa trên đầu PathLP - một ngôn ngữ quy tắc logic nhỏ gọn của các biểu thức đường dẫn được bảo vệ, một sự thích nghi của một tập con của F-logic.

Tính năng

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

Khán giả

Nghiên cứu khoa học

Giao diện người dùng

Bảng điều khiển / Thiết bị đầu cuối, Dòng lệnh

Ngôn ngữ lập trình

Lời mở đầu

Môi trường cơ sở dữ liệu

Dự án là một công cụ quản lý cơ sở dữ liệu

Danh Mục

UML, Trình biên dịch, Trình thông dịch

Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/pathlp/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.

Tiếp theo>