|
|
pl:miw:miw08_xtt_serialization [2008/06/13 10:01] miw |
pl:miw:miw08_xtt_serialization [2019/06/27 15:50] |
====== Opis ====== | |
Karol, Gorlach, <Karol.gorlach@gmail.com> | |
| |
Try to propose an effective encoding of XTT with UML and Java. | |
| |
====== Spotkania ====== | |
| |
===== 08.02.26 ===== | |
| |
===== 080318 ===== | |
| |
===== 080408 ===== | |
* xtt w java... | |
| |
| |
===== 080422 ===== | |
* opis alg dla javy i sql | |
| |
| |
===== 080527 ===== | |
* sprawozdanie | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
====== Projekt ====== | |
**realizacja tablic XTT w javie** | |
| |
Model tabic XTT zrealizowalem w jave za pomocą klas Reguł, w której sładowymi są: | |
| |
-atrybuty XTT tablicy-precondition atributes | |
| |
-assert atributes | |
| |
-decision atributes | |
| |
Poszczegule reguły czyli opiekty klasy Regula sa umieszczone w liście typu Regula | |
| |
Przykłady implementacji: | |
| |
* napisany przez mnie kod dla przykładu termostatu:{{:pl:miw:miw08_xtt_serialization:Termostat.java.txt|Termostat.java}} | |
| |
* dla przykładu cen biletów dla wyciagu narciarskiego:{{:pl:miw:miw08_xtt_serialization:WyciagNarciarski.java.txt|WyciagNarciarski.java}} | |
| |
| |
* dla przykładu cen biletów na pociag na określonej trasie:{{:pl:miw:miw08_xtt_serialization: | |
rozkladpociagow.java.txt|RozkladPociagow.java}} | |
| |
| |
| |
| |
====== Sprawozdanie ====== | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
==== Sposób reprezentacji ==== | |
| |
Ogólna Forma reprezentacji reguł w XTT: | |
| |
{{:pl:miw:miw08_xtt_serialization:xtt1.jpg|:pl:miw:miw08_xtt_serialization:xtt1.jpg}} | |
| |
Kolumny są określone następująco: | |
| |
I-identyfikator reguły(numer elementu w tablicy) | |
| |
Ctx-(ang. Contex) opis reguły | |
| |
A1 ..An - warunki wstępne | |
| |
B1 ..Bn - warunki modyfikujące | |
| |
C1 ..Cn - warunek określany | |
| |
H1 ..Hn – warunki decyzyjne | |
| |
N- atrybut kontrolny określający nastepującą regułę | |
| |
E- atrybut kontrolny określający opcjonalną, inną regułę | |
| |
| |
Aby określić rolę musimy podąć następujące parametry wejściowe: | |
| |
Roles={Info,Preconditions,Assert,Retract,Decision,Ctrl} | |
| |
Przypadek ogólny reguły-klasy w javie: | |
| |
<code java> | |
class Regula{ | |
Object precondition[]; | |
Object precondition1[]; | |
Object decision; | |
Object asert; | |
int CtrlN; | |
int CtrlL; | |
//konstruktory | |
public Regula(int CtrlN,int CtrlL,Object precondition,Object precondition1,Object asert,Object decision) | |
{ | |
if(precondition==null) | |
{ | |
this.precondition=null; | |
} | |
else | |
{ | |
this.precondition=new Object[1]; | |
this.precondition[0]=precondition; | |
} | |
if(precondition1==null) | |
{ | |
this.precondition1=null; | |
} | |
else | |
{ | |
this.precondition1=new Object[1]; | |
this.precondition1[0]=precondition1; | |
} | |
this.decision=decision; | |
this.asert=asert; | |
this.CtrlN=CtrlN; | |
this.CtrlL=CtrlL; | |
} | |
public Regula(int CtrlN,int CtrlL,Object precondition[],Object precondition1[],Object asert,Object decision) | |
{ | |
if(precondition==null) | |
{ | |
this.precondition=null; | |
} | |
else | |
{ | |
this.precondition=new Object[precondition.length]; | |
System.arraycopy(precondition,0,this.precondition,0,precondition.length); | |
} | |
if(precondition1==null) | |
{ | |
this.precondition1=null; | |
} | |
else | |
{ | |
this.precondition1=new Object[precondition1.length]; | |
System.arraycopy(precondition1,0,this.precondition1,0,precondition1.length); | |
} | |
this.decision=decision; | |
this.asert=asert; | |
this.CtrlN=CtrlN; | |
this.CtrlL=CtrlL; | |
} | |
public Regula(int CtrlN,int CtrlL,Object precondition[],Object precondition1,Object asert,Object decision) | |
{ | |
if(precondition==null) | |
{ | |
this.precondition=null; | |
} | |
else | |
{ | |
this.precondition=new Object[precondition.length]; | |
System.arraycopy(precondition,0,this.precondition,0,precondition.length); | |
} | |
this.precondition1=new Object[1]; | |
this.precondition1[0]=precondition1; | |
this.decision=decision; | |
this.asert=asert; | |
this.CtrlN=CtrlN; | |
this.CtrlL=CtrlL; | |
} | |
public Regula(int CtrlN,int CtrlL,Object precondition,Object precondition1[],Object asert,Object decision) | |
{ | |
if(precondition1==null) | |
{ | |
this.precondition1=null; | |
} | |
else | |
{ | |
this.precondition1=new Object[precondition1.length]; | |
System.arraycopy(precondition1,0,this.precondition1,0,precondition1.length); | |
} | |
if(precondition==null) | |
{ | |
this.precondition=null; | |
} | |
else | |
{ | |
this.precondition=new Object[1]; | |
this.precondition[0]=precondition; | |
} | |
this.decision=decision; | |
this.asert=asert; | |
this.CtrlN=CtrlN; | |
this.CtrlL=CtrlL; | |
} | |
// metody | |
public Object Sprawdz(Object object){ | |
| |
for(int i=0;i<this.precondition.length;i++){ | |
if(object==this.precondition[i]){ | |
| |
if(this.asert!=null) | |
{ | |
return this.asert; | |
} | |
else | |
{ | |
return this.decision; | |
} | |
} | |
| |
} | |
return null; | |
} | |
public Object Sprawdz(Object object,Object object1){ | |
for(int i=0;i<this.precondition.length;i++){ | |
if(object==this.precondition[i]){ | |
for(int j=0;i<this.precondition1.length;j++){ | |
if(object1==this.precondition1[j]){ | |
if(this.asert!=null) | |
{ | |
return this.asert; | |
} | |
else | |
{ | |
return this.decision; | |
} | |
} | |
} | |
} | |
} | |
return null; | |
} | |
public String toString(){ | |
return "numer :"+this.CtrlN; | |
} | |
} | |
</code> | |
| |
====Sposób tworzenia tablic xtt w Javie:==== | |
| |
Klasy reprezentują reguły, Każda reguła składa się z | |
| |
Atrybutów: | |
| |
- warunki wstępne np.: pojedyncze elementy lub zbiory elementów | |
-warunków modyfikujących np.: za pomocą których możemy zmieniać warunki określające reguł | |
-warunki określające | |
-warunki decyzyjne | |
| |
Poszczególne reguły są umieszczone w tablicy, a więc każda regułę identyfikuje jednoznacznie położenie w tablicy. | |
Istnieje możliwość odwoływania się z jednej reguły do drugiej, w ten sposób że każda reguła posiada pole określające inną regułę reprezentującą ten sam typ atrybutów , i warunków określających (np. poszukiwana reguła nie posiada szukanych przez nas atrybutów) | |
Każda reguła zawiera również informacje o regule wyższego poziomu, lub niższego (pole klasy). Co wiąże się z poszukiwaniem warunków decyzyjnych. | |
Do odwoływania się pomiędzy regułami służą metody (wykorzystujące informacje znajdującą się w polach obiektów-reguł ) | |
| |
| |
| |
====Przykład Termostatu==== | |
Termostat jest wzorcowym przykładem do prezentacji działania systemów regulowych, mozna go znaleźć na wiki:[[hekate: | |
hekate_concepts#xtt+]] | |
| |
Diagram ARD+ termostatu: | |
{{:pl:miw:miw08_xtt_serialization:xtt-structure-therm.png|:pl:miw:miw08_xtt_serialization:xtt-structure-therm.png}} | |
| |
Dla przykładu termostatu tablica XTT wygląda tak: | |
| |
{{:pl:miw:miw08_xtt_serialization:tabela_termostat.png|:pl:miw:miw08_xtt_serialization:tabela_termostat.png}} | |
| |
napisany przezemnie kod w javie dla tablicy XTT za pomocą reguł- przykład termostatu | |
| |
<code java> | |
public class Termostat{ | |
public static void main(String args[]){ | |
// incjalizacja listy | |
List<Regula> list= new ArrayList<Regula>(); | |
// deklaracja atrybutow | |
String dniprac[]={"monday","tuesday","wednesday","thurstday","friday"}; | |
String dniwolne[]={"saturday","sunday"}; | |
String winter[]={"december","january","february"}; | |
String spring[]={"march","april","may"}; | |
String summer[]={"june","july","august"}; | |
String fall[]={"september","october","november"}; | |
Integer before17[]={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16}; | |
Integer ANY[]={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24}; | |
Integer after9[]={10,11,12,13,14,15,16,17,18,19,20,21,22,23,24}; | |
Integer in9and17[]={9,17}; | |
// deklaracja regul | |
list.add(new Regula(2,1,dniprac,null,"workday",null)); //regula1 | |
list.add(new Regula(2,0,dniwolne,null,"weekend",null)); //regula2 | |
list.add(new Regula(6,3,"workday",before17,"dbh",null));//regula3 | |
list.add(new Regula(6,4,"workday",ANY,"ndbh",null)); //regula4 | |
list.add(new Regula(6,5,"workday",after9,"ndbh",null)); //regula5 | |
list.add(new Regula(6,2,"weekend",in9and17,"ndbh",null));//regula6 | |
list.add(new Regula(12,7,winter,null,"winter",null)); //regula7 | |
list.add(new Regula(14,8,spring,null,"spring",null)); //regula8 | |
list.add(new Regula(16,9,summer,null,"summer",null)); //regula9 | |
list.add(new Regula(10,6,fall,null,"fall",null)); //regula10 | |
list.add(new Regula(0,11,"ndbh","summer",null,27)); //regula11 | |
list.add(new Regula(0,12,"dbh","summer",null,24)); //regula12 | |
list.add(new Regula(0,13,"ndbh","spring",null,15)); //regula13 | |
list.add(new Regula(0,14,"dbh","spring",null,20)); //regula14 | |
list.add(new Regula(0,15,"ndbh","winter",null,14)); //regula15 | |
list.add(new Regula(0,16,"dbh","winter",null,18)); //regula16 | |
list.add(new Regula(0,17,"ndbh","fall",null,16)); //regula17 | |
list.add(new Regula(0,0,"dbh","fall",null,20)); //regula18 | |
// przykladowe uzycie metody | |
System.out.println(list.get(0).Sprawdz("tuesday")); | |
System.out.println(list.get(17).Sprawdz("dbh","fall")); | |
} | |
</code> | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
==== Inne przykłady zastosowania XTT ==== | |
| |
====Cennik biletów na wyciąg narciarski==== | |
| |
Buduję tablicę XTT dla problemu dotyczacego spisu cen biletów do wyciagu narciarskiego w różnych porach dnia, róznych dniach i porach roku. | |
| |
Oto diagram ARD+ który prezentuje wzajemne powiazania miedzy elementami dla szukanego problemu: | |
| |
{{:pl:miw:miw08_xtt_serialization:diagram1.png|:pl:miw:miw08_xtt_serialization:diagram1.png}} | |
| |
Na tej podtawie łatwo zbudowac tablicę XTT, oraz reguły: | |
| |
{{:pl:miw:miw08_xtt_serialization:xtt_wyciag_narciarski.png|:pl:miw:miw08_xtt_serialization:xtt_wyciag_narciarski.png}} | |
| |
Utworzenie takiej tablicy w java prezentuje ponizszy kod: | |
| |
<code java> | |
public class WyciagNarciarski{ | |
| |
public static void main(String args[]){ | |
// incjalizacja listy | |
List<Regula> list= new ArrayList<Regula>(); | |
// deklaracja atrybutow | |
String dniprac[]={"monday","tuesday","wednesday","thurstday","friday"}; | |
String dniwolne[]={"saturday","sunday"}; | |
String out[]={"june","july","august","september"}; | |
String in_the_middle[]={"december","january","february"}; | |
String before[]={"october","november"}; | |
String after[]={"march","april","may"}; | |
Integer before12[]={8,9,10,11,12}; | |
Integer between_12_16[]={12,13,14,15}; | |
Integer after16[]={16,17,18,19,20}; | |
Integer ANY[]={8,9,10,11,12,13,14,15,16,17,18,19,20}; | |
Integer All[]={8,9,10,11,12,13,14,15,16,17,18,19,20}; | |
String grup_All_season[]={"out","before","in_the_middle","after"}; | |
String para_near_season[]={"before","after"}; | |
String morning[]={"morning_weekend","morning_workd"}; | |
String midday[]={"midday_weekend","midday_workd"}; | |
String evening[]={"evening_workd","evening_weekend"}; | |
String allday[]={"All_weekend","All_workd"}; | |
// deklaracja regul | |
list.add(new Regula(2,1,dniprac,null,"workday",null)); //regula1 | |
list.add(new Regula(7,0,dniwolne,null,"weekend",null)); //regula2 | |
list.add(new Regula(12,3,"workday" ,before12,"morning_workd",null)); //regula3 | |
list.add(new Regula(12,4,"workday",between_12_16,"midday_workd",null)); //regula4 | |
list.add(new Regula(12,5,"workday",after16,"evening_workd",null)); //regula5 | |
list.add(new Regula(12,6,"workday",All,"All_workd",null)); //regula6 | |
list.add(new Regula(12,7,"workday",ANY,"single",null)); //regula7 | |
list.add(new Regula(12,8,"weekend",before12,"morning_weekend",null)); //regula8 | |
list.add(new Regula(12,9,"weekend",between_12_16,"midday_weekend",null));//regula9 | |
list.add(new Regula(12,10,"weekend",after16,"evening_weekend",null)); //regula10 | |
list.add(new Regula(12,11,"weekend",All,"All_weekend",null)); //regula11 | |
list.add(new Regula(12,2,"weekend",ANY,"single",null)); //regula12 | |
list.add(new Regula(16,13,out,null,"out",null)); //regula13 | |
list.add(new Regula(16,14,before,null,"before",null)); //regula14 | |
list.add(new Regula(16,15,in_the_middle,null,"in the middle",null)); //regula15 | |
list.add(new Regula(16,12,after,null,"after",null)); //regula16 | |
list.add(new Regula(0,17,grup_All_season,"single",null,5)); //regula17 | |
list.add(new Regula(0,18,para_near_season,morning,null,20)); //regula18 | |
list.add(new Regula(0,19,para_near_season,midday,null,25)); //regula19 | |
list.add(new Regula(0,20,para_near_season,evening,null,15)); //regula20 | |
list.add(new Regula(0,21,para_near_season,allday,null,35)); //regula21 | |
list.add(new Regula(0,22,"in_the_middle","morning_workd",null,28)); //regula22 | |
list.add(new Regula(0,23,"in_the_middle","midday_workd",null,35)); //regula23 | |
list.add(new Regula(0,24,"in_the_middle","evening_workd",null,28)); //regula24 | |
list.add(new Regula(0,25,"in_the_middle","All_workd",null,60)); //regula25 | |
list.add(new Regula(0,26,"in_the_middle","morning_weekend",null,35)); //regula26 | |
list.add(new Regula(0,27,"in_the_middle","midday_weekend",null,40)); //regula22 | |
list.add(new Regula(0,28,"in_the_middle","evening_weekend",null,30)); //regula27 | |
list.add(new Regula(0,0,"in_the_middle","All_weekend",null,80)); //regula28 | |
| |
// przykladowe uzycie metody | |
System.out.println(list.get(0).Sprawdz("tuesday")); | |
System.out.println(list.get(21).Sprawdz("in_the_middle","morning_workd")); | |
} | |
} | |
</code> | |
| |
====Ceny biletów na pociąg==== | |
Buduję tablicę XTT dla problemu dotyczacego spisu cen biletów na pociagi na trasie Kraków-Przemyś,biorąc pod uwagę klasę, rodzaj pociagu i ilośc przejechanych kilometrów | |
Oto diagram ARD+ który prezentuje wzajemne powiazania miedzy elementami dla szukanego problemu: | |
| |
{{:pl:miw:miw08_xtt_serialization:diagram1d.png|:pl:miw:miw08_xtt_serialization:diagram1d.png}} | |
| |
Na tej podtawie łatwo zbudowac tablicę XTT, oraz reguły: | |
| |
{{:pl:miw:miw08_xtt_serialization:ceny_biletow_pociagow.png|:pl:miw:miw08_xtt_serialization:ceny_biletow_pociagow.png}} | |
| |
Utworzenie takiej tablicy w java prezentuje ponizszy kod: | |
| |
<code java> | |
public class RozkladPociagow{ | |
| |
public static void main(String args[]){ | |
// incjalizacja listy | |
List<Regula> list= new ArrayList<Regula>(); | |
// deklaracja regul | |
list.add(new Regula(2,1,"rzeszowianin",null,"osobowy",null)); //regula1 | |
list.add(new Regula(3,0,"przemyslanin",null,"pospieszny",null));//regula2 | |
list.add(new Regula(5,3,"osobowy",2,"osob2",null)); //regula3 | |
list.add(new Regula(5,4,"pospieszny",1,"posp1",null)); //regula4 | |
list.add(new Regula(5,2,"pospieszny",2,"posp2",null)); //regula5 | |
list.add(new Regula(10,6,"Krakow-Bochnia",null,50,null)); //regula6 | |
list.add(new Regula(13,7,"Krakow-Tarnow",null,100,null)); //regula7 | |
list.add(new Regula(16,8,"Krakow-Debica",null,150,null)); //regula8 | |
list.add(new Regula(19,9,"Krakow-Rzeszow",null,200,null)); //regula9 | |
list.add(new Regula(22,5,"Krakow-Przemysl",null,300,null)); //regula10 | |
list.add(new Regula(0,11,"osob2",50,null,5)); //regula11 | |
list.add(new Regula(0,12,"posp1",50,null,10)); //regula12 | |
list.add(new Regula(0,13,"posp2",50,null,7)); //regula13 | |
list.add(new Regula(0,14,"osob2",100,null,8)); //regula14 | |
list.add(new Regula(0,15,"posp1",100,null,16)); //regula15 | |
list.add(new Regula(0,16,"posp2",100,null,9)); //regula16 | |
list.add(new Regula(0,17,"osob2",150,null,11)); //regula17 | |
list.add(new Regula(0,18,"posp1",150,null,25)); //regula18 | |
list.add(new Regula(0,19,"posp2",150,null,20)); //regula19 | |
list.add(new Regula(0,20,"osob2",200,null,15)); //regula20 | |
list.add(new Regula(0,21,"posp1",200,null,32)); //regula21 | |
list.add(new Regula(0,22,"posp2",200,null,25)); //regula22 | |
list.add(new Regula(0,23,"osob2",300,null,20)); //regula23 | |
list.add(new Regula(0,24,"posp1",300,null,40)); //regula24 | |
list.add(new Regula(0,0,"posp2",300,null,30)); //regula25 | |
// przykladowe uzycie metody | |
System.out.println(list.get(0).Sprawdz("rzeszowianin")); | |
System.out.println(list.get(10).Sprawdz("osob2",50)); | |
} | |
} | |
</code> | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
====Inne Podejście==== | |
| |
Reprezentacja tablic xtt w języku SQL | |
| |
Należy na wstępie zbudować tablice reprezentujące wzajemne powiązania pomiędzy regułami w xtt: | |
| |
Zapis ten można interpretować w ten sposób że: | |
-Tablice SQL reprezentują reguły w xtt | |
-indeks tablicy (klucz) – są to warunki określające w tablicy xtt | |
-klucze obce są to –warunki wstępne w tablicy xtt | |
| |
Dopiero po zbudowaniu wzajemnych zależności pomiędzy tablicami: wprowadzamy dane do tablic (reprezentacje reguł w xtt) | |
| |
Reprezentacja Reguł w języku SQL | |
| |
Należy na wstępie zbudować tablice reprezentujące wzajemne powiązania pomiędzy regułami : | |
| |
Zapis ten można interpretować w ten sposób że: | |
-Tablice SQL reprezentują reguły w xtt | |
-indeks tablicy (klucz) – są to warunki określające w tablicy xtt | |
-klucze obce są to –warunki wstępne w tablicy xtt | |
| |
Dopiero po zbudowaniu wzajemnych zależności pomiędzy tablicami: wprowadzamy dane do tablic (reprezentacje reguł w xtt) | |
| |
**alternatywne rozwiązanie:** | |
| |
realizacja XTT za pomocą SQL. | |
| |
>Ze wzgledu na to że reprezentacja danych jest w tablicach, oraz wystepuja powiązania w łatwy sposób mozna zbudowac tablicę i powiązania miedzy nimi.Wzorując się na budowie schematów ARD+ zbudowałem powiazania miedzy tablicami. | |
| |
| |
**Tablice SQL dla pozostałych przykładów(Cennik biletów pociagow oraz Cennik biletów na wyciag narciarski)** | |
| |
Ponizej ilustruje szablon reliacji tablic w sql zrealizowany w DBdesigner dla przykładow: | |
* [[:pl:miw:miw08_xtt_serialization#Przykład Termostatu]] | |
| |
{{:pl:miw:miw08_xtt_serialization:termostat.png|termostat}} | |
| |
| |
* [[:pl:miw:miw08_xtt_serialization#Cennik biletów na wyciąg narciarski]] | |
| |
{{:pl:miw:miw08_xtt_serialization:wyciag.png|:pl:miw:miw08_xtt_serialization:wyciag.png}} | |
| |
* [[:pl:miw:miw08_xtt_serialization#Ceny biletów na pociąg]] | |
| |
{{:pl:miw:miw08_xtt_serialization:pociag.png|:pl:miw:miw08_xtt_serialization:pociag.png}} | |
| |
====== Materiały ====== | |
[[hekate:hekate_concepts#xtt+]] | |
| |
====== Literatura ====== | |
| |
* Antoni Ligęza,"Logical Foundations for Rule-Based System",Uczelniane Wydawnictwa Naukowo-dydaktyczne AGH Kraków 2005. | |
| |