Hybridityökoneiden markkinapotentiaali

Työn tavoitteena on selvittää menetelmiä hybridityökoneiden markkinapotentiaalin määrittämiseen, työkonemarkkinoiden kokoa ja kasvupotentiaalia, hybridityökoneiden markkinapotentiaalia sekä uuden teknologian kaupallistamisen teorioita. Vuonna 2010 liikkuvien työkoneiden markkinat arvioitiin olevan noin 94–98 miljardia dollaria. Markkinat kasvavat keskimäärin noin 5 prosenttia vuodessa. Alan suurimmat markkinat löytyvät Kiinasta, Euroopasta ja Yhdysvalloista.Hybridityökoneiden markkinapotentiaalia Kiinassa nostaa markkinoiden suuri koko ja nopea kasvuvauhti. Yhdysvaltojen valtti on tukijärjestelmät jotka parantavat hybridiratkaisujen kilpailukykyä. Euroopan potentiaalia nostavat tiukat päästönormit sekä korkea polttoaineen hinta. Markkinapotentiaalin määrittämisen on olemassa useita matemaattisia menetelmiä. Niiden soveltamista hybridityökoneisiin rajoittaa eniten riittävän datan hankinnan haasteellisuus. Vertailemalla yrityksiä teknologian kaupallistamisen teorioissa esiteltyjen menestystä edistävien piirteiden suhteen on teknisen ratkaisun kehittäjän mahdollista valita paras mahdollinen yhteistyökumppani. Soveltamalla kaupallistamisprosessissa kurinalaista mallia, johon kuuluvat sekä teknologiaettä tuotekehitys ja niiden välillä teknologiansiirtovaihe, on teknisen ratkaisun soveltaminen hybriditeknologiaan ja työkoneisiin mahdollista toteuttaa onnistuneesti ja tuoda siten markkinoille kaupallisesti kilpailukykyinen tuote.

The Usage of Microsoft Push Notification Service on Mobile Devices

Along with the increasing in demand of mobile computing, Push Notification (PN) is widely used in mobile phones and other devices. PN allows the developer to send messages to the end users even when the client application is not running at the moment. This solves the problem produced by non-supported multi-tasking feature as well as saving battery life. Microsoft Push Notification Service (MPNS) is one solution to use PNs in Windows Phones. The thesis gives the developers an idea of how to use PNs by introducing MPNS, comparing MPNS with other Push Notification Services, usage of different PN types analysis, and PN simulation system implementation.

Kuulla vai kuunnella – käyttäjää osallistavan palveluinnovoinnin lähestymistavan toteuttamisen haasteita julkisella sektorilla

Julkisen sektorin itsensä synnyttämien innovaatioiden ja innovoinnin näkökulma on verrattain tuore innovaatiotutkimuksen tutkimuskohde. Vielä uudempaa lähestymistapaa edustaa käyttäjälähtöinen ja käyttäjää osallistava palveluinnovaatiotutkimus julkisella sektorilla. Käyttäjälähtöisen ja käyttäjää osallistavan palveluinnovoinnin lähestymistavan toteuttamisesta ollaan kiinnostuneita, mutta tieteelliseen tutkimukseen perustuva tieto lähestymistavasta on vielä kohtuullisen niukkaa. Tämän käyttäjälähtöiseen palvelujen innovointiin keskittyvän väitöskirjatutkimuksen päätavoitteena on mikrotasolla tunnistaa ja ryhmitellä käyttäjää osallistavan palveluinnovoinnin lähestymistavan toteuttamisen haasteita julkisella sektorilla. Väitöskirjatutkimuksen alatavoitteena on tutkimuksesta saatavan tiedon avulla muodostaa kysymyslista tukemaan lähestymistavan käyttöönottamista ja toteuttamista julkisen sektorin palveluorganisaatioissa ja -verkostoissa. Julkisen palvelusektorin ohella väitöskirjan tutkimustuloksia voivat soveltuvin osin hyödyntää myös yksityisen ja kolmannen sektorin palveluorganisaatiot ja -verkostot sekä käyttäjälähtöisen innovaatiopolitiikan suunnitteluun ja sen jalkauttamiseen osallistuvat tahot. Haasteita lähestytään tutkimuksessa käyttäjälähtöisen ja käyttäjää osallistavan palveluinnovoinnin lähestymistavan piirteiden kautta ja haasteita tarkastellaan kehittäjäviranomaisten (ryhmätaso) näkökulmasta. Kuntasektori on valittu tutkimukseen edustamaan julkista sektoria. Lähestymistavan piirteiksi tutkimuksessa määritellään käyttäjänäkökulman ohjaava rooli organisaation innovaatiotoiminnan strategisella tasolla ja palvelujen uudistamisprosessien tasoilla, avoimuus (erityisesti käyttäjärajapinta) ja tulkinnallisuus innovaatioprosessien varhaisessa vaiheessa sekä laaja-alainen käsitys innovaatioiden lähteistä käyttäjänäkökulmaa muodostettaessa. Tutkimuksen kohteena on hyvinvointipalveluinnovaatioprosessien varhainen vaihe, jolloin keskeisessä asemassa on uusien ideoiden sekä uuden tiedon ja ymmärryksen hankinta hyödynnettäväksi innovaatioprosessien seuraavissa vaiheissa. Tutkimuksessa rajaudutaan käyttäjälähtöisen palveluinnovoinnin muotoon, jossa käyttäjät intentionaalisesti ja konkreettisesti osallistetaan kehittäjäviranomaisjohtoisiin palveluinnovaatioprosesseihin. Käyttäjiksi tutkimuksessa ymmärretään palvelun loppukäyttäjät palvelujen ”ulkoisina hyödyntäjinä” ja yli sektorialisten palveluprosessien henkilöstö palvelujen ”sisäisinä hyödyntäjinä”. Hyvinvointipalveluista tutkimuksessa ovat edustettuina sosiaali- ja terveyspalvelut sekä ikäihmisten palvelukeskusten tarjoamat palvelut. Kuntasektorin innovaatiotoiminnan kenttä ymmärretään tutkimuksessa verkostomaisena kokonaisuutena, joka ylittää kuntien hallinnolliset rajat. Artikkeliväitöskirjana toteutetun väitöskirjatutkimuksen metodologia perustuu usean tapauksen tapaustutkimukseen (multiple case-studies) ja kvalitatiiviseen tutkimusotteeseen. Työn empiirinen osuus koostuu viidestä artikkelina julkaistusta osatutkimuksesta. Osatutkimuksissa käytetään tapaustutkimuksen eri variaatioita, ja tutkimusaineistot on kerätty kolmesta eri perustutkimusympäristöstä. Osatutkimuksien tapaukset on valittu palvelun käyttäjien ”äänen jatkumon” (the voice of the customer) eri kohdista. Käyttäjän ääntä käytetään tutkimuksessa metodisena ratkaisuna ja metaforana. Lisäksi käyttäjän ääni ymmärretään tutkimuksessa paremminkin kollektiivisena ja laajemmista palvelujen kehittämisnäkökulmista kertovana tekijänä kuin yksittäisten palvelun käyttäjien tarpeista ja toiveista kertovana metaforana. Käyttäjää osallistavan palveluinnovoinnin lähestymistavan toteuttamisen haasteiksi julkisella sektorilla tutkimuksessa tunnistetaan viisi haastetta. Tiivistetysti haasteena on 1. palvelujen käyttäjien subjektiuteen perustuva käyttäjälähtöisyys palvelujen uudistamisessa 2. tunnistaa palvelun käyttäjät innovaatiotoiminnan voimavarana ja rohkaistua heidän osallistamiseensa 3. sitoutuminen yhteistoiminnallisuuteen käyttäjä- ja muita rajapintoja ylittävissä palvelujen uudistamisprosesseissa ja innovaatiohakuisuus työskentelyssä 4. oivaltaa palvelutoivelistoja ja asiakaspalautteita laajempia kehittämisnäkökulmia 5. synnyttää luottamukseen perustuva hyvä kierre palvelun käyttäjien ja kehittäjien välille. Tutkimustuloksena syntyneet haasteet paikannetaan tutkimuksessa käyttäjän äänen jatkumolle erilaisin painotuksin. Lisäksi tutkimustulosten pohjalta tehdään kolme keskeistä johtopäätöstä. Ensinnäkin palvelun kehittäjätahon sekä palvelun loppukäyttäjien ja palvelujen sisäisten hyödyntäjien väliltä on tunnistettavissa innovaatiopotentiaalia sisältäviä rakenteellisia aukkoja. Toiseksi kehittäjäviranomaistahon valmius ja halu laajentaa tiedonmuodostustaan palvelujen uudistamisessa palvelun käyttäjien kanssa yhteisöllisen tiedonmuodostuksen suuntaan on puutteellinen. Kolmanneksi palvelujen kehittäjätaho ei ole sisäistänyt riittävässä määrin käyttäjää osallistavan palveluinnovoinnin lähestymistavan metodologisia perusajatuksia. Tutkimuksessa tunnistetut viisi haastetta osoittavat, että käyttäjää osallistavan palveluinnovoinnin lähestymistavan käyttöönotto hyvinvointipalveluorganisaation tai -verkoston palvelujen innovoinnin lähestymistavaksi ei ole mekaaninen toimenpide. Lähestymistavan käyttöönottoa tukeva kysymyslista perustuu tutkimuksessa tunnistettuihin haasteisiin. Kysymyslista on laadittu siten, että kysymykset liittyvät laajasti julkisten palveluorganisaatioiden ja -verkostojen innovaatiokulttuuriin. Kaksiosaisen kysymyslistan ensimmäisen osan kysymykset käsittelevät innovointia ohjaavia mentaalisia malleja. Ensimmäisessä osassa esitetään esimerkiksi seuraava kysymys: ”Millaista käsitystäpalvelun käyttäjistä (kuntalaisista) sekä käyttäjien ja kehittäjien (viranomaisten) välisestä suhteesta ilmennämme palvelujen innovoinnissa; onko palvelujen käyttäjä (kuntalainen) kohde, jolle kehitetään palveluja, vai onko hän jopa välttämätön kehittämiskumppani?”. Kysymyslistan toisen osan kysymykset liittyvät innovaatiokäytänteisiin ja valmiuksiin. Esimerkkinä voidaan mainita seuraava kaksiosainen kysymys: ”Tukevatko innovaatiokäytänteemme käyttäjärajapinnan ylittäviä innovaatioprosesseja ja sitoudummeko avoimin mielin työskentelyyn palvelun käyttäjien, potentiaalisten käyttäjien tai ei-käyttäjien kanssa? Mitä hyötyjä koemme yhteistoiminnallisuudesta koituvan meille ja käyttäjille sekä innovaation laatuominaisuuksiin?”. Mitä tulee tutkimuksen otsikon alkuosaan ”kuulla vai kuunnella”, vastaus on, että pääpaino on sanalla ”kuulla”. Pohdintaluvussa tuodaan myös esille tarve – tai ainakin kriittisen tarkastelun tarve – käyttäjälähtöisen ja käyttäjää osallistavan palveluinnovoinnin käsitteen ja sen luonteen sekä tavoitteiden määrittelemiselle julkisen sektorin ominaispiirteistä käsin vastapainona alkuperältään yksityisen sektorin liiketoimintakontekstista lähtöisin oleville määrittelyille.

Scheduling of guarded command based models

Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.

Stock Price Reactions on M&A, Dividends and Game Releases. Evidence from Gaming Industry.

A rapidly growing gaming industry, which specializes on PC, console, online and other games, attracts attention of investors and analysts, who try to understand what drives changes of the gaming industry companies’ stock prices. This master thesis shows the evidence that, besides long-established types of events (M&A and dividend payments), the companies’ stock price changes depend on industry-specific events. I analyzed specific for gaming industry events - game releases with respect to its subdivisions: new games-sequels, games ratings and subdivision according to a developer of a game (self-developed by publisher or outsourced). The master thesis analyzes stock prices of 55 companies from gaming industry from all over the world. The research period covers 5 year, spreading from April 2008 to April 2013. Executed with an event study method, results of the research show that all the analyzed events types have significant influence on the stock prices of the gaming industry companies. The current master thesis suggests that acquisitions in the industry affect positively bidders’ and targets’ stock prices. Mergers events cause positive stock price reactions as well. But dividends payments and game releases events influence negatively on the stock prices. Game releases’ effect is up to -2.2% of cumulative average abnormal return (CAAR) drop during the first ten days after the game releases. Having researched different kinds of events and identified the direction of their impact, the current paper can be of high value for investors, seeking profits in the gaming industry, and other interested parties.

Virtual communities : a virtual treasure trove for end-user developers

End-user development is a very common but often largely overlooked phenomenon in information systems research and practice. End-user development means that regular people, the end-users of software, and not professional developers are doing software development. A large number of people are directly or indirectly impacted by the results of these non-professional development activities. The numbers of users performing end-user development activities are difficult to ascertain precisely. But it is very large, and still growing. Computer adoption is growing towards 100% and many new types of computational devices are continually introduced. In addition, other devices not previously programmable are becoming so. This means that, at this very moment, hundreds of millions of people are likely struggling with development problems. Furthermore, software itself is continually being adapted for more flexibility, enabling users to change the behaviour of their software themselves. New software and services are helping to transform users from consumers to producers. Much of this is now found on-line. The problem for the end-user developer is that little of this development is supported by anyone. Often organisations do not notice end-user development and consequently neither provide support for it, nor are equipped to be able to do so. Many end-user developers do not belong to any organisation at all. Also, the end-user development process may be aggravating the problem. End-users are usually not really committed to the development process, which tends to be more iterative and ad hoc. This means support becomes a distant third behind getting the job done and figuring out the development issues to get the job done. Sometimes the software itself may exacerbate the issue by simplifying the development process, deemphasising the difficulty of the task being undertaken. On-line support could be the lifeline the end-user developer needs. Going online one can find all the knowledge one could ever need. However, that does still not help the end-user apply this information or knowledge in practice. A virtual community, through its ability to adopt the end-user’s specific context, could surmount this final obstacle. This thesis explores the concept of end-user development and how it could be supported through on-line sources, in particular virtual communities, which it is argued here, seem to fit the end-user developer’s needs very well. The experiences of real end-user developers and prior literature were used in this process. Emphasis has been on those end-user developers, e.g. small business owners, who may have literally nowhere to turn to for support. Adopting the viewpoint of the end-user developer, the thesis examines the question of how an end-user could use a virtual community effectively, improving the results of the support process. Assuming the common situation where the demand for support outstrips the supply.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Heading for Open Science: Filling the Knowledge Gap

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

OpenAIRE Guidelines for Literature Repositories, Data Archives and CRIS managers

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Facing the Hydra alone: three case studies

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

E-thesis repository – processes and data

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Repository Junction Broker

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Institutional Repository ecosystem in Japan, IRDB and JAIRO Cloud

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

An Open Source, DDI-based Curation System for Social Science Data

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Providing Discourse Services for Researchers in a Repository Setting

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014