Brandi osana yrityskuvaa case: Fazer (Fazerin Sininen) sekä Valio (Valiomaito)

Tutkielman tavoitteena on antaa kuva tuotebrandista osana yrityksen yrityskuvaa. Tutkimuksen pääkysymyksenä on: "Miten ja millä keinoilla yritys voi yhdistää tuotemerkkinsä brandikuvan yrityskuvaansa". Työ on kaksiosainen. Tutkimuksen kirjallisuusosassa pyritään aikaisemman tutkimustiedon perusteella rakentamaan käsitys yrityskuvasta, brandista ja niiden pohjalla vaikuttavista strategisista ratkaisuista. Tutkimuksessa esitetään malleja yritysbrandin ja tuotebrandien yhteydestä sekä käydään läpi yritys- ja tuotekuvaviestinnän keinoja. Tutkimuksessa halutaan lisäksi tuoda esille design management -ajattelutavan merkitys yhtenäisen yrityskuvan kannalta. Työn empiirinen osuus suoritettiin kvalitatiivisena casetutkimuksena kohteina Oy Fazer Ab sekä Valio Oy. Empiirinen osuus perustuu kirjalliseen materiaaliin sekä havainnointiin, joiden pohjalta tehtyjä johtopäätöksiä käytettiin hyväksi teemahaastattelujen kysymysten-asettelussa. Työ on luonteeltaan deskriptiivis-analyyttinen. Tutkimus osoitti, että yritys voi selkeästi yhdistää strategisen brandinsa osaksi yrityskuvaansa yritysbrandin ja tuotebrandin yhdistävän merkkistrategian ja eri viestintäelementtien avulla. Empiirisessä osassa selvisi, että kummassakin caseyrityksessä strategisen brandin yhteys yrityskuvaan on selkeä ja brandi ja yritys pyrkivät kohti samaa tavoitekuvaa. Fazerin strategiassa strategisen brandin ja yrityskuvan yhteyttä ei tosin enää selkeästi korosteta.

Finnairin lentopetrolihankinnat ja niiden kehittäminen

Tutkimuksen päätavoitteena on ollut Finnair Oyj:n lentopetrolihankintojen tutkiminen ja hankintatoimen kehittäminen. Tutkimuksen pääongelmana on ollut korkea lentopetrolin hinta ja siksi tutkimus on etsinyt ratkaisuja, joiden avulla kustannuspaineita voidaan pienentää. Tutkimus on laadullinen, koska Finnairin lentopetrolihankinnat ovat muutaman henkilön vastuulla ja siten kvantitatiivisen tutkimuksen tekeminen olisi ollut vaikeaa. Empiirinen osuus on tehty henkilökohtaisina haastatteluina joko "face-to-face" -tyyppisenä tai sähköpostitse. Tutkimuksen teoreettisen osuuden sateenvarjona on ollut hankintastrategia, jonka alaisuudessa tutkimuksen muita teorioita ja malleja on käsitelty. Koska hankintastrategian osatekijöiden käyttö ja valinta vaikuttaa ratkaisevasti transaktiokustannusten esiintymiseen, on ollut järkevää katsoa syntyviä kustannuksia hankintastrategisesta näkökulmasta. Elinkaarikustannukset on otettu mukaan tutkimukseen, koska Lisa Ellramin kehittämä Total Cost of Ownership –malli implikoi voimakkaasti ostoprosessin eri vaiheisiin. Tutkimuksen tuloksena voidaan kertoa, että mitään yksiselitteistä ratkaisua korkeaa lentopetrolihintaa vastaan ei ole olemassa. Lentopetrolihankintoja voidaan kehittää, erityisesti hyödyntämällä sähköistä hankintatoimea, jossa prosesseja tehostetaan tietotekniikkaa käyttäen. Lentopetrolihankintoja voidaan tehostaa myös perinteisimmillä menetelmillä, kuten järjestelemällä uudelleen toimintoja ja fyysiseen tankkaustapahtumaan liittyviä keinoja. Hankintastrategian yhteisostot –osatekijä antaa hyvän välineen vipuvaikutuksen käyttämiseen hankinnoissa, taktisen ostamisen ohella. Toimittajasuhteiden syventämisellä ja transaktiokustannusten pienentämisellä voidaan saavuttaa kilpailuetua koko toimitusketjulle. Case –yhtiön tapauksessa tämä tarkoittaa edullisempia lentolippuja loppuasiakkaalle ja kasvavaa kysyntää Finnairille.

Balanced Scorecard -mittaristo strategisena ohjaustyökaluna konserniympäristössä. Case: Stora Enso Packaging Oy

Tässä pro gradu -tutkielmassa analysoidaan neljästä eri näkökulmasta koostuvan Balanced Scorecardin soveltamista strategisena ohjaustyökaluna. Tavoitteena on Balanced Scorecardin toteuttamiseen liittyvän strategisen päätöksenteon tukeminen. Teoriaosuus on toteutettu kirjallisuuden pohjalta ja empiirinen aineisto on koottu lähinnä case-yrityksen omasta Balanced Scorecard -projektista. Case-yritys on maailmanlaajuisem Stora Enso -konsernin täysin omistama täyden palvelun aaltopahviratkaisuihin erikoistunut tytäryhtiökonserni. Balanced Scorecard -projekti yrityksessä on ollu käynnissä jo parin vuoden ajan ja nykyään käytössä on myös atk-pohjainen Balanced Scorecard -ohjelmisto. Tulevaisuudessa tavoitteena on Balanced Scorecardin ja siihen liityvän ohjelmiston ottaminen käyttöön koko konsernin kaikilla organisaatiotasoilla. Tutkimuksen tuloksena mallin todetaan teorian lisäksi myös käytännössä kokoavan hajanaiset tiedot tiiviiksi ja johdonmukaiseksi kokonaisuudeksi. Balanced Scorecardin onnistuminen riippuu paljolti työntekijöiden sitoutumisesta ja johdon halusta aikaansaada muutoksia. Oikein sovellettuna Balanced Scorecard on tehokas kommunikointiväline, joka kehittyy jatkuvasti organisaation mukana. Suurimpana ongelmana tai haasteena Suomessa nähdään mallin sisäistäminen alemmilla organisaatiotasoilla. Tutkimuksessa tarjotaan tähän ratkaisuksi uuden suomenkielisen käsitteen lanseeraamista ja parempaa tiedottamista esimerkiksi intranetin välityksellä.

Tulevaisuushallintaa: skenaarioperustainen toimintamalli Case: Sankar Marketing Oy

Tämän tutkimuksen tavoitteena oli rakentaa Sankar Marketing Oy:lle normatiivinen, skenaarioperustainen toimintamalli tulevaisuudenhallintaan. Menetelmällisesti tavoitteena oli kokonaisuuden hallittavuus. Yleiset skenaariot (ongelmien kasautuminen, tietoyhteiskunta hyvinvointiyhteiskuntana ja markkinavetoinen kehitys) toimivat näkökulmien aukaisijoina. Tulevaisuustaulukkomuotoinen väljästi kohdennettu skenaario rakennettiin tulevaisuusstudion, lehti- ja kirjasurveyn avulla. Taulukosta analysoitiin rakenteellisella- ja vaikuttavuusanalyysilla tärkeimmät muuttujat esille. Empiiriset tulokset: 1. Sankar Marketing Oy:n missio ja visiot rakennettiin tärkeimpien muuttujien, paradigman ja yrityksessä vallitsevien arvojen avulla. 2. Kasvulle, henkilöstölle ja markkinoinnille määritettiin visioita tukevat pitkän aikavälin strategiset linjaukset, jotka arvotettiin strategiaskenaarion avulla. 3. Toimenpidesuunnitelmat muodostivat kehitysurien polun bas-menetelmällä analysoidusta nykytilasta pitkän tähtäimen visioon. Uutuusarvoa tutkimukseen tuo toimintamallin uskottavuus, joka saatiin aikaiseksi yhdistämällä valittujen metodien rajapinnat aukottomaksi päättelyketjuksi.

Pitkän käyttöiän web-sovelluksen toteuttaminen

Tässä työssä selvitettiin hyviä tapoja ja vakiintuneita käytäntöjä pitkän käyttöiän web-sovelluksen tekemiseksi. Saatiin selville, että sovelluksen elinkaaren aikana suurin osa kustannuksista tulee ylläpidosta. Tavoitteena oli tehdä pitkään käytettävä sovellus, joten ylläpidon kustannusten osuudesta tuli saada mandollisimman pieni. Ohjelmistotuotantoprosessissa mandollisimman aikaisessa vaiheessa havaitut virheet vähentävät korjauskustannuksia oleellisesti verrattuna siihen, että virheet havaittaisiin valmiissa tuotteessa. Siksi tässä työssä tehdyssä web-sovelluksessa panostettiin prosessin alkuvaiheisiin, määrittelyyn ja suunnitteluun. Web-sovelluksen ylläpidettävyyteen ja selkeyteen vaikuttavat oleellisesti hyvät ohjelmistokehitystavat. Käyttämällä valmista sovelluskehystä ja lisäämällä toiminnallisuuksia valmiiden ohjelmistokomponenttien avulla saadaan aikaiseksi hyvien tapojen mukaisesti tehty sovellus. Tässä työssä toteutettu web-sovellus laadittiin käyttämällä sovelluskehystä ja komponenttiarkkitehtuuria. Toteutuksesta saatiin selkeä. Sovellus jaettiin loogisiin kokonaisuuksiin, jotka käsittelevät näkymiä, tietokantaa ja tietojen yhdistämistä näiden välillä. Jokainen kokonaisuus on itsenäisesti toimiva, mikä auttaa sovelluksen ylläpitämisessä ja testaamisessa.

Many valued algebraic structures as measures of comparison

This thesis studies the properties and usability of operators called t-norms, t-conorms, uninorms, as well as many valued implications and equivalences. Into these operators, weights and a generalized mean are embedded for aggregation, and they are used for comparison tasks and for this reason they are referred to as comparison measures. The thesis illustrates how these operators can be weighted with a differential evolution and aggregated with a generalized mean, and the kinds of measures of comparison that can be achieved from this procedure. New operators suitable for comparison measures are suggested. These operators are combination measures based on the use of t-norms and t-conorms, the generalized 3_-uninorm and pseudo equivalence measures based on S-type implications. The empirical part of this thesis demonstrates how these new comparison measures work in the field of classification, for example, in the classification of medical data. The second application area is from the field of sports medicine and it represents an expert system for defining an athlete's aerobic and anaerobic thresholds. The core of this thesis offers definitions for comparison measures and illustrates that there is no actual difference in the results achieved in comparison tasks, by the use of comparison measures based on distance, versus comparison measures based on many valued logical structures. The approach has been highly practical in this thesis and all usage of the measures has been validated mainly by practical testing. In general, many different types of operators suitable for comparison tasks have been presented in fuzzy logic literature and there has been little or no experimental work with these operators.

Suunnitelma WWW-palvelun monikanavaistamiseksi

Tämän diplomityön tavoitteena on kuvata suunnitelma, jossa alun perin WWW-ympäristöön kehitettyä palvelua muokataan siten, että palvelu skaalautuu mahdollisimman hyvin tulevaisuuden laajennuksiin. Selainpohjaisten palveluiden lisäksi esimerkiksi mobiili-palvelut ja erilaiset työpöytäsovellusintegraatiot ovat kasvattaneet suosiotaan. Samoin eri palveluiden välisestä yhteistoiminnasta on kasvanut merkittävä osa Internet-palveluiden loppukäyttäjilleen tarjoamaa palvelukokonaisuutta. Esimerkkejä WWW-palveluiden integroinneista päätelaitteille ovat hakukoneiden ja pikaviestimien mobiili-versiot, ja palveluiden yhteistoiminnasta erilaisten uutispalveluiden ja sosiaalisten palveluiden, kuten Facebook, väliset yhteisölinkitykset. Tässä diplomityössä selvitetään aluksi Internet-pohjaisten palveluiden kehitystä sekä tutustutaan tarkemmin palveluiden monikanavaisuuteen. Tämän jälkeen käydään läpi loppukäyttäjien saatavilla olevia päätelaitteita verkkoyhteyksineen ja WWW-palveluiden suunnittelumalleja. Suunnittelun lähtökohtana oli se, että erilaisten päätelaitteiden, päätelaitteiden ohjelmistojen ja käytössä olevien verkkoyhteyksien muodostamien palvelualustojen liittäminen palveluun olisi mahdollisimman yksinkertaista. Ja tukea uusien palvelualustojen käyttäjien ja sisällön sovittamista olemassa olevaan palveluun. Työn lopputuloksena on suunnitelma, joka pohjautuu välikerroksen rakentamiseen uusien palvelualustojen ja vanhan palvelun väliin. Palveluun tarjotaan välikerroksen kautta personoitu rajapinta luotetuille asiakkaille sekä kaikille avoin julkinen rajapinta. Välikerros suunniteltiin yksinkertaisella REST-arkkitehtuurityylillä, mikä mahdollistaa palvelun tarjonnan turvallisesti ja tehokkaasti. Tähän välikerrokseen lisätään käyttäjän- ja sisällönhallinnan komponentteja pitämään huolen palvelun eheydestä. Tämä diplomityö osoittaa, että oikealla arkkitehtuurilla suunniteltu monikerroksinen väliohjelmisto tarjoaa tehokkaan tavan integroida ja hallinnoida uusia alustoja.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

Lärande som text : en dramapedagogiskt förankrad läsning av det kroppsliga, rumsliga och retoriska i kunskapsbildande processer

My presupposition, that learning at some level deals with life praxis, is expressed in four metaphors: space, time, fable and figure. Relations between learning,knowledge building and meaning making are linked to the concept of personal knowledge. I present a two part study of learning as text in a drama pedagogical rooted reading where learning is framed as the ongoing event, and knowledge, as the product of previous processes, is framed as culturally formed utterances. A frame analysis model is constructed as a topological guide for relations between the two concepts learning and knowledge. It visualises an aesthetic understanding, rooted in drama pedagogical comprehension. Insight and perception are linked in an inner relationship that is neither external nor identical. This understanding expresses the movement "in between" connecting asymmetrical and nonlinear features of human endeavour and societal issues. The performability of bodily and oral participation in the learning event in a socio-cultural setting is analysed as a dialogised text. In an ethnographical case study I have gathered material with an interest for the particular. The empirical material is based on three problem based learning situations in a Polytechnic setting. The act of transformation in the polyphony of the event is considered as a turning point in the narrative employment. Negotiation and figuration in the situation form patterns of the space for improvisation (flow) and tensions at the boundaries (thresholds) which imply the logical structure of transformation. Learning as a dialogised text of "yes" and "no", of structure and play for the improvised, interrelate in that movement. It is related to both the syntagmic and the paradigmatic forms of thinking. In the philosophical study, forms of understanding are linked to the logical structure of transformation as a cultural issue. The classical rhetorical concepts of Logos, Pathos, Ethos and Mythos are connected to the multidimensional rationality of the human being. In the Aristotelian form of knowledge, phronesis,a logic structure of inquiry is recognised. The shifting of perspectives between approaches, the construction of knowledge as context and the human project of meaning making as a subtext, illuminates multiple layers of the learning text. In an argumentation that post-modern apprehension of knowledge, emphasising contextual and situational values, has an empowering impact on learning, I find pedagogical benefits. The dialogical perspective has opened lenses that manage to hold in aesthetic doubling the individual action of inquiry and the stage with its cultural tools in a three dimensional reading.

Työntömastotrukkien tuotannon optimointi

Tutkimuksessa luodaan Tuko Logistics Oy:n työntömastotrukkien toimintaa opti-moivia toimintaehdotuksia varastonohjausjärjestelmästä saatavan työntömastotruk-kidatan pohjalta. Tutkimus on toteutettu haastattelututkimuksena ja käyttäen apuna tieteellisiä julkaisuja. Tehtävien lomittamistutkimuksen ja loogiseen päättelyn tulok-sena on luotu kaksi toimintaehdotusta: A ja B. Toimintaehdotusten vaikutuksia van-haan järjestelmään verrataan mittareilla, joista osa on tehty jonoteorian jonomallien laskukaavojen pohjalta. Mittareita ovat: tehdyt tehtävät tunnissa, tuottamattoman ajon suhde tuottavaan, normaalitehtäväjonon pituus ja normaalitehtäväjonon koko-naisodotusaika. Toimintaehdotus B osoittautuu tehokkaammaksi ehdotukseksi, mutta Toimintaehdotus A:lla voi varmistaa tehtävien riittämisen työntömastotrukeille. Tut-kimuksessa ehdotetaan myös muita työntömastotrukkien toimintaa optimoivia muu-toksia, jotka voidaan ottaa käyttöön jokaisessa toimintamallissa.

Socially Competent Leadership - predictors, impacts and skilling in engineering

Earlier management studies have found a relationship between managerial qualities and subordinate impacts, but the effect of managers‘ social competence on leader perceptions has not been solidly established. To fill the related research gap, the present work embarks on a quantitative empirical effort to identify predictors of successful leadership. In particular, this study investigates relationships between perceived leader behavior and three selfreport instruments used to measure managerial capability: 1) the WOPI Work Personality Inventory, 2) Raven‘s general intelligence scale, and 3) the Emotive Communication Scale (ECS). This work complements previous research by resorting to both self-reports and other-reports: the results acquired from the managerial sample are compared to subordinate perceptions as measured through the ECS other-report and the WOPI360 multi-source appraisal. The quantitative research is comprised of a sample of 8o superiors and 354 subordinates operating in eight Finnish organizations. The strongest predictive value emerged from the ECS self- and other-reports and certain personality dimensions. In contrast, supervisors‘ logical intelligence did not correlate with leadership perceived as socially competent by subordinates. 16 of the superiors rated as most socially competent by their subordinates were selected for case analysis. Their qualitative narratives evidence the role of life history and post-traumatic growth in developing managerial skills. The results contribute to leadership theory in four ways. First, the ECS self-report devised for this research offers a reliable scale for predicting socially competent leader ability. Second, the work identifies dimensions of personality and emotive skills that can be considered predictors of managerial ability and benefited from in leader recruitment and career planning. Third, the Emotive Communication Model delineated on the basis of the empirical data allows for a systematic design and planning of communication and leadership education. Fourth, this workfurthers understanding of personal growth strategies and the role of life history in leader development and training. Finally, this research advances educational leadership by conceptualizing and operationalizing effective managerial communications. The Emotive Communication Model devised directs the pedagogic attention in engineering to assertion, emotional availability and inspiration skills. The proposed methodology addresses classroom management strategies drawing from problem-based learning, student empowerment, collaborative learning, and so-called socially competent teachership founded on teacher immediacy and perceived caring, all constituting strategies moving away from student compliance and teacher modelling. The ultimate educational objective embraces the development of individual engineers and organizational leaders that not only possess traditional analytical and technical expertise and substantive knowledge but are intelligent also creatively, practically, and socially.

Sumea suositin elokuville

Suositusmenetelmien tarkoituksena on auttaa käyttäjää löytämään häntä kiinnostavia asioita ja välttämään asioita, joista hän ei pitäisi. Suositusmenetelmät antavat suosituk- set yleensä terävinä lukuina. Tässä työssä kehitetään suositusmenetelmä, joka antaa suo- situkset arvosanojen sumeina jäsenyysasteina. Menetelmän antamat suositukset voidaan myös perustella käyttäjälle. Menetelmä kuuluu pääosin yhteisösuodatusmenetelmiin, jois- sa suositukset tehdään käyttäjien antamien arvosanojen perusteella, mutta myös tietoa elokuvien tyylilajeista hyödynnetään suositustarkkuuden parantamiseksi. Sumeiden suo- situsten suositeltavuusjärjestyksen laskemiseen esitetään myös menetelmä. Käyttäjien elokuville antamat arvosanat voidaan käsittää sumeana datana. Käyttäjä voi kuvata arvosanaa esimerkiksi ilmaisulla ”noin 4”. Tästä syystä on loogista esittää suo- situksetkin sumeina lukuina. Tällöin käyttäjälle voidaan antaa tietoa suosituksen tark- kuudesta ja mahdollisista ristiriidoista. Epävarmojen suositusten tapauksessa käyttäjä voi painottaa enemmän muita tietolähteitä. Kokeiden perusteella kehitetty menetelmä antaa joissa tapauksissa selvästi vertailtavia menetelmiä parempia suosituksia, kun taas toisissa tapauksissa suositukset ovat selvästi heikompia.

Eräs näkökulma näkökulmiin

Kirjallisuusarvostelu

Pienen kokoluokan CHP-tuotannon kannattavuus kunnallisen lämpölaitoksen yhteydessä

Fossiiliset polttoainevarannot ovat ehtymässä. Nykyisen talouskasvumme perustuessa fossiilisten polttoaineiden kestämättömään käyttöön, on energiantuotantorakenteen muututtava. Euroopan Unioni on asettanut tavoitteet uusiutuvan energian osuuden lisäämiseksi. Näistä syistä johtuen kiinnostus uusiutuvaa energiaa ja hajautettua energiantuotantoa kohtaan on kasvanut viime aikoina. Tämän globaalin ilmiön rinnalla yhteiskuntarakenteen muutos Suomessa on johtanut tilanteeseen, jossa taloudellinen aktiviteetti kasvukeskusten ulkopuolella on hiipumassa. Loogisena ratkaisumallina on syntynyt hankkeita kuten Keski-Karjalan Kehitysyhtiö Oy:n Puhos 2013 - ympäristöalasta uutta liiketoimintaa - hanke. Tämä työ on Puhos 2013 - hankkeeseen tilattu tutkimus, jonka tavoitteena on puuta ja biokaasua polttoaineenaan käyttävän mikroturbiinitekniikkaan pohjautuvan pienen kokoluokan CHP tuotannon kannattavuuden selvittäminen kunnallisen lämpölaitoksen yhteydessä. Tutkimuksessa selvitettiin aluksi pienen kokoluokan CHP tuotannon kannattavuuteen vaikuttavat tekijät, jonka jälkeen opittua tietoa sovellettiin Kiteen Lämmön Arppentien lämpölaitoksen tapaukseen. Kiteen Lämmön taloudellisen kannattavuuden ohella tutkimuksessa huomioitiin uusien liiketoiminta mahdollisuuksien syntyminen alueelle. Käytetyt tutkimusmenetelmät olivat kvalitatiivinen analyysi ja perinteinen investoinnin kannattavuuslaskenta. Tutkimuksen tuloksena muodostettiin strategia, joka maksimoi molemmat edellä mainitut kannattavuuden näkökulmat. Kehitetyn strategian Kiteen Lämmön tulosta maksimoiva osuus muodostuu oman käyttösähkön tuottamisen aloittamisesta Arppentien lämpölaitoksella 30 kWe mikroturbiinilla käyttäen polttoaineena Bio10 Oy:n toimittamaa biokaasua. Uusien liiketoiminta mahdollisuuksien synty alueelle mahdollistetaan puolestaan kehittämällä puun kaasutukseen perustuva modulaarinen CHP laitos yhteistyössä Mekrijärven tutkimusaseman ja suomalaisten laitevalmistajien kanssa.

Trustworthy context dependency in ubiquitous systems

The modern society is getting increasingly dependent on software applications. These run on processors, use memory and account for controlling functionalities that are often taken for granted. Typically, applications adjust the functionality in response to a certain context that is provided or derived from the informal environment with various qualities. To rigorously model the dependence of an application on a context, the details of the context are abstracted and the environment is assumed stable and fixed. However, in a context-aware ubiquitous computing environment populated by autonomous agents, a context and its quality parameters may change at any time. This raises the need to derive the current context and its qualities at runtime. It also implies that a context is never certain and may be subjective, issues captured by the context’s quality parameter of experience-based trustworthiness. Given this, the research question of this thesis is: In what logical topology and by what means may context provided by autonomous agents be derived and formally modelled to serve the context-awareness requirements of an application? This research question also stipulates that the context derivation needs to incorporate the quality of the context. In this thesis, we focus on the quality of context parameter of trustworthiness based on experiences having a level of certainty and referral experiences, thus making trustworthiness reputation based. Hence, in this thesis we seek a basis on which to reason and analyse the inherently inaccurate context derived by autonomous agents populating a ubiquitous computing environment in order to formally model context-awareness. More specifically, the contribution of this thesis is threefold: (i) we propose a logical topology of context derivation and a method of calculating its trustworthiness, (ii) we provide a general model for storing experiences and (iii) we formalise the dependence between the logical topology of context derivation and its experience-based trustworthiness. These contributions enable abstraction of a context and its quality parameters to a Boolean decision at runtime that may be formally reasoned with. We employ the Action Systems framework for modelling this. The thesis is a compendium of the author’s scientific papers, which are republished in Part II. Part I introduces the field of research by providing the mending elements for the thesis to be a coherent introduction for addressing the research question. In Part I we also review a significant body of related literature in order to better illustrate our contributions to the research field.