Cognitive Functions After Traumatic Brain Injury. A 30-year Follow-up Study

Many cognitive deficits after TBI (traumatic brain injury) are well known, such as memory and concentration problems, as well as reduced information-processing speed. What happens to patients and cognitive functioning after immediate recovery is poorly known. Cognitive functioning is flexible and may be influenced by genetic, psychological and environmental factors decades after TBI. The general aim of this thesis was to describe the long-term cognitive course after TBI, to find variables that may contribute to it, and how the cognitive functions after TBI are associated with specific medical factors and reduced survival. The original study group consisted of 192 patients with TBI who were originally assessed with the Mild Deterioration Battery (MDB) on average two years after the injury, during the years 1966 – 1972. During a 30-year follow-up, we studied the risks for reduced survival, and the mortality of the patients was compared with the general population using the Standardized Mortality Ratio (SMR). Sixty-one patients were re-assessed during 1998-2000. These patients were evaluated with the MDB, computerized testing, and with various other neuropsychological methods for attention and executive functions. Apolipoprotein-E (ApoE) genotyping and magnetic resonance imaging (MRI) based on volumetric analysis of the hippocampus and lateral ventricles were performed. Depressive symptoms were evaluated with the short form of the Beck depression inventory. The cognitive performance at follow-up was compared with a control group that was similar to the study group in regard to age and education. The cognitive outcome of the patients with TBI varied after three decades. The majority of the patients showed a decline in their cognitive level, the rest either improved or stayed at the same level. Male gender and higher age at injury were significant risk factors for the decline. Whereas most cognitive domains declined during the follow-up, semantic memory behaved in the opposite way, showing recovery after TBI. In the follow-up assessment, the memory decline and impairments in the set-shifting domain of executive functions were associated with MRI-volumetric measures, whereas reduction in information-processing speed was not associated with the MRI measures. The presence of local contusions was only weakly associated with cognitive functions. Only few cognitive methods for attention were capable of discriminating TBI patients with and without depressive symptoms. On the other hand, most complex attentional tests were sensitive enough to discriminate TBI patients (non-depressive) from controls. This means that complex attention functions, mediated by the frontal lobes, are relatively independent of depressive symptoms post-TBI. The presence of ApoE4 was associated with different kinds of memory processes including verbal and visual episodic memory, semantic memory and verbal working memory, depending on the length of time since TBI. Many other cognitive processes were not affected by the presence of ApoE4. Age at injury and poor vocational outcome were independent risk factors for reduced survival in the multivariate analysis. Late mortality was higher among younger subjects (age < 40 years at death) compared with the general population which should be borne in mind when assessing the need for rehabilitation services and long-term follow-up after TBI.

Tekijännimet Mikael Agricolan teosten kielessä. Henkilötarkoitteisten johdosten merkitykset, funktiot ja rakenteet

My research deals with agent nouns in the language of the works of Mikael Agricola (ca. 1510–1557). The main tasks addressed in my thesis have been to describe individual agent noun types, to provide a comprehensive picture of the category of agent nouns and to clarify the relations between different types of agent nouns. My research material consists of all the agent nouns referring to persons in the language of Agricola’s works, together with their context. The language studied is for the most part translated language. Agent nouns play an important role both in the vocabulary of natural language and in broader sentence structures, since in a text it is constantly necessary to refer to actors re-ferring to persons in the text. As a concept and a phenomenon, the agent noun is widely known in languages. It is a word formed with a certain derivational affixes, which typical-ly refers to a person. In my research the agent noun category includes both deverbal and denominal derivatives referring to persons, e.g. kirjoittaa > kirjoittaja (to write > writer), asua > asuva (to inhabit > inhabitant), imeä > imeväinen (to suck > suckling), juopua > juopunut (to drink > drunkard), pelätä > pelkuri (to fear > one who fears ‘a coward’), apu > apulainen (help/to help > helper); lammas > lampuri (sheep > shepherd). Besides original Finnish expressions, agent noun derivatives taken as such from foreign languages form a word group of central importance for the research (e.g. nikkari, porvari, ryöväri, based on the German/Swedish for carpenter, burgher, robber). Especially important for the formation of agent nouns in Finnish are the models offered by foreign languages. The starting point for my work is predominantly semantic, as both the criteria for collecting the material and the categorisation underlying the analysis of the material are based on semantic criteria. When examining derivatives, aspects relating to structure are also inevitably of central importance, as form and meaning are closely associated with each other in this type of vocabulary. The alliance of structure and meaning can be described in an illustrative manner with the help of structural schemata. The examination of agent nouns comprises on the one hand analysis of syntactic elements and on the other, study of cultural words in their most typical form. The latter aspect offers a research object in which language and the extralinguistic world, referents, their designations and cultural-historical reality are in concrete terms one and the same. Thus both the agent noun types that follow the word formation principles of the Finn-ish language and those of foreign origin borrowed as a whole into Finnish illustrate very well how an expression of a certain origin and formed according to a certain structural model is inseparably bound up with the background of its referent and in general with semantic factors. This becomes evident both on the level of the connection between cer-tain linguistic features and text genre and in relation to cultural words referring to per-sons. For example, the model for the designations of God based on agent nouns goes back thousands of years and is still closely linked in 16th century literature with certain text genres. This brings out the link between the linguistic feature and the genre in a very con-crete manner. A good example of the connection between language and the extralinguistic world is provided by the cultural vocabulary referring to persons. Originally Finnish agent noun derivatives are associated with an agrarian society, while the vocabulary relat-ing to mediaeval urbanisation, the Hansa trade and specialisation by trade or profession is borrowed and originates in its entirety from vocabulary that was originally German.

Sitouttamisretoriikka yritysviestinnässä

This study focuses on work commitment creation on rhetorical level, that is to say, the rhetorical and linguistic means that are used to construct or elicit worker commitment. The commitment of the worker is one of the most important objectives of all business communication. There is a strong demand for commitment, identification, or adherence to work in various walks of life, although the actual circumstances are often somewhat insecure and shortsighted. The analysis demonstrates that the actual object of commitment may vary from work itself or work organization to one’s career or professional development. The ideal pattern for commitment appears as comprehensive: it contains affective and rational as well as ideological dimensions. This thesis is a rhetorical discourse analysis, or rhetorical analysis with discourse-analytic influences. Primarily it is a rhetorical analysis in which discourses are observed mainly as tools of a rhetorician. The study also draws on various findings of sociology of work and organizational studies. Research material consists of magazines from three and web pages from six different companies. This study explores repeated discourses in commitment rhetoric, mainly through pointing core concepts and recurrent patterns of argumentation. In this analysis section, a semantic and concept-analytic approach is also employed. Companies talk about ideas, values, feelings and attitudes thus constructing a united and unanimous group and an ideal model of commitment. Probably the most important domain of commitment rhetoric is the construction of group and community. Collective identity is constructed through shared meanings, values and goals, and these rhetorical group constructs that can be used and modified in various ways. Every now and then business communication also focuses on the individual, employing different speakers, positions and discourses associated to them. Constructing and using these positions also paints the picture of an ideal worker and ideal work orientation. For example, the so called entrepreneurship model is frequently used here. Commitment talk and the rhetorical situation it constructs are full of tensions and contradictions; the presence of seemingly contradictory values, goals or identities is constant. This study demonstrates tensions like self-fulfilment and individuality versus conformity, and constant change and development versus dependable establishment, and analyses how they are used, processed and dealt with. An important dimension in commitment rhetoric is the way companies define themselves in respect of current social issues, and how they define themselves as responsible social actors, and how they, in this sense, seek to appear as attractive workplaces. This point of view gives rise to problematic questions as companies process the tensions between, for example, rhetoric and action, ethical ideals and business conditions and so on. For its part, the commitment talk also defines the meaning of waged work in human life. Changing society, changing working life, and changing business environments set new claims and standards for workers and contents of work. In this point of view this research contributes to the study of working life and takes part in current public discussion concerning the meaning, role and future of waged work.

Induction practices : experiences of newly qualified teachers

The thesis consists of four studies (articles I–IV) and a comprehensive summary. The aim is to deepen understanding and knowledge of newly qualified teachers’ experiences of their induction practices. The research interest thus reflects the ambition to strengthen the research-based platform for support measures. The aim can be specified in the following four sub-areas: to scrutinise NQTs’ experiences of the profession in the transition from education to work (study I), to describe and analyse NQTs’ experiences of their first encounters with school and classroom (study II), to explore NQTs’ experiences of their relationships within the school community (study III), to view NQTs’ experiences of support through peer-group mentoring as part of the wider aim of collaboration and assessment (study IV). The overall theoretical perspective constitutes teachers’ professional development. Induction forms an essential part of this continuum and can primarily be seen as a socialisation process into the profession and the social working environment of schools, as a unique phase of teachers’ development contributing to certain experiences, and as a formal programme designed to support new teachers. These lines of research are initiated in the separate studies (I–IV) and deepened in the theoretical part of the comprehensive summary. In order to appropriately understand induction as a specific practice the lines of research are in the end united and discussed with help of practice theory. More precisely the theory of practice architectures, including semantic space, physical space-time and social space, are used. The methodological approach to integrating the four studies is above all represented by abduction and meta-synthesis. Data has been collected through a questionnaire survey, with mainly open-ended questions, and altogether ten focus group meetings with newly qualified primary school teachers in 2007–2008. The teachers (n=88 in questionnaire, n=17 in focus groups), had between one and three years of teaching experience. Qualitative content analysis and narrative analysis were used when analysing the data. What is then the collected picture of induction or the first years in the profession if scrutinising the results presented in the articles? Four dimensions seem especially to permeate the studies and emerge when they are put together. The first dimension, the relational ˗ emotional, captures the social nature of induction and teacher’s work and the emotional character intimately intertwined. The second dimension, the tensional ˗ mutable, illustrates the intense pace of induction, together with the diffuse and unclear character of a teacher’s job. The third dimension, the instructive ˗ developmental, depicts induction as a unique and intensive phase of learning, maturity and professional development. Finally, the fourth dimension, the reciprocal ˗ professional, stresses the importance of reciprocity and collaboration in induction, both formally and informally. The outlined four dimensions, or integration of results, describing induction from the experiences of new teachers, constitute part of a new synthesis, induction practice. This synthesis was generated from viewing the integrated results through the theoretical lens of practice architecture and the three spaces, semantic space, physical space-time and social space. In this way, a more comprehensive, refined and partially new architecture of teachers’ induction practices are presented and discussed.

Social tagging within task management

Social tagging evolved in response to a need to tag heterogeneous objects, the automated tagging of which is usually not feasible by current technological means. Social tagging can be used for more flexible competence management within organizations. The profiles of employees can be built in the form of groups of tags, as employees tag each other, based on their familiarity of each other’s expertise. This can serve as a replacement for the more traditional competence management approaches, which usually become outdated due to social and organizational hurdles, and obsolete data. These limitations can be overcome by people tagging, as the information revealed by such tags is usually based on most recent employee interaction and knowledge. Task management as part of personal information management aims at the support of users’ individual task handling. This can include collaborating with other individuals, sharing one’s knowledge, both functional and process-related, and distributing documents and web resources. In this context, Task patterns can be used as templates that collect information and experience around tasks associated to it during run time, facilitating agility. The effective collaboration among contributors necessitates the means to find the appropriate individuals to work with on the task, and this can be made possible by using social tagging to describe individual competencies. The goal of this study is to support finding and tagging people within task management, through the effective exploitation of the work/task context. This involves the utilization of knowledge of the workers’ expertise, nature of the task/task pattern and information available from the documents and web resources attached to the task. Vice versa, task management provides an excellent environment for social tagging due to the task context that already provides suitable tags. The study also aims at assisting users of the task management solution with the collaborative construction of light-weight ontology by inferring semantic relations between tags. The thesis project aims at an implementation of people finding & tagging within the java application for task management that consumes web services, which provide the required ontology for the organization.

Formal development and quantitative verification of dependable systems

-

Keskusteluja vuokratyöstä. Vuokratyön diskursiivinen rakentuminen Suomessa

1990-luvun alussa lainsäädäntö ja työmarkkinajärjestöt määrittelivät Suomessa, että vuokratyötä tuli käyttää vain tilapäiseen työvoimatarpeeseen, esimerkiksi sijaisuuksiin ja ruuhkahuippuihin. Joillakin aloilla vuokratyö oli työnantajien ja työntekijöiden yhteissopimuksella kielletty. Vaikka vuokratyösuhteet saivat jo 1980-luvulla niin Suomessa kuin kansainvälisestikin maineen työsuhdekeinotteluna, alkoi vuokratyön määrä Suomessa kasvaa 1990-luvun puolivälissä ja erityisesti tultaessa 2000-luvulle. Suomalaiset akateemiset tutkijat eivät ole juuri vuokratyöstä kiinnostuneet. Aiemmat, harvalukuiset tutkimukset ovat keskittyneet lähinnä työyhteisöjen ja työntekijöiden kokemuksiin sekä vuokratyön työehtoihin. Vuokratyö ymmärretäänkin edelleen lähinnä työntekijän subjektiivisena kokemuksena. Vuokratyössä on kuitenkin kysymys paitsi kokemuksista, myös yhteiskunnallisesta valtakamppailusta, jossa diskursiivisin keinoin pyritään vaikuttamaan ilmiöön nimeltä vuokratyö, laajemmin ilmiöön nimeltä työmarkkinat, sekä toisaalta kansalaisten käsityksiin työelämän ”normaalista”. Käsillä oleva tutkimus laajentaa ymmärrystä vuokratyöstä tarkastelemalla ilmiötä lainsäädännön, uutisoinnin ja markkinoinnin rakentamien julkisten käsitysten ja merkityksenantojen kautta. Teoreettisena viitekehyksenä käytän hallinnan ja työprosessin säätelyn teoriaperinteitä. Se, miten työmarkkinoiden muutosta ja uusia työsuhdemuotoja politiikassa, mediassa, lainsäädännössä, tai työpaikan kahvipöytäkeskusteluissa perustellaan ja tehdään ymmärrettäväksi, on samalla työelämään kiinnitettävien arvojen, merkitysten ja toimijuuksien luomista, rajaamista ja kuvailua. Työelämäpuheessa ei siis ole kyse vain talouden lainalaisuuksista, kansantalouden toimivuudesta, tai yritysten kilpailukyvystä, vaan myös ja erityisesti niiden toimijoiden luomisesta, määrittelemisestä ja legitimoimisesta, jotka työelämän kentällä saavat toimia ja tulevat palkituiksi. Säätelyn ja hallinnan näkökulmasta on relevanttia tarkastella millaisilla käsitteillä ja merkityksillä vuokratyötä ilmiönä rakennetaan . Tutkimuskysymyksinä esitän: 1) Miten ja millä perusteilla vuokratyöstä rakennettiin Suomessa legitiimi tapa työllistää ja työllistyä? 2) Millaisia työntekijäideaaleja vuokratyöhön liittyvissä keskusteluissa rakennetaan? Tutkimusaineistona tarkastelen lainsäädäntöön liittyviä dokumentteja, Helsingin Sanomien uutisointia, vuokratyöyritysten markkinointimateriaaleja, sekä vuokratyöyritysten edustajien haastatteluita. Analyysimenetelmänä käytän kriittistä diskurssianalyysia. Tämä menetelmä mahdollistaa puheen ja dokumenttien tarkastelun sosiaalisena toimintana, jolla eri toimijat pyrkivät osallistumaan yhteiskunnassa hyväksyttyjen ja tunnustettujen käsitysten ja toimintavaihtoehtojen rakentamis-, tulkinta- ja määrittelyprosesseihin. Tutkimukseni päätuloksena esitän, että vuokratyöstä muodostui legitiimi tapa työllistää Suomessa 1990-luvulla, koska vuokratyö käsitteellistettiin sekä lainsäädännön että median diskursseissa ennen kaikkea ratkaisuksi työttömyyteen. Toisaalta vuokratyö käsitteellistettiin vain marginaalisten työntekijäryhmien (naiset ja opiskelijat) rooliksi, jolloin se ei liittynyt miesvaltaisten työpaikkojen arkeen. Ratkaisuna työttömyyteen vuokratyö myös samalla luonnollistettiin osaksi yleisempää työmarkkinakehitystä, jolle ”kukaan ei voi mitään”. 2000-luvulla vuokratyö jatkoi voittokulkuaan ja rakentui pysyväksi ilmiöksi, koska työlainsäädännön uudistus institutionalisoi vuokratyön työehtosopimusmenettelyyn, jolloin sen ”salonkikelpoisuus” ja normaalius vahvistettiin. Vaikka työehtosopimusasia oli ratkaisuna merkittävä, nousi vuokratyön osalta itse työehtosopimus tärkeämmäksi kuin sen sisältö. Työehtosopimuksilla ei kuitenkaan pystytty vaikuttamaan esimerkiksi vuokratyöntekijän olemattomaan työsuhdeturvaan. Lisäksi työnantajapuhe käsitteellistää vuokratyön 2000-luvulla ennen kaikkea työmarkkinavaihtoehdoksi, vapautta ja monipuolisia työkokemuksia tarjoavaksi työmarkkinoiden katalysaattoriksi. Vuokratyö on tässä merkitysavaruudessa työntekijöille ”vain” yksi tapa työllistyä ja löytää oma tiensä työmarkkinoille, ei suinkaan työnantajien sanelema pakko. Työntekijöihin kohdistuva hallintapuhe niin mediassa kuin työnantajien haastatteluissakin pyrkii puolestaan rakentamaan ideaalityöntekijäkuvaksi yrittäjämäisen oman elämänsä toimitusjohtajan. Työnantajien diskursseissa kaikuvatkin työntekijään kohdistuva vaatimus itse itsensä ohjaamisesta sekä työntekijäidentiteetin muotoilemisesta joustavuutta, sopeutuvuutta, vaihtelua ja jatkuvaa muutosta vähintäänkin sietäväksi, mutta mieluiten näitä ominaisuuksia jopa aktiivisesti hakevaksi ja arvostavaksi. Työmarkkinoiden toimijana on nimenomaisesti yksilö, jonka mahdollisuudet menestyä ovat vain ja ainoastaan hänen omissa käsissään. Työntekijän roolin korostaminen aktiivisena toimijana ja vuokratyöstä ”oikeita”, norminmukaisia sisältöjä löytävänä pärjääjänä on diskursiivisesti hallittua yritystä ohjata työntekijöitä näkemään sekä itsensä tietynlaisina toimijoina että työmarkkinat tietyllä tavalla toimivina. Vuokratyössä ei ole kyse vain työntekijöiden yksilöllisistä tai yksittäisistä kokemuksista. Vuokratyö on yhteiskunnallisen merkityskamppailun tulos, jossa käyttövoimana ovat toimineet hallinnalliset ja säätelyyn pyrkivät käsitteellistykset työllisyydestä, yksilön valinnasta ja koko yhteiskunnan edusta. Hallinnan ja säätelyn näkökulmasta katsottuna vuokratyö on myös merkinnyt säätelyn liukumista tasa-arvoa, yhdenmukaista kohtelua ja työntekijän suojelua korostavasta viranomaisten ja poliittisten toimijoiden suorittamasta työmarkkinoiden kollektiivisesta säätelystä työnantajien ylläpitämään työntekijän persoonan ja käyttäytymisen hegemoniseen, yksilölliseen säätelyyn.

Species och artikelbruk i finskspråkiga grundskoleelevers inlärarsvenska. En longitudinell undersökning i årskurserna 7–9

Denna doktorsavhandling utreder hur finska grundskolelever använder de svenska substantivens bestämdhetsformer och artiklar och hur deras kunskaper utvecklas under årskurserna 7-9. Species och artikelbruk är problematiska för alla andraspråksinlärare i svenska, men de är synnerligen svåra för inlärare vars förstaspråk saknar morfologisk species. Det svenska systemet avviker också kraftigt från det motsvarande systemet i engelskan, varför tidigare kunskaper i engelska inte är till någon stor hjälp i inlärningen, låt vara att bestämdheten som begrepp redan är bekant för inläraren. Den teoretiska referensramen bygger på både grammatiska beskrivningar av den svenska grammatiken och på teorierna om grammatikinlärningen i andraspråk. Bland de sistnämnda är teorierna om tvärspråkligt inflytande, explicit respektive implicit inlärning samt helsekvensinlärning (på engelska formulaic language) av relevans. Undersökningsmaterialet består av korta texter samt inspelat muntligt material som med jämna mellanrum insamlats av finskspråkiga grundskolelever (n=67) som läser B-svenska. Undersökningen är i första hand kvantitativ, om än inmatningen av nominalfraserna i materialet samt deras formella och semantiska aspekter i analysprogrammet Microsoft Access också innebar en omfattande kvalitativ analys. Undersökningen bygger på performansanalysen och analysen av obligatoriska kontexter och beräkningen av frekvenser och korrekthetsprocent för de olika nominalfrastyperna. Informanterna använder komplext språk redan i årskurs 7. Korrekthetsprocenten stiger under undersökningstiden i de flesta frastyperna, men skillnaderna är sällan statistiskt signifikanta. Den normativa analysen visar också, att formfelen är i både det skriftliga och det muntliga materialet signifikant vanligare än speciesfelen. Det är med andra ord lättare för informanterna att välja rätt species än att bilda en korrekt nominalfras. I tidigare undersökningar i Sverige har likadana resultat nåtts. De mest centrala frastyperna i undersökningen bildar i båda typerna av materialet en inlärningsgång som upprepas i alla årskurser och kan förklaras med komplexitetsskillnaderna mellan de olika frastyperna. Informanterna behärskar bäst de frastyper, som varken innehåller artiklar eller ändelser. Näst bäst behärskar de substantivets bestämda form singularis och svagast obestämd form singularis, vars artikel är en klassisk svårighetskälla för finska svenskinlärare. Analysen av informanternas läromedel visar dock att den typiska undervisningsordningen i läromedlen inte motsvarar inlärningsgången som upptäckts i denna undersökning.

Det hjemløse menneske : en studie av sykdom og lidelse

The overall aim of this study was to achieve a deeper understanding of the relationship between human suffering, disease and illness. The study is rooted in the health-care scientific research tradition as developed by Eriksson and her co-researchers at Åbo Akademi. The over-riding methodological initiative was Gadamer's hermeneutic philosophy. The main research question is: What is suffering of illness and disease? Sub-questions: Which characteristics occur when people experience being acutely ill (Article I)? What do the concepts acute, critical and chronic mean semantically (Article II)? In which way does the relation between the human being's experience of disease, illness and suffering, be manifested and understood? How does one characterize the relationship between the experience of contracting disease, illness and suffering (Article III)? How can the hermeneutical conversation contribute to the understanding of suffering caused by disease and illness (Article IV)? The results of sub-study 1 showed that patients with acute myocardial infarction saw themselves as coping, competent, and autonomous individuals. They were used to exercising control, and it was difficult for them to relinquish control. The semantic analysis of acute in sub-study 2 revealed that the concept acute has had an unclear content in the Norwegian language over the past 65 years. Acute, as a concept, says something about the way a situation arises, but not much about what it is that arises. In sub-study, 3 the relation between disease, illness and suffering is discussed. The expression of illness and suffering as verbs can convey more clearly what it is that occurs with persons who experience disease, illness and suffering. The discussion in sub-study 4 focuses on trustworthiness in hermeneutical studies.

Fuzzy ontology for knowledge mobilisation and decision support

A growing concern for organisations is how they should deal with increasing amounts of collected data. With fierce competition and smaller margins, organisations that are able to fully realize the potential in the data they collect can gain an advantage over the competitors. It is almost impossible to avoid imprecision when processing large amounts of data. Still, many of the available information systems are not capable of handling imprecise data, even though it can offer various advantages. Expert knowledge stored as linguistic expressions is a good example of imprecise but valuable data, i.e. data that is hard to exactly pinpoint to a definitive value. There is an obvious concern among organisations on how this problem should be handled; finding new methods for processing and storing imprecise data are therefore a key issue. Additionally, it is equally important to show that tacit knowledge and imprecise data can be used with success, which encourages organisations to analyse their imprecise data. The objective of the research conducted was therefore to explore how fuzzy ontologies could facilitate the exploitation and mobilisation of tacit knowledge and imprecise data in organisational and operational decision making processes. The thesis introduces both practical and theoretical advances on how fuzzy logic, ontologies (fuzzy ontologies) and OWA operators can be utilized for different decision making problems. It is demonstrated how a fuzzy ontology can model tacit knowledge which was collected from wine connoisseurs. The approach can be generalised and applied also to other practically important problems, such as intrusion detection. Additionally, a fuzzy ontology is applied in a novel consensus model for group decision making. By combining the fuzzy ontology with Semantic Web affiliated techniques novel applications have been designed. These applications show how the mobilisation of knowledge can successfully utilize also imprecise data. An important part of decision making processes is undeniably aggregation, which in combination with a fuzzy ontology provides a promising basis for demonstrating the benefits that one can retrieve from handling imprecise data. The new aggregation operators defined in the thesis often provide new possibilities to handle imprecision and expert opinions. This is demonstrated through both theoretical examples and practical implementations. This thesis shows the benefits of utilizing all the available data one possess, including imprecise data. By combining the concept of fuzzy ontology with the Semantic Web movement, it aspires to show the corporate world and industry the benefits of embracing fuzzy ontologies and imprecision.

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.

Fedora Commons as core repository of the EU legislation

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

Integrating open articles with open data in the life sciences with Europe PubMed Central.

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

Invenio as a Blog Archiving platform

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

Integration of JINR Information Resources

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