Ini ialah apl Linux bernama FOML yang keluaran terbarunya boleh dimuat turun sebagai foml1.3.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama FOML ini dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
FOML
HURAIAN:
FOML ialah bahasa peraturan logik ekspresif yang menyokong pemodelan objek, analisis dan inferens. Ia secara semula jadi menyokong aktiviti peringkat model, seperti kekangan (memperluaskan rajah UML), pemodelan komposisi dinamik, analisis dan penaakulan tentang model, ujian model, pemodelan corak reka bentuk, spesifikasi Bahasa Permodelan Khusus Domain dan pemodelan meta.
FOML boleh membuat alasan tentang:
1. Model meta-data (penaakulan tahap model meta, atau penaakulan sintaks)
2. Tahap data: sebab tentang model dan datanya (model contoh, iaitu, rajah)
FOML dibina sebagai lapisan semantik di atas PathLP - bahasa peraturan logik padat bagi ungkapan laluan terkawal, penyesuaian subset F-logik.
Ciri-ciri
Penonton
Sains/Penyelidikan
Antaramuka pengguna
Konsol/Terminal, Baris Perintah
Bahasa Pengaturcaraan
prolog
Persekitaran Pangkalan Data
Projek ialah alat pengurusan pangkalan data
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/pathlp/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.