A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Designing business models of cloud platforms

Cloud computing and its three facets (Software as a Service (SaaS), Platform as a Service (PaaS), and Infrastructure as a Service (IaaS)) are terms that denote new developments in the software industry. In particular, PaaS solutions, also referred to as cloud platforms, are changing the way software is being produced, distributed, consumed, and priced. Software vendors have started considering cloud platforms as a strategic option but are battling to redefine their offerings to embrace PaaS. In contrast to SaaS and IaaS, PaaS allows for value co-creation with partners to develop complementary components and applications. It thus requires multisided business models that bring together two or more distinct customer segments. Understanding how to design PaaS business models to establish a flourishing ecosystem is crucial for software vendors. This doctoral thesis aims to address this issue in three interrelated research parts. First, based on case study research, the thesis provides a deeper understanding of current PaaS business models and their evolution. Second, it analyses and simulates consumers' preferences regarding PaaS business models, using a conjoint approach to find out what determines the choice of cloud platforms. Finally, building on the previous research outcomes, the third part introduces a design theory for the emerging class of PaaS business models, which is grounded on an extensive action design research study with a large European software vendor. Understanding PaaS business models from a market as well as a consumer perspective will, together with the design theory, inform and guide decision makers in their business model innovation plans. It also closes gaps in the research related to PaaS business model design and more generally related to platform business models.

The European Union in North Korea: Current Realities and Paths for Future Engagement – A Qualitative and Quantitative Study

Malgrat la rellevància estratègica i el paper desestabilitzador de Corea del Nord a la regió econòmicament més dinàmica del món, la UE no compta amb cap estratègia clara per involucrar-se amb aquest país. Combinant tècniques d’anàlisi qualitatives i quantitatives, aquest treball pretén descobrir possibles contradiccions internes que impedeixin la definició d'una política exterior europea coherent i efectiva amb respecte a Corea del Nord, així com discrepàncies entre les percepcions d’actors interns de la UE i les d’actors externs. S'han detectat importants diferències d’expectatives i mancances en termes de coherència, tant entre les visions expressades pels actors interns com entre les opinions d’aquests actors i les dels futurs líders sudcoreans enquestats – diferències que fins i tot afecten la promoció dels drets humans

Ohjelmistoyritysten liiketoimintamallit Kaakkois-Suomessa

Tutkielman tavoitteena on tunnistaa Kaakkois-Suomen alueella olevat ohjelmistoyritysten tyypilliset yritysryhmät ja kuvata niiden toimintaa. Tunnistamalla alueen ohjelmistoyrityksille ominaiset piirteet työ antaa myös pohjaa tulevien kehityskohteiden löytämisessä ja kehitystoimenpiteiden kohdistamisessa useisiin samantyyppisiin yrityksiin. Työn taustaksi esitellään ohjelmistoalaa ja ohjelmistoliiketoiminnan malleja, joiden pohjalta muodostetaan viitekehys alueen ohjelmistoyritysten empiiriseen tarkasteluun. Empiriaosuudessa tarkastellaan työn teoreettisessa osiossa esitettyjen liiketoimintamallien toteutumista Kaakkois-Suomessa ja ryhmitellään alueen ohjelmistoyritykset erottelevimpien tekijöiden avulla. Tutkimus on luonteeltaan kvantitatiivinen kokonaistutkimus Kaakkois-Suomen ohjelmistoyrityksistä, ja tutkimusotteeltaan deskriptiivinen eli kuvaileva. Tutkimusaineisto perustui tutkimusryhmän suorittamaan strukturoituun haastatteluun, jossa haastateltiin kaikkiaan 58 ohjelmistoyrityksen vastuuhenkilöitä. Tutkimustulosten perusteella alueelta pystyttiin tunnistamaan neljä toimintatavoiltaan erilaista ohjelmistoliiketoiminnan perustyyppiä: asiakaslähtöiset toimijat (26 toimipaikkaa), räätälöijät (14 toimipaikkaa), integroijat (10 toimipaikkaa) ja tuotteistajat (8 toimipaikkaa). Tulokset osoittavat, että perinteisten ohjelmistoalan liiketoimintamallien kuvaukset ja niistä tehtävät yleistykset antavat hyvän lähtökohdan ohjelmistoyritysten tarkasteluun. Kuitenkin perinteisten ohjelmistoalan liiketoimintamallien antama näkökulma on liian rajoittunut,jos halutaan tarkastella syvällisemmin ohjelmistoyritysten liiketoimintalogiikkaa.

Ohjelmistoalan pk-yrityksen kansainvälistyminen

Pienen ohjelmistoyrityksen kansainvälistyminen on haasteellista niukkojen resurssien ja dynaamisen liiketoimintaympäristön paineessa. Työn tarkoituksena on selvittää sitä, millaisin perustein pieni tai keskisuuri ohjelmistotekniikan yritys tekee päätöksen kansainvälisille markkinoille siirtymisestä ja millaisen toimintamuodon yritys valitsee uudella markkinalla. Työn teoreettinen osa käsittelee päätöksenteon taustalla olevia vaikuttavia tekijöitä liiketoimintaympäristön, yritysjohdon ja yrityksen erityispiirteiden näkökulmista. Empiirinen osa on toteutettu kanden laajan ja neljän suppean yrityshaastat- telun muodossa. Karkeasti jaoteltuna yrityksen kansainvälistymiseen käyttämä polku voi olla joko orgaaniseen kasvuunperustuva tai Born Global-tyyppinen. Tutkimus nosti esille kansainvälistymispolun valintaan vaikuttavina tekijöinä yrittäjien riskinottohalukkuuden ja kansainvälisen kokemuksen, tuotteen palveluintensiivisyyden asteen sekä toimintakon- septin markkina- tai tuoteorientaation. Yleisellä tasolla korkea riskinottohalu, vähäinen kansainvälinen kokemus, standardinomainen tuote ja markkinaorientoitunut toimintatapa kannustivat yritystä valitsemaan Born Global-tyyppisen kansainvälistymispolun. Vastaavasti pieni riskinottohalu, runsaampi kansainvälinen kokemus, palveluintensiivinen tuote ja tuoteorientoitunut toimintatapa olivat kannustimia orgaaniselle kasvulle kansainvälisesti.

Metsäteollisuuden sivutuotepolttoaineiden hyödyntäminen Etelä-Karjalassa

Tässä diplomityössä on selvitetty merkittävimpien kotimaisten polttoaineiden määrät Etelä-Karjalassa vuonna 1999. Pääpaino työssä on metsäteollisuuden sivutuotepolttoaineiden tarkastelussa. Metsähakkeelle ja kierrätyspolttoaineille on määritetty tuotantopotentiaalit. Myös turpeen tuotantomäärät on selvitetty. Lisäksi työssä on tarkasteltu alueella sijaitsevien teollisuuslaitosten ja kuntien energialaitosten polttoaineiden käyttöä. Työn tuloksia käytetään tutkimuksen seuraavassa vaiheessa, jolloin pyritään kehittämään teollisuusyritysten ja yhdyskuntien välistä energiaintegraatiota. Etelä-Karjalan kemiallisen metsäteollisuuden oman käytön ylijäävä sivutuotepolttoaineiden määrä oli vuonna 1999 yli 230 000 k-m3 (370 GWh). Mekaanisen metsäteollisuuden vastaava luku oli noin 210 000 k-m3 (330 GWh). Puunkäyttömäärien, energiankäyttötietojen ja kirjallisuudesta saatavien osuuksien perusteella mekaanisen metsäteollisuuden sivutuotepolttoaineiden oman käytön ylijäävä määrä olisi noin 350 000 k-m3 (580 GWh). Eroa selittävät lähinnä tilastolliset virheet, sivutuoteliiketoiminnan vähyys ja vaihtoehtoiset käyttökohteet. Metsähakkeen tuotantopotentiaali oli vuoden 1999 hakkuutietoihin perustuen yli 640 000 k-m3, josta tekniset, taloudelliset ja ympäristölliset seikat huomioiden noin 210 000 k-m3 (410 GWh) olisi voitu hyödyntää energiantuotannossa. Etelä-Karjalassa vuonna 1999 syntyneistä jätemääristä olisi arvioiden mukaan voitu valmistaa noin 25 000 tonnia (100 GWh) kierrätyspolttoaineita. Kierrätyspolttoaineiden valmistus alkaa Joutsenossa vuosien 2003 - 2004 välillä. Turpeen tuotantomäärä oli vuonna 1999 noin 1 200 000 tonnia (1020 GWh). Etelä-Karjalan teollisuus ja kuntien energialaitokset käyttivät vuonna 1999 yli 17400 GWh polttoaineita. Ostopolttoaineiden tarve oli noin 4700 GWh, josta lähes 85 % täytettiin maakaasulla. Alueen kunnista kaikki, joissa ei ole kemiallista metsäteollisuutta, pystyisivät teoriassa täyttämään teollisuuden ja energialaitostensa ostopolttoaineiden tarpeen oman kunnan alueelta saatavilla kotimaisilla polttoaineilla.

Toimialakohtaisen liiketoimintasuunnitelman laadinta ohjelmistoyrityksessä

Tämän työn tavoitteena on ollut liiketoimintasuunnitelman laatiminen ja sen jatkokehitys ohjelmistoteollisuudessa toimivalle yritykselle. Suunnitelman laadintaa varten työssä on aluksi selvitetty ohjelmistoteollisuutta toimialana, sen erityispiirteitä ja tulevaisuuden kehitysnäkymiä. Tämän jälkeen on tutkittu sellaisia strategisia elementtejä, jotka vaikuttavat yrityksen liiketoiminnan suunnitteluun ja itse liiketoimintasuunnitelman laadintaan. Selvitystyö on tehty kirjallisuuden ja internet-sivustojen perusteella ja niiden pohjalta on laadittu liiketoimintasuunnitelma Komartek Oyj:n vesi- ja ympäristöhuollon toimialalle. Lisäksi työssä on käsitelty eri ratkaisuvaihtoehtoja suunnitteluprosessissa esiintyneiden ongelmien ratkaisemiseksi, sekä esitetty toimenpiteitä, joilla suunnitelman laadintaa saadaan selkeytettyä.

Data Collection Agent Framework

Ohjelmistoteollisuudessa pitkiä ja vaikeita kehityssyklejä voidaan helpottaa käyttämällä hyväksi ohjelmistokehyksiä (frameworks). Ohjelmistokehykset edustavat kokoelmaa luokkia, jotka tarjoavat yleisiä ratkaisuja tietyn ongelmakentän tarpeisiin vapauttaen ohjelmistokehittäjät keskittymään sovelluskohtaisiin vaatimuksiin. Hyvin suunniteltujen ohjelmistokehyksien käyttö lisää suunnitteluratkaisujen sekä lähdekoodin uudelleenkäytettävyyttä enemmän kuin mikään muu suunnittelulähestymistapa. Tietyn kohdealueen tietämys voidaan tallentaa ohjelmistokehyksiin, joista puolestaan voidaan erikoistaa viimeisteltyjä ohjelmistotuotteita. Tässä diplomityössä kuvataan ohjelmistoagentteihin (software agents) perustuvaa ohjelmistokehyksen suunnittelua toteutusta. Pääpaino työssä on vaatimusmäärittelyä vastaavan suunnitelman sekä toteutuksen kuvaaminen ohjelmistokehykselle, josta voidaan erikoistaa erilaiseen tiedonkeruuseen kykeneviä ohjelmistoja Internet ympäristöön. Työn kokeellisessa osuudessa esitellään myös esimerkkisovellus, joka perustuu työssä kehitettyyn ohjelmistokehykseen.

Yhtenäistetyn mallinnuskielen hyödyntäminen betoniaseman ohjausjärjestelmän kehityksessä

Yhtenäistetty mallinnuskieli, Unified Modeling Language (UML), on saavuttanut ohjelmistoteollisuudessa defacto standardin mallinnuskielen aseman. UML:n pääasiallinen käyttökohde on ollut ohjelmistojärjestelmien mallinnus, mutta sitä on sovellettu myös muillakin ongelma-alueilla, kuten erilaisten prosessien mallinnuksessa. Tässä diplomityössä mallinnetaan eräs betoniaseman ohjausjärjestelmä käyttäen UML:ää. Työssä perehdytään alan kirjallisuuden avulla siihen, miten teollisuus on hyödyntänyt UML:ää prosessien ohjausjärjestelmien mallinnuksessa. Kirjallisuudesta saatua tietoa sovelletaan betoniaseman ohjausjärjestelmän mallinnuksessa. Luotua mallia analysoidaan sen oikeellisuuden ja käytettävyyden perusteella. Työssä havaittiin, että UML soveltuu hyvin betoniaseman ohjausjärjestelmän kaltaisen teollisuusprosessin ohjauksen mallinnukseen. UML-mallilla voidaan kuvata järjestelmän rakenne ja toiminta kattavasti. Luotua mallia voidaan hyödyntää suoraan ohjausjärjestelmän jatkokehityksessä. Julkista tutkimustietoa aiheesta on kuitenkin niukasti saatavilla, joten lisätarve julkiselle tutkimukselle on olemassa.

Tietokoneohjelmien suojaaminen ja ohjelmien samankaltaisuuksien aiheuttamat oikeudelliset ongelmat

Tietokoneohjelmaa suojataan tekijänoikeudella, liikesalaisuussuojalla ja patentilla. Jotta ohjelmistoalan yritys pärjäisi dynaamisilla ja kansainvälisillä ohjelmistomarkkinoilla sen pitää patentoida ohjelmansa sekä hyödyntää ja puolustaa patenttejaan. Ohjelmistopatentteja myönnetään myös Euroopassa yhä enemmän. Ohjelmistoteollisuudessa tuotekehitys perustuu usein jo olemassa olevalle, josta aiheutuu alalle tyypillistä teknologioiden päällekkäisyyttä. Jotta yritys pystyisi toimimaan tietyllä markkina-alueella, se saattaa tarvita sellaista teknologiaa joka on jo jonkun patentoimaa. Edellä mainituista syistä sekä ohjelmistopatenttien samanlaisuuksista ja patenttien suuresta määrästä johtuen patentinloukkauksia tapahtuu ja niihin tulee reagoida liikesuhteet huomioon ottaen, esimerkiksi neuvottelemalla liiketoimintasopimuksesta, sovittelemalla konfliktia sovittelumenettelyssä ja tarvittaessa oikeudellisin keinoin.

Asiakkuudenhallinta SaaS-periaatteella

Kandidaatintyö käsittelee Software as a Serviceä (SaaS, verkkosovelluspalvelu) käsitteenä ja ilmiönä. Työssä paneudutaan myös SaaS-mallin nykytilaan ja tulevaisuuden näkymiin. Tarkemmaksi tarkastelukohteeksi työssä on valittu SaaS-pohjainen asiakkuudenhallinta, ja SaaS-pohjaisten asiakkuudenhallintajärjestelmien nykytilan sekä kehityksen yksityiskohtainen analysointi. Työssä käsitellään aihetta alan julkaisujen ja kirjallisuuden avulla. Työssä vertaillaan merkittävimpien SaaS-pohjaisten asiakkuudenhallinta-järjestelmätoimittajien kehitystä Yhdysvalloissa ja Euroopassa sekä heidän ohjelmistojen nykytilaa, vahvuuksia, heikkouksia ja verkkosovelluspalveluiden tulevaisuuden näkymiä. Yhtenä osa-alueena käsitellään myös verkkosovelluspalvelun integrointia yrityksen muihin tietojärjestelmiin. Työssä todetaan, että SaaS on vielä uusi ja yleistyvä käsite ohjelmistoalalla sekä varteenotettava vaihtoehto hankkia yrityksen ohjelmistoja, kuten asiakkuudenhallintajärjestelmä. Tällä hetkellä SaaS-markkinoilla on vielä tilaa kilpailulle, joten tavasta toimittaa ohjelmistot yrityksille palveluna uskotaan yleistyvän tulevaisuudessa.

Hitsauksen mekanisoinnin ja automatisoinnin oppimisympäristön kehittäminen

Hitsaavan teollisuuden kilpailukyvyn tehostamiseksi yksi keino on hitsauksen mekanisoinnin ja automatisoinnin osuuden lisääminen hitsaustuotannossa. Työn on tehty Etelä-Karjalan aikuisopiston toimeksiannosta hitsauksen mekanisoinnin ja automatisoinnin oppimisympäristön kehittämiseksi paikallisten hitsaavien yritysten koulutustarpeiden mukaisesti. Työ toteutettiin sekä kirjallisuustutkimuksena että haastattelututkimuksena Etelä-Karjalan alueen hitsaavan teollisuuden yrityksissä. Kirjallisuusosiossa on läpikäyty hitsauksen mekanisointia, kappaleenkäsittelyä, orbitaalihitsausta sekä robottihitsausta. Kirjallisen käsittelyn pohjana oli kansainvälisen mekanisoidun-, orbitaali- ja robottihitsauksen henkilöstön operaattorikoulutusohjelma. Operaattorikoulutusohjelmassa koulutuslinjat jaetaan mekanisoituun hitsaukseen, orbitaalihitsaukseen ja robottihitsaukseen. Käytännön osiossa on analysoitu kohdeyrityksille tehdyt haastattelut, määritelty kohdeyritysten hitsauksen automaatiotasot sekä hitsaustyössä käytössä oleva laitekanta. Tutkimuksen tuloksia tullaan käyttämään hyödyksi kehitettäessä Etelä-Karjalan aikuisopiston (AKTIVA) oppimisympäristöä etelä-karjalaisten hitsaavien yritysten tarpeiden mukaisesti.

A systematic literature review on agile project

In the 21st century, agile project management (APM) has emerged as a major evolutionary step in the area of software project management. APM is defined as a conceptual framework, consisting of various methods such as Scrum, quick respond to change, better customer collaboration, minimum coverage of documentation and extreme programming (XP) that facilitates to produce working software in multiple iterations with team work. Because agile project management has become more popular in the software industry in recent years, it constitutes an interesting and comprehensive research topic. This thesis presents a systematic literature review (SLR) of published research articles concerning agile project management. Based on a predefined search strategy, 273 such articles were identified, of which 44 were included in the review. The selected 44 articles were published between years 2005 and 2012. The thesis defines a review process by developing a review protocol and presenting the results of the review. The results are expected to provide researchers, software man

Green aspects study in game development

Context: Game development has become increasingly important in the software industry, but this importance has not affected the way software engineering approaches and methodologies manage the differences they have with game development. Similarly, software engineering does not fully support sustainability practices, causing this element to often not be considered or even known as a requirement for a development lifecycle. Goal: The aim of this thesis is to study the mode in which games are developed, and the involved sustainable aspects and the relevant concerns regarding the migration processes. Method: A quantitative study was conducted, gathering 33 answers of game professionals from four continents, from administrative (25%) and technical oriented positions (75%). Results: Three trends were observed: 1) Agile process models are used, 2) major concerns for mobile development and digital marketing, 3) minor concerns for eco-impact elements and certain development phases such as testing and crunch time development. Conclusion: Traditional Software engineering would require a major change on its processes and models to fit with modern agile development, game development approaches and sustainable requirements.

Ohjelmistotestauksen käytänteet Suomessa

Ohjelmistotestauksen merkitys on kasvanut sen mukaan mitä enemmän ohjelmisto-tuotteet vaikuttavat jokapäiväisesseen elämämme. Tämän vuoksi yritysten investointien ja laadunvarmentamisen yhteys on ilmeinen. Organisaatiot panostavat yhä enemmän ei–funktionaaliseen testaukseen, kuten turvallisuuden, suorituskyvyn ja käytettävyyden testaamiseen. Tämän työn tarkoituksena on tutkia ohjelmistotestauksen nykytilannetta Suomessa. Syy tähän on uudistaa ja parantaa ohjelmistotestauksen kurssitarjontaa Turun yliopistossa vastaamaan parhaalla mahdollisella tavalla yritysten tarvetta. Opinnäyte on toteutettu replikaatio-tutkimuksena. Pääosa kyselystä sisältää kysymyksiä ohjelmistotestauksen menetelmistä ja työkaluista testausprosessin toimintojen aikana. Lisäksi on yleisiä kysymyksiä yrityksistä ja niiden ohjelmistotestausympäristöistä. Kyselyssä otetaan myös kantaa yritysten käyttämiin monenlaisiin testaus-tasoihin, -tyyppeihin ja testauksessa kohdattuihin haasteisiin. Tämä opinnäyte perustuu testausprosessistandardeihin. Ohjelmistotestausstandardit ovat keskeisessä asemassa tässä työssä, vaikka ne ovat olleet viime aikoina vahvan kritiikin kohteena. Epäilys standardien välttämättömyyteen on syntynyt muutoksista ohjelmistokehityksessä. Tämä työ esittelee tulokset ohjelmistotestauksen käytännöistä. Tuloksia on verrattu aiheeseen liittyvän aiemman kyselyn (Lee, Kang, & Lee, 2011) tuloksiin. Ajanpuutteen havaitaan olevan suuri haaste ohjelmistotestauksessa. Ketterä ohjelmistokehitys on saavuttanut suosiota kaikissa vastaajien yrityksissä. Testauksen menetelmät ja työkalut testauksen arviointiin, suunnitteluun ja raportointiin ovat hyvin vähäisessä käytössä. Toisaalta testauksen menetelmien ja työkalujen käyttö automaattiseen testauksen toteuttamiseen ja virheiden hallintaan on lisääntynyt. Järjestelmä-, hyväksyntä-, yksikkö- ja integraatiotestaus ovat käytössä kaikkien vastaajien edustamissa yrityksissä. Kaikkien vastaajien mielestä regressio- sekä tutkiva- ja ei-funktionaalinen testaus ovat tärkeitä tekniikoita.