Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ruleruntimeg_2 [2008/06/25 21:07] miw |
pl:miw:miw08_ruleruntimeg_2 [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== Opis ====== | ====== Opis ====== | ||
| + | __**Projekt zakończony**__ | ||
| + | |||
| Damian Janicki <janicki.damian@gmail.com> | Damian Janicki <janicki.damian@gmail.com> | ||
| Linia 11: | Linia 13: | ||
| * approach: 2 -3 app. cases, M prolog, V in Java, C -> JPL/Logtalk, e.g. ready M in Prolog, build V in Java: Car ES, opposite: ready MV i Java, build M in Prolog, make it work with the V | * approach: 2 -3 app. cases, M prolog, V in Java, C -> JPL/Logtalk, e.g. ready M in Prolog, build V in Java: Car ES, opposite: ready MV i Java, build M in Prolog, make it work with the V | ||
| - | ====== Spotkania ====== | + | [[pl:miw:miw08_ruleruntimeg_2_spotkania|Spotkania]] |
| - | ===== 08.03.04 ===== | + | |
| - | * **MISSED** prototyp dla car, tj. ask_question | + | |
| - | + | ||
| - | ===== 080311 ===== | + | |
| - | * problems, problems | + | |
| - | + | ||
| - | + | ||
| - | ===== 080318 ===== | + | |
| - | * przerobienie car na wywołanie V w Javie | + | |
| - | * jpl pod linuxem na wiki do czwartku | + | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | ===== 080401 ===== | + | |
| - | MISSED | + | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | ===== 080415 ===== | + | |
| - | * model z [[hekate:varda]], view w java, funkcjonalność z ''varda_model.pl'' (ew. innych) ma być udostępniania przez jako model, do tego jest view w javie | + | |
| - | + | ||
| - | funkcje (proste reqestery, radiobox): | + | |
| - | split, -> na ile, ktore, jakie nowe czesci | + | |
| - | finalize -> na ile att, ktore property | + | |
| - | (new att) | + | |
| - | <code> | + | |
| - | sar. show the ARD diagram, can be used sar(File), | + | |
| - | shi. show the ARD history (TPH), can be used shi(File), | + | |
| - | sha. show the TPH and ARD combined, with can be used sha(File), | + | |
| - | + | ||
| - | setof([A,B],ard_depend(A,B),L). | + | |
| - | arp. write ARD model in Prolog, can be used arp(File), | + | |
| - | the file can be subsequently consulted to recreate the model, | + | |
| - | </code> | + | |
| - | sprawdz rezultatu!!!! | + | |
| - | + | ||
| - | + | ||
| - | ===== 080429 ===== | + | |
| - | * varda | + | |
| - | + | ||
| - | + | ||
| - | ===== 080527 ===== | + | |
| - | * logika w goal z prologu, patrz [[pl:miw:miw08_prolog_javasockets]] | + | |
| - | * ui pozwala na zrobienie tylko tego co w danym kontekście możliwe | + | |
| - | ===== 080810 ===== | + | |
| - | * split, sparowzd alpha | + | |
| ====== Projekt ====== | ====== Projekt ====== | ||
| Linia 209: | Linia 162: | ||
| ===== Wykonanie ===== | ===== Wykonanie ===== | ||
| W ramach projektu udało się zrealizować interfejs graficzny napisany w języku Java do programu Varda. Program składa się z klas java, które tworzą GUI, oraz klas, które są odpowiedzialne za komunikacje z prologiem. W projekcie znajduje się także plik prologa, gdzie zdefiniowane są odpowiednie zapytania pobierające informacje z programu varda. | W ramach projektu udało się zrealizować interfejs graficzny napisany w języku Java do programu Varda. Program składa się z klas java, które tworzą GUI, oraz klas, które są odpowiedzialne za komunikacje z prologiem. W projekcie znajduje się także plik prologa, gdzie zdefiniowane są odpowiednie zapytania pobierające informacje z programu varda. | ||
| + | |||
| ==== Najważniejsze pliki ==== | ==== Najważniejsze pliki ==== | ||
| - | * MainFrame.java - klasa tworząca interfejs użytkonika | + | * MainFrame.java - klasa tworząca interfejs użytkownika |
| - | * SplitData.java - klasa przetrzumująca informacje o elementach, na których należy wykonać operacje split | + | * SplitData.java - klasa przetrzymująca informacje o elementach, na których należy wykonać operacje split |
| * VardaControl.javc - klasa, która za pomocą odpowiednich predykatów pobiera informacje z programu Varda, które następnie przekazywane są do MainFrame lub do SplitData (dla operacji split). Klasa odpowiada również za wysyłanie danych do prologa gdy wykonujemy operacje takie jak split, finalize. | * VardaControl.javc - klasa, która za pomocą odpowiednich predykatów pobiera informacje z programu Varda, które następnie przekazywane są do MainFrame lub do SplitData (dla operacji split). Klasa odpowiada również za wysyłanie danych do prologa gdy wykonujemy operacje takie jak split, finalize. | ||
| * gui_query.pl - plik prologa, w którym znajdują się predykaty potrzebne do pobierania informacji z programu varda, np. pobieranie atrybutów które możemy zesplitowac, lub zfinalizować w danym momencie. | * gui_query.pl - plik prologa, w którym znajdują się predykaty potrzebne do pobierania informacji z programu varda, np. pobieranie atrybutów które możemy zesplitowac, lub zfinalizować w danym momencie. | ||
| + | |||
| + | |||
| + | ==== Funkcje programu ==== | ||
| + | Program posiada wszystkie możliwości programu Varda. Za pomocą interfejsu graficznego możemy dodawać atrybuty, tworzyć nowe property, a także wykonywac operacje finalize i split. Program jest tak skonstruowany aby użytkownik w danym momencie mógł wykonać tylko dozwolone operacje. | ||
| + | Dodatkowo z poziomu programu możemy wyświetlić diagramy ARD, TPH, wygenerować i wyświetlić XTT. | ||
| + | |||
| + | |||
| ===== Uruchomianie projektu ===== | ===== Uruchomianie projektu ===== | ||
| Aby uruchomić program należy posiadać bibliotekę JPL. Sposób instalacji oraz źródła projektu znajdują się [[pl:miw:miw08_ruleruntimeg_2:pliki|tutaj]] | Aby uruchomić program należy posiadać bibliotekę JPL. Sposób instalacji oraz źródła projektu znajdują się [[pl:miw:miw08_ruleruntimeg_2:pliki|tutaj]] | ||
| - | Następnie należy sciągnąć źródla projektu i następnie skompilować je za pomocą polecenia javac: | + | $PROLOG_HOME/lib/i386-linux/ - jest scieżka do katalogu w którym znajduje się plik libjpl.so |
| + | $PROLOG_HOME jest scieżką do katalogu w którym zainstalowany jest Swi-prolog. | ||
| + | |||
| + | |||
| + | Istnieją trzy możliwości uruchomienia projektu: | ||
| + | |||
| + | * Należy sciągnąć {{:pl:miw:miw08_ruleruntimeg_2:Varda_source.tar.gz|źródła }} projektu i następnie skompilować je za pomocą polecenia javac: | ||
| javac -classpath $PROLOG_HOME/lib/jpl.jar . | javac -classpath $PROLOG_HOME/lib/jpl.jar . | ||
| gdzie zmienna $PROLOG_HOME jest scieżką do katalogu w którym zainstalowany jest Swi-prolog. | gdzie zmienna $PROLOG_HOME jest scieżką do katalogu w którym zainstalowany jest Swi-prolog. | ||
| Następnie uruchamiamy projekt za pomocą polecenia: | Następnie uruchamiamy projekt za pomocą polecenia: | ||
| - | java -classpath $PROLOG_HOME/lib/jpl.jar MainFrame | ||
| - | Można także ściagnąc skompilowany projekt, który należy uruchomić poleceniem: | + | java -classpath $PROLOG_HOME/lib/jpl.jar -Djava.library.path=$LD_LIBRARY_PATH:$PROLOG_HOME/lib/i386-linux/ .:$PROLOG_HOME/lib/jpl.jar MainFrame |
| - | java -jar -classpath $PROLOG_HOME/lib/jpl.jar VardaControl.jar | + | |
| + | * Drugim sposobem jest ściągniecie już skompilowanego {{:pl:miw:miw08_ruleruntimeg_2:varda_jar.tar.gz|projektu}}, który należy uruchomić poleceniem: | ||
| + | |||
| + | java -jar -Djava.library.path=$LD_LIBRARY_PATH:$PROLOG_HOME/lib/i386-linux/ -classpath $PROLOG_HOME/lib/jpl.jar VardaFrame_fat.jar | ||
| + | |||
| + | * Trzecim sposobem jest ściągniecie projektu eclipse {{:pl:miw:miw08_ruleruntimeg_2:varda_projektEclipsee.tar.gz|z archiwum tar.gz}} lub z repozytorium SVN: | ||
| - | Trzecim sposobem jest ściągniecie projektu eclipse za pomocą SVN z repozytorium: | ||
| http://svn2.assembla.com/svn/MIVprojekt/VardaFrame | http://svn2.assembla.com/svn/MIVprojekt/VardaFrame | ||
| + | |||
| + | |||
| + | |||
| + | |||
