Autonomy and islands: a global study of the factors that determine island autonomy

Att ett geografiskt territorium uppnår autonomi förklaras ofta av skillnad I etnicitet, språk eller religion. En region som skiljer sig i någon av dessa kulturella aspekter från övriga regioner i ett land anses därför ha större sannolikhet att utveckla autonomi. Pär M. Olausson visar i sin avhandling att kulturella aspekter inte är den viktigaste förklaringen till att vissa öar utvecklar autonomi. Kulturella aspekter är bara en del i förklaringen till varför vissa öar utvecklar autonomi medan andra förblir en integrerad del av moderlandet. Kulturella aspekter måste kombineras med andra aspekter för att utgöra en tillräcklig förklaring till skillnaden i autonomi. Bland de autonoma regionerna i världen idag utgör öar en klar majoritet. Öar anses ofta ha speciella egenskaper som gör att de skiljer sig från fastlandet. Känslan av samhörighet och gemenskap är ofta starkare på öar pga deras ofta isolerade läge vilket i sin tur anses förklara varför många öar utvecklar autonomi. Genom att studera både autonoma och icke-autonoma öar visar Olausson att autonomi kan förklaras av att ön ligger längre än 1 000 km från fastlandet eller att den skiljer sig från fastlandet i någon av de kulturella aspekterna, att den har varit ockuperad av främmande stat och därmed avskiljd från övriga landet eller utgjort en egen stat. Den viktigaste förklaringen till varför vissa öar utvecklar autonomi men inte andra är emellertid öns strategiska betydelse.

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.