Samanaikaisuuden mallintaminen oliokeskeisessä ohjelmistokehitysmenetelmässä

PIIPPONEN, MIKKO (2008)
 
Avaa tiedosto
Lataukset: 



PIIPPONEN, MIKKO
2008

Tietojenkäsittelyoppi - Computer Science
Informaatiotieteiden tiedekunta - Faculty of Information Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2008-05-21
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/urn:nbn:fi:uta-1-18264
Tiivistelmä
Vaikka erilaisia ohjelmistojen suunnittelumenetelmiä on kehitetty vuosikymmeniä ja rinnakkaisten prosessien vuorovaikutustakin on tutkittu jo 60-luvulta lähtien, ei niiden välille ole onnistuttu rakentamaan selkeää siltaa. Samanaikaisuutta on käsitelty usein joko sen teorian ja formaalien metodien, tai sen ohjelmoinnin näkökulmasta. Tässä tutkielmassa perehdytään samanaikaisuuden suunnittelun periaatteisiin ja siihen liittyviin ongelmiin sekä samanaikaisuuden mallintamisessa käytettäviin tekniikoihin. Lisäksi esitellään, kuinka nämä periaatteet ja tekniikat voidaan ottaa osaksi yleiskäyttöistä, koko ohjelmiston elinkaaren kattavaa menetelmää. Erityisesti käsitellään OMT++-ohjelmistokehitysmenetelmän vaihetuotteiden sisältämän informaation käyttöä samanaikaisuuden mallintamisessa tarvittavan informaation lähteenä. Samanaikaisuuden mallintamiseen tässä tutkielmassa käytetään FSP-notaatiota ja sen rinnalla käytettäväksi tarkoitettua LTSA-työkalua.

Avainsanat ja -sanonnat: samanaikaisuus, rinnakkaisuus, reaaliaikajärjestelmät, oliokeskeiset menetelmät, OMT++.
Kokoelmat