Ohjelmistokomponenttien yhteentoimivuus

Show full item record



Permalink

http://urn.fi/URN:NBN:fi-fe201009142436
Title: Ohjelmistokomponenttien yhteentoimivuus
Author: Ruokolainen, Toni
Other contributor: Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta, Tietojenkäsittelytieteen laitos
University of Helsinki, Faculty of Science, Department of Computer Science
Helsingfors universitet, Matematisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap
Publisher: Helsingfors universitet
Date: 2004
Language: fin
URI: http://urn.fi/URN:NBN:fi-fe201009142436
http://hdl.handle.net/10138/21401
Thesis level: master's thesis
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.
Subject: ohjelmistokomponentti
yhteentoimivuus
formaalit menetelmät
verifiointi
semantiikka
π-kalkyyli
Rights: This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.


Files in this item

Total number of downloads: Loading...

Files Size Format View
ohjelmis.pdf 538.1Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record