Browsing by Subject "yhteentoimivuus"

Markkinat digitalisoituvat globaalisti kiihtyvällä vauhdilla. EU:n standardointistrategiassa (2022) korostetaan standardien merkitystä digitaalisten sisämarkkinoiden toimivuuden taustalla. Digitaalisten sisämarkkinoiden yhtenä painopistealueena EU:ssa on yhteentoimiviin tieto- ja viestintätekniikoihin perustuva esineiden internet (Internet of Things, IoT). Yhteentoimivuutta tukevilla standardeilla on tärkeä merkitys alalla. Komissio on katsonut niillä mahdollistettavan saumatonta vuorovaikutusta esineiden välillä laitteen valmistajasta riippumatta. Komission mukaan laajamittainen yhteentoimivuus on edellytyksenä alan mittavan taloudellisen potentiaalin esiin tuomisessa. IoT-alan yhteentoimivuutta tukevaa standardointia tarkastellaan tutkielmassa EU:n kilpailuoikeuden näkökulmasta. Kilpailuoikeudessa huomioidaan, että standardoinnista saattaa myös seurata kilpailua rajoittavia vaikutuksia kilpailevien yritysten tehdessä yhteistyötä. Erityisesti markkinoita sulkevia vaikutuksia voi seurata standardeista, joihin sisältyy niiden käytön kannalta essentiaalisia patentteja (standardiessentiaalipatentti, SEP). Tutkielmassa tarkastelun keskiössä on erityisesti IoT:n sektoreista kuluttajien IoT. Komission julkaisemat raportit kuluttajien IoT:n toimialatutkimuksesta, erityisesti loppuraportti keväältä 2022, toimivat keskeisenä lähteenä alan ominaispiirteiden ja standardoinnin tarkastelussa. Tutkielmassa keskitytään eurooppalaiseen standardointiin huomioiden kuitenkin IoT:n kansainvälinen luonne. Tutkielmassa analysoidaan, missä määrin kilpailusäännöt ovat sovellettavissa eurooppalaisiin standardointiorganisaatioihin tai niissä standardointiin osallistuviin yrityksiin. Tutkielmassa edelleen tarkastellaan EU:n kilpailuoikeuden asettamia kriteerejä vapaasta osallistumisesta standardointiin sekä standardin käytettävyydestä kohtuullisin ehdoin. Tutkielmassa analysoidaan SEUT 101 artiklan soveltamista tilanteissa, joissa standardointiorganisaatiot eivät noudata näitä kriteerejä. Vuonna 2023 uudistettujen horisontaalisten suuntaviivojen standardointisopimuksia koskeva luku toimii keskeisenä lähteenä kilpailuoikeudelliselle analyysille. Lisäksi SEP-haltijan lisensointimenettelyjä analysoidaan erityisesti relevantin IoT:hen liittyvän kilpailuoikeudellisen oikeuskäytännön perusteella. Johtopäätöksinä tutkielmassa todetaan ensinnäkin, että kilpailuoikeus soveltuu standardointiin osallistuviin yrityksiin eurooppalaisissa standardointiorganisaatioissa. Toiseksi tutkielmassa havaitaan, että markkinoille potentiaalisesti merkittävistä standardeista ollessa kyse, avoimuuden rajoitukset standardointiin osallistumisessa tai standardin käytössä todennäköisesti rajoittavat kilpailua SEUT 101 artiklan 1 kohdan tavalla. SEUT 101 artiklan 3 kohdan soveltamista arvioitaessa erityisesti painottuu tällaisten standardien käytettävyys. IoT-alan näkökulmasta on tärkeää, että käytettävyyttä suojataan kilpailuoikeudessa tällaisten standardien osalta. Uudistetuissa suuntaviivoissa on toisaalta joustavoitettu standardointiin osallistumisen rajoittamista standardoinnin tehostamiseksi. Muutos heijastaa EU:n standardointipolitiikassa esille tuotua tarvetta eurooppalaisen standardoinnin nopeuttamiseen ja sitä voidaan pitää perusteltuna IoT:n nopea kehitys huomioiden. Kolmanneksi tutkielmassa todetaan, että SEUT 102 artiklalla standardien saatavuutta turvataan tilanteessa, jossa essentiaalipatentin haltija ei ole etukäteisestä sitoumuksestaan huolimatta halukas lisensoimaan FRAND-ehdoin vaan nostaa kieltokanteen. Tarkastellun oikeuskäytännön perusteella jää kuitenkin epäselväksi, turvataanko standardien saatavuutta IoT:n näkökulmasta riittävästi SEUT 102 artiklan keinoin. Epäselvyyksiä liittyy myös lisensointivelvoitteen laajuuteen ja patenttien arvon määritykseen IoT-alalla. Tutkielmassa huomioidaan lopuksi, että EU:ssa suunnitteilla oleva kilpailuoikeutta täydentävä sääntely voi jatkossa kuitenkin osaltaan edistää standardien saatavuutta IoT-alalla kohtuullisin ehdoin.

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.