이것은 최신 릴리스를 foml1.3.zip으로 다운로드할 수 있는 FOML이라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks가 포함된 FOML이라는 앱을 무료로 온라인으로 다운로드하여 실행하세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
폼
설명 :
FOML은 객체 모델링, 분석, 추론을 지원하는 표현형 논리 규칙 언어입니다. 제약 조건(UML 다이어그램 확장), 동적 구성 모델링, 모델에 대한 분석 및 추론, 모델 테스트, 디자인 패턴 모델링, 도메인별 모델링 언어 사양, 메타 모델링과 같은 모델 수준 활동을 자연스럽게 지원합니다.
FOML은 다음에 대해 추론할 수 있습니다.
1. 모델 메타데이터(메타모델 수준 추론 또는 구문 추론)
2. 데이터 수준: 모델과 해당 데이터(인스턴스 모델, 즉 다이어그램)에 대한 이유
FOML은 F-로직의 하위 집합을 적용한 보호된 경로 표현의 컴팩트 논리 규칙 언어인 PathLP 위에 의미 체계 계층으로 구축되었습니다.
기능
오디언스 (Audience)
과학/연구
사용자 인터페이스
콘솔/터미널, 명령줄
프로그래밍 언어
프롤로그
데이터베이스 환경
프로젝트는 데이터베이스 관리 도구입니다
카테고리
이는 https://sourceforge.net/projects/pathlp/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 시스템 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.