Browsing by Author "Vuorio, Petri"

Java-kielessä ohjelmaelementti voi olla saatavissa kaikkialla, vain aliluokissa sekä esittelevässä pakkauksessa, vain esittelevässä pakkauksessa tai vain esittelevässä luokassa. Saatavuustasojen jaottelua voidaan pitää karkeana. On olemassa tapauksia, joissa ohjelmaelementin saatavuuden täytyy olla laajempi kuin saatavuuden todellinen tarve vaatisi. Seurauksena abstraktioiden sisäiset toteutusyksityiskohdat ovat näkyvissä laajemmalle kuin on tarpeen, mikä yleensä johtaa ohjelman sisäisten riippuvuuksien lisääntymiseen heikentäen sen modulaarisuutta. Optimaalisen saatavuuden mahdollistamiseksi esitän ratkaisuksi kytkettävää pääsynvalvontaa. Se soveltaa kytkettävien tyyppijärjestelmien ideaa pääsynvalvontaan. Kytkettävä tyyppijärjestelmä on ohjelmointikielestä erillinen staattinen tyyppijärjestelmä, jonka toteutus on kytkettävissä tarpeen mukaan ohjelmointikieleen valinnaisena laajennoksena. Tutkielmassa esitän suunnitelmat kytkettävästä pääsynvalvontajärjestelmästä pääsymääreineen sekä kytkettävän pääsynvalvontakehyksen toteutuksesta Javalle. Osoitan kytkettävän pääsynvalvonnan mahdollistavan optimaalisen saatavuuden soveltamalla suunnittelemaani pääsynvalvontajärjestelmää tapauksiin, joissa Javan pääsynvalvontajärjestelmä osoittautuu karkeaksi. Kytkettävän pääsynvalvontakehyksen suunnitelman pohjalta rakennettu prototyyppi osoittaa ratkaisun olevan käytännössä toteutettavissa. Suunnitellut pääsymääreet hyödyntävät monipuolisesti erilaisia saatavuusperusteita. Yksinkertaisen perusarkkitehtuurin ansiosta eri pääsymääreiden yhteiskäyttö on ongelmatonta. Kytkettävä pääsynvalvonta osoittautuu ilmaisuvoimaiseksi ja valinnaisuutensa ansiosta joustavaksi välineeksi täydentämään ohjelmointikielen omaa pääsynvalvontaa.