Annona squamosa, a new host of Ceratocystis fimbriata

Mango branch blight disease, caused by Ceratocystis fimbriata, is endemic to the municipality of São Fidelis in northern Rio de Janeiro State. In addition to mango, C. fimbriata was found associated with sugar apple trees (Annona squamosa) showing symptoms of branch blight in São Fidelis. Sugar apple and mango isolates from the same region had the same morphology and showed similar ITS-rDNA sequences. These sequences were also similar to other Brazilian isolates of C. fimbriata sensu stricto. Cross inoculation of such isolates obtained from diseased sugar apple and mango resulted in diseased symptoms on both plant species. This is the first record of A. squamosa as a host for C. fimbriata.

Software Licensing: Implementing Electronic Licensing in Medical Technology Company

The purpose of this thesis is to examine software licensing, how a software developer can benefit from it and to define specifications for licensing system of software based medical technology product. The thesis has been divided into theoretical and empirical parts. In the theoretical part the concept of software licensing and different aspects that are connected to it are examined with a help of research material. On the ground of this research, in the empirical part, a licensing system for a medical software product called iCentral is designed. The empirical part is based on interviews, questionnaire and on authors own experience gained while working for the case-company.The thesis has great practical importance for the case-company by proposing both an ideal, and more importantly, practical implementation for a licensing system of a product. Thesis shows that electronic licensing is a viable option to sell medical technology products without a need to revise existing procedures or the enterprise resource system in the case company.

Design and Implementation of MUPE Server Context Tool for Eclipse IDE

The development of software tools begun as the first computers were built. The current generation of development environments offers a common interface to access multiple software tools and often also provide a possibility to build custom tools as extensions to the existing development environment. Eclipse is an open source development environment that offers good starting point for developing custom extensions. This thesis presents a software tool to aid the development of context-aware applications on Multi-User Publishing Environment (MUPE) platform. The tool is implemented as an Eclipse plug-in. The tool allows developer to include external server side contexts to their MUPE applications. The tool allows additional context sources to be added through the Eclipse's extension point mechanism. The thesis describes how the tool was designed and implemented. The implementation consists of tool core component part and an additional context source extension part. Tool core component is responsible for the actual context addition and also provides the needed user interface elements to the Eclipse workbench. Context source component provides the needed context source related information to the core component. As part of the work an update site feature was also implemented for distributing the tool through Eclipse update mechanism.

Towards increased productivity and quality in software development using agile, lean and collaborative approaches

Dagens programvaruindustri står inför alltmer komplicerade utmaningar i en värld där programvara är nästan allstädes närvarande i våra dagliga liv. Konsumenten vill ha produkter som är pålitliga, innovativa och rika i funktionalitet, men samtidigt också förmånliga. Utmaningen för oss inom IT-industrin är att skapa mer komplexa, innovativa lösningar till en lägre kostnad. Detta är en av orsakerna till att processförbättring som forskningsområde inte har minskat i betydelse. IT-proffs ställer sig frågan: “Hur håller vi våra löften till våra kunder, samtidigt som vi minimerar vår risk och ökar vår kvalitet och produktivitet?” Inom processförbättringsområdet finns det olika tillvägagångssätt. Traditionella processförbättringsmetoder för programvara som CMMI och SPICE fokuserar på kvalitets- och riskaspekten hos förbättringsprocessen. Mer lättviktiga metoder som t.ex. lättrörliga metoder (agile methods) och Lean-metoder fokuserar på att hålla löften och förbättra produktiviteten genom att minimera slöseri inom utvecklingsprocessen. Forskningen som presenteras i denna avhandling utfördes med ett specifikt mål framför ögonen: att förbättra kostnadseffektiviteten i arbetsmetoderna utan att kompromissa med kvaliteten. Den utmaningen attackerades från tre olika vinklar. För det första förbättras arbetsmetoderna genom att man introducerar lättrörliga metoder. För det andra bibehålls kvaliteten genom att man använder mätmetoder på produktnivå. För det tredje förbättras kunskapsspridningen inom stora företag genom metoder som sätter samarbete i centrum. Rörelsen bakom lättrörliga arbetsmetoder växte fram under 90-talet som en reaktion på de orealistiska krav som den tidigare förhärskande vattenfallsmetoden ställde på IT-branschen. Programutveckling är en kreativ process och skiljer sig från annan industri i det att den största delen av det dagliga arbetet går ut på att skapa något nytt som inte har funnits tidigare. Varje programutvecklare måste vara expert på sitt område och använder en stor del av sin arbetsdag till att skapa lösningar på problem som hon aldrig tidigare har löst. Trots att detta har varit ett välkänt faktum redan i många decennier, styrs ändå många programvaruprojekt som om de vore produktionslinjer i fabriker. Ett av målen för rörelsen bakom lättrörliga metoder är att lyfta fram just denna diskrepans mellan programutvecklingens innersta natur och sättet på vilket programvaruprojekt styrs. Lättrörliga arbetsmetoder har visat sig fungera väl i de sammanhang de skapades för, dvs. små, samlokaliserade team som jobbar i nära samarbete med en engagerad kund. I andra sammanhang, och speciellt i stora, geografiskt utspridda företag, är det mera utmanande att införa lättrörliga metoder. Vi har nalkats utmaningen genom att införa lättrörliga metoder med hjälp av pilotprojekt. Detta har två klara fördelar. För det första kan man inkrementellt samla kunskap om metoderna och deras samverkan med sammanhanget i fråga. På så sätt kan man lättare utveckla och anpassa metoderna till de specifika krav som sammanhanget ställer. För det andra kan man lättare överbrygga motstånd mot förändring genom att introducera kulturella förändringar varsamt och genom att målgruppen får direkt förstahandskontakt med de nya metoderna. Relevanta mätmetoder för produkter kan hjälpa programvaruutvecklingsteam att förbättra sina arbetsmetoder. När det gäller team som jobbar med lättrörliga och Lean-metoder kan en bra uppsättning mätmetoder vara avgörande för beslutsfattandet när man prioriterar listan över uppgifter som ska göras. Vårt fokus har legat på att stöda lättrörliga och Lean-team med interna produktmätmetoder för beslutsstöd gällande så kallad omfaktorering, dvs. kontinuerlig kvalitetsförbättring av programmets kod och design. Det kan vara svårt att ta ett beslut att omfaktorera, speciellt för lättrörliga och Lean-team, eftersom de förväntas kunna rättfärdiga sina prioriteter i termer av affärsvärde. Vi föreslår ett sätt att mäta designkvaliteten hos system som har utvecklats med hjälp av det så kallade modelldrivna paradigmet. Vi konstruerar även ett sätt att integrera denna mätmetod i lättrörliga och Lean-arbetsmetoder. En viktig del av alla processförbättringsinitiativ är att sprida kunskap om den nya programvaruprocessen. Detta gäller oavsett hurdan process man försöker introducera – vare sig processen är plandriven eller lättrörlig. Vi föreslår att metoder som baserar sig på samarbete när processen skapas och vidareutvecklas är ett bra sätt att stöda kunskapsspridning på. Vi ger en översikt över författarverktyg för processer på marknaden med det förslaget i åtanke.

Choosing the optimal energy system for buildings and districts

The purpose of this master’s thesis was to develop a method to be used in the selection of an optimal energy system for buildings and districts. The term optimal energy system was defined as the energy system which best fulfils the requirements of the stakeholder on whose preferences the energy systems are evaluated. The most influential stakeholder in the process of selecting an energy system was considered to be the district developer. The selection method consisted of several steps: Definition of the district, calculating the energy consumption of the district and buildings within the district, defining suitable energy system alternatives for the district, definition of the comparing criteria, calculating the parameters of the comparing criteria for each energy system alternative and finally using a multi-criteria decision method to rank the alternatives. For the purposes of the selection method, the factors affecting the energy consumption of buildings and districts and technologies enabling the use of renewable energy were reviewed. The key element of the selection method was a multi-criteria decision making method, PROMETHEE II. In order to compare the energy system alternatives with the developed method, the comparing criteria were defined in the study. The criteria included costs, environmental impacts and technological and technical characteristics of the energy systems. Each criterion was given an importance, based on a questionnaire which was sent for the steering groups of two district development projects. The selection method was applied in two case study analyses. The results indicate that the selection method provides a viable and easy way to provide the decision makers alternatives and recommendations regarding the selection of an energy system. Since the comparison is carried out by changing the alternatives into numeric form, the presented selection method was found to exclude any unjustified preferences over certain energy systems alternatives which would affect the selection.

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.

Leadership in the mobile smartphone market

The mobile telecommunications industry has been going through an enormous revolution, especially after mid-1990 when smartphones were introduced to the market. As a consequence, the smartphone market’s dynamism is requesting companies to operate differently in the way they do business. After a long period occupying the leader position in the smartphones manufacturers’ rank, Nokia was outperformed by Apple and Samsung during 2011 and since then has been on the third place. Nevertheless, Nokia is battling for regaining the leadership in such a competitive and high-velocity growing market and that is what this research is about. This research covers the competitive and strategic forces that shape dynamic industries whereas the main purpose is to elucidate the main factors that contribute to a company’s above-average performance and ultimately determine its leadership in the mobile smartphone market. Therefore, this exploratory qualitative research was conducted as a desk research, which utilized various secondary sources of data in the knowledge area of strategic management such as theories about competitive advantages and dynamic capabilities of firms, innovation, and strategy. This research is enriched with a case study about Nokia: how the company has been organizing its corporate structure to support the strategies and hence how it has been competing in the smartphone market is analyzed, taking into account many contemporary data sources, including market analysts’ and business experts’ opinions. As a result of the classic literature exploration and the case study assay, a framework for deeper analysis of the competitiveness of firms in dynamic markets was developed. The conclusion that emerged from this research is that the success of a firm results from the interplay of various factors. To regain the leader position in the mobile smartphone market is a challenging task that requires Nokia to reinvent its core strategy for taking charge of the smartphones’ industry transformation through for example the adoption of the open innovation concept. It is imperative that Nokia designs and implement a breakthrough strategy as well as embraces the uncertainty of the smartphone market competition as an opportunity for discontinuous innovation development with the ultimate goal of recovering the leadership.

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.

„Und frei erklär' ich alle meine Knechte“ : Höflichkeit als Ausdruck sozialer Utopie in Schillers Drama Wilhelm Tell.

My dissertation is an interdisciplinary study of the relationship between the Swiss peasants and nobles in Friedrich Schiller’s play Wilhelm Tell (1804). Changes to this relationship are of particular interest. Communication in the play is examined via a micro-analysis based on Penelope Brown’s and Stephen C. Levinson’s theoretical framework Politeness: Some universals in language usage. (1978, 1987). Brown and Levinson distinguish between positivepoliteness and negative-politeness strategies and their distinction is useful for my argument, since they claim that the use of positive-politeness strategies reflects the speaker’s intention to minimize the distance between the interlocutors (Brown and Levinson 1987: 103). Negative-politeness strategies, by contrast, result in social distancing (Brown and Levinson 1987: 130). In accordance with Brown’s and Levinson’s theory, it can be argued that the distribution of positive-politeness and negative-politeness strategies reflects changes in the distance between the fictional interlocutors as representatives of their social classes in Wilhelm Tell. The analysis of the communication in the play highlights that existing conflicts within the social groups are resolved and replaced with solidarity (cf. ‘Claim ’common ground’ and ‘Claim in-group membership with H’) before the peasants and noblemen appear on stage simultaneously in III, 3. In the scene in question, Geßler forces Tell to shoot the apple off his son’s head. Although both nobles and peasants are present, they do not communicate with each other. Thus, communication between the social classes occurs for the first time in IV, 2. This scene is crucial with regard to the changes in the relationship between the social classes in the play. The younger generation, with Rudenz as a representative of the nobility and Melchthal as a representative of the peasants, break with the prevailing conventions and initiate a new type of cooperation based on mutual helping and equality in the right and the duty to protect the country from the violent oppressors representing Habsburg (cf. ‘Convey that S and H are cooperators’, ‘Claim reflexivity’ and ‘Claim reciprocity’). The linguistic analysis reveals the crucial role of the Swiss nobility in the development of the social utopia, as well as the non-contribution of Wilhelm Tell. In fact, Tell never communicates with the Swiss noblemen. The role of the nobility and the role of Wilhelm Tell are further investigated in a comparison between Schiller’s Wilhelm Tell and four of Schiller’s historical sources. These sources, which contain earlier, non-dramatic versions of the establishment of the Swiss Confederation, are the following: Kronica von der loblichen Eydtgnoschaft compiled by Petermann Etterlin (1507), Gemeiner loblicher Eydgnoschafft Stetten Landen vnd Völckeren Chronik wirdiger thaaten beschreybung (1548) written by Johann Stumpf, Chronicon Helveticum of Aegidius Tschudi (the publication of Iselin from 1734 and 1736) and Johannes von Müller’s Geschichten schweizerischer Eidgenossenschaft (1786). Thecomparison sheds light on the fact that both Tschudi and von Müller emphasize unity among the Swiss and cooperation in their attempt to defeat the enemy. However, Schiller has reinforced the role of the nobility in the cooperation. In addition, the comparison between Schiller’s play and the historical sources reveals profound differences with regard to the role of Wilhelm Tell. In all of Schiller’s sources, Tell is present at Rütli, whereas he is absent from Rütli in Schiller’s play. In the play in general, Tell is conspicuously separated from the other peasants. Explanations of my linguistic results, which correspond to the above mentioned differences between the roles of the figures in Wilhelm Tell and the depictions in Schiller’s sources, are found by comparing the path of Schiller’s Swiss towards an egalitarian perspective with the kind of social evolution depicted by the German philosopher Johann Benjamin Erhard in his essay Über das Recht des Volks zu einer Revolution (1795). Aiming at considering Schiller’s social utopia within the larger cultural framework of the German response to the French Revolution, the comparison suggests that both authors depict the need for social change in terms of a change in social hierarchies (Erhard 1970: 95-96, cf. Foi 2005: 225). Erhard’s essay thus helps explain the political intention of Schiller’s play to keep the ideals of the French Revolution as crucial aims but profoundly change the means towards freedom and equality. In his attempt to claim the political resistance of the nobles and peasants as just, however, Schiller sacrificed the figure of Wilhelm Tell. Guilty of the murder of Geßler, Tell was no longer suitable for the righteous revolution imagined by Schiller (cf. Bloch 2008: 215 and Schulz 2005: 228). This explains Tell’s absence in the Rütli scene, his isolation in the plot, as well as his non-contribution to the social utopia. Together, the linguistic analysis and contextualisation of Schiller’s play support my hypothesis that Wilhelm Tell describes a process of change in the relationship between peasants and nobles. The interdisciplinary approach to the topic proved to be fruitful for all areas of the research involved.

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