| dc.date.accessioned |
2010-11-25T12:19:15Z |
und |
| dc.date.accessioned |
2017-11-06T12:13:35Z |
|
| dc.date.available |
2010-11-25T12:19:15Z |
und |
| dc.date.available |
2017-11-06T12:13:35Z |
|
| dc.date.issued |
2004-04-30 |
|
| dc.identifier.uri |
http://hdl.handle.net/10138/21401 |
|
| dc.publisher |
Helsingin yliopisto |
fi |
| dc.publisher |
Helsingfors universitet |
sv |
| dc.publisher |
University of Helsinki |
en |
| dc.title |
Ohjelmistokomponenttien yhteentoimivuus |
fi |
| ethesis.department.URI |
http://data.hulib.helsinki.fi/id/225405e8-3362-4197-a7fd-6e7b79e52d14 |
|
| ethesis.department |
Institutionen för datavetenskap |
sv |
| ethesis.department |
Department of Computer Science |
en |
| ethesis.department |
Tietojenkäsittelytieteen laitos |
fi |
| ethesis.faculty |
Matematisk-naturvetenskapliga fakulteten |
sv |
| ethesis.faculty |
Matemaattis-luonnontieteellinen tiedekunta |
fi |
| ethesis.faculty |
Faculty of Science |
en |
| ethesis.faculty.URI |
http://data.hulib.helsinki.fi/id/8d59209f-6614-4edd-9744-1ebdaf1d13ca |
|
| ethesis.university.URI |
http://data.hulib.helsinki.fi/id/50ae46d8-7ba9-4821-877c-c994c78b0d97 |
|
| ethesis.university |
Helsingfors universitet |
sv |
| ethesis.university |
University of Helsinki |
en |
| ethesis.university |
Helsingin yliopisto |
fi |
| dct.creator |
Ruokolainen, Toni |
|
| dct.issued |
2004 |
|
| dct.language.ISO639-2 |
fin |
|
| dct.abstract |
Tämän opinnäytetyön tarkoitus on selvittää niitä periaatteita ja tekniikoita, joiden avulla voidaan tarkistaa ohjelmistokomponenttien välinen yhteentoimivuus. Yhteentoimivuuden tarkistamista tarvitaan komponenttien uudelleenkäytön mahdollistamiseksi sekä ohjelmistoarkkitehtuurien suunnittelun yhteydessä.
Ohjelmistokomponentin yhteentoimivuus muiden komponenttien kanssa riippuu sen syntaktisista ja semanttisista ominaisuuksista sekä ulkoisesta käyttäytymisestä. Nämä ominaisuudet määritellään formaalisti tyyppiteoriaa, ontologioita ja prosessialgebroja käyttäen. Komponenttien syntaktinen korvautuvuus määritellään niin kutsuttujen termiautomaattien ja niiden välisten suhteiden avulla. Komponentin semanttiset ominaisuudet määrittelevät yleistä käsitteistöä käyttäen, mitä komponentti tekee. Semantiikan kuvaukseen käytetään pääasiassa ontologisia käsitteitä ja semanttisissa vertailuissa käytetään avuksi logiikkaa.
Komponentin ulkoinen käyttäytymiskuvaus ilmaisee sen käyttäytymismallin, jota kyseinen komponentti tukee. Käyttäytymiskuvaus on sekä ohje että rajoitus, joka toisaalta antaa mallin oikeelliselle vuorovaikutukselle ja toisaalta toimii komponenttien välisen korvautuvuuden tarkistusehtona. Komponentin ulkoinen käyttäytyminen, niin kutsuttu rajapintaprotokolla, kuvataan käyttäen prosessialgebraa. Tässä opinnäytetyössä on prosessialgebraksi valittu π-kalkyyli.
Kun komponenttien ominaisuudet on mallinnettu formaalisti, voidaan komponenttien välinen yhteensopivuus ja korvautuvuus tarkistaa ohjelmallisesti. Tällaista ohjelmistoa voidaan hyödyntää esimerkiksi ohjelmiston suunnitteluprosessissa. |
fi |
| dct.subject |
ohjelmistokomponentti |
fi |
| dct.subject |
yhteentoimivuus |
fi |
| dct.subject |
formaalit menetelmät |
fi |
| dct.subject |
verifiointi |
fi |
| dct.subject |
semantiikka |
fi |
| dct.subject |
π-kalkyyli |
fi |
| dct.language |
fi |
|
| ethesis.language.URI |
http://data.hulib.helsinki.fi/id/languages/fin |
|
| ethesis.language |
Finnish |
en |
| ethesis.language |
suomi |
fi |
| ethesis.language |
finska |
sv |
| ethesis.thesistype |
pro gradu-avhandlingar |
sv |
| ethesis.thesistype |
pro gradu -tutkielmat |
fi |
| ethesis.thesistype |
master's thesis |
en |
| ethesis.thesistype.URI |
http://data.hulib.helsinki.fi/id/thesistypes/mastersthesis |
|
| dct.identifier.urn |
URN:NBN:fi-fe201009142436 |
|
| dc.type.dcmitype |
Text |
|
| dct.rights |
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited. |
en |
| dct.rights |
Publikationen är skyddad av upphovsrätten. Den får läsas och skrivas ut för personligt bruk. Användning i kommersiellt syfte är förbjuden. |
sv |
| dct.rights |
Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty. |
fi |
