selykielen suunnittelu ja toteutus Samu Viita

More documents

Recommendations

Info

43Luokan määrittäminen aloitetaan class –sanalla, jota seuraa luokan nimi.Määrittely päätetään end -sanaan, jota seuraa uudelleen luokan nimi. Luokallaon julkisena attribuuttinaan price ja osina frame, saddle, steering ja rear. Weight onluokan metodi, joka hakee osiin liittyvät painot ja laskee ne yhteen.Esimerkin tricycle-luokan mukainen ilmentymä voidaan luoda seuraavasti:tricycle
44Kuvauskontruktori on tarkoitettu ilmaisemaan yhteydet kahden joukonelementtien välillä. Kuvausesitystavan matemaattisena taustakäsitteenä on binäärirelaatio.Kuvauskonstruktori on siis joukko, jonka alkioina on map-pareja.Map-pari esitetään puolestaan yhditettynä terminä map(X,Y), missä termi Xkuvaa toisen joukon alkion ja termi Y toisen. On huomionarvoista, että termit Xja Y voivat olla myös monimutkaisen rakenteen sisältäviä Prolog-termejä.Tieto esitetään joukkona, jos on tarve mallintaa rakenteellisesti homogeenisiäalkioita sisältävä ryhmä, jonka alkioiden järjestyksellä ei ole merkitystä. Valitettavastistandardi Prolog ei tarjoa joukkoa esittävää tietorakennetta [Liu,1999]. Tämän vuoksi joukkojenkin esittämiseen käytän muun muuassa Niemenja Järvelinin [1991] ehdottamaa esitystapaa. Siinä joukot esitetään listoina. Tätävalintaa tukee muun muassa monet listoille määritellyt systeemipredikaatit.Esimerkiksi predikaattia member(X,L) voidaan soveltaa tutkimaan, kuuluukoalkio X joukkoon L.Edellä mainitsemieni kolmen konstruktorin avulla voidaan PSE-esitystapaesittää Prolog-perustaisesti. Kuten yllä todettiin, esitystapa joudutaan lisäksiintegroimaan Prolog++:n mukaisten olioiden kanssa. PSE-formalismin [2001]tapa esittää oliot joukko-opillisesti ei ole riittävä. Tämä johtuu siitä, että olioilletäytyy mallintaa metodeja, jotka mahdollistavat osa-kokonaisuussuhteelle tyypillisenperiytymismekanismin toteuttamisen. Tämän vuoksi olioiden tulee olladynaamisina tietokoneen muistissa ajon aikana. Olioita haetaan muististaoliotunnisteiden avulla. Tieto oliotunnisteista tulee siis olla olioita esittävissätermeissä. Nämä olion, ja sitä vastaavan termin integroinnin seikat tulee ottaahuomioon luokkaa määriteltäessä.5.4.1. Esitystavan edellyttämän olion ja luokan piirteetIntensionaalisen ja ekstensionaalisen tasojen toteuttamisessa tulee ottaa huomioontasojen integroinnin yhteydessä esiintyvät tekniset vaatimukset. Intensionaalinentaso esitetään Prolog-terminä sen jälkeen, kun Prolog++ luokka onensin määritelty sille. Esimerkkinä käytän aiemmin esittelemääni tricycleesimerkkiä.Erona Junkkarin esittämään tricycle:en on kuitenkin se, että kaikissasen komponenttityypeissä on attribuuttina weigth. Weigth on johdettu attribuuttikaikissa tricycle:n kompositiotyypeissä, siis myös itse tricycle-oliotyypissä.Perusoliotyypissä weigth on normaali attribuutti, jota ei johdeta mistään. Intensionaalisessatasossa weigth esitetään kuitenkin myös komposiittienkin kohdallanormaalina attribuuttina, johon liittyy attribuutti-indeksi. Alla on intensionaalisentason Prolog-perustainen toteutus kuvan 2. tricycle:stä.
Page 1 and 2: Osa-kokonaisuussuhteen käsittelyyn
Page 3 and 4: ii1. Johdanto .....................
Page 5 and 6: ivTermitC++ Proseduraalinen ohjelmo
Page 7 and 8: 2nen tapa poistaa kompleksisuutta o
Page 9 and 10: 4abc d e f ghiKuva 1. Esimerkki osa
Page 11 and 12: 6ovat osa autoa ja fonologia on osa
Page 13 and 14: 8liittyy usein poissulkeutuvuusomin
Page 15 and 16: 10voidaan jakaa kahteen periytymise
Page 17 and 18: 12kahierarkian luokkiin. Oliolla on
Page 19 and 20: 14nimistä. Lisäksi rakenteeseen e
Page 21 and 22: 16(oid1, ).”Helkama”, ohjaus: o
Page 23 and 24: 18class departmenttype [dept_name:s
Page 25 and 26: 20kossa oleva joukko sisältää yh
Page 27 and 28: 22kaksisuuntaisesti. Seuraavaksi ta
Page 29: 24poa ja etenkin päivitykset ovat
Page 32 and 33: 27minen tapahtuu intensionaalisella
Page 34 and 35: 29siten, että eri hyttityypit on j
Page 36 and 37: 314.7. Muita kielen vaatimuksia osa
Page 38 and 39: 33Osa-kokonaisuussuhteita sisältä
Page 40 and 41: 35oliotyyppejä on mahdollista esit
Page 42 and 43: 37Yllä oleva ekstensionaalinen tas
Page 44 and 45: 39Toteutuskielen tulee täyttää k
Page 46 and 47: 41Sääntö tulkitaan luonnollisen
Page 50 and 51: 45pse([map(tricycle,t(1)),map(price
Page 52 and 53: 47ta tiettyä arvoa tai oliota vast
Page 54 and 55: 49FRAMESADDLETRICYCLESTEERINGKun si
Page 56 and 57: 516. Kielen primitiivit ja esimerkk
Page 58 and 59: 53X = steering, X = tricycle, X = d
Page 60 and 61: 551. arg1 is_instance_of arg22. arg
Page 62 and 63: 57gointitiedotilmaistaan aggregoint
Page 64 and 65: 59täsmälleen samat rivit poisteta
Page 66 and 67: 61res(X) where diam is_property_of
Page 68 and 69: 636.3.2. Ekstensionaaliset kyselytE
Page 70 and 71: 65res(aluminium).Jos käyttäjä ei
Page 72 and 73: 67res(C,Material,sum(Comp:weigth))
Page 74 and 75: 697. YhteenvetoTutkielmassa tarkast
Page 76 and 77: 718. Lähdeluettelo[Agrawal, 1987]
Page 78 and 79: 73[Moss, 1994] Chris Moss, Prolog++

selykielen suunnittelu ja toteutus Samu Viita

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?