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.

Maintaining Children’s Finnish Language Skills in an English Language Setting. A Study of Scottish-Finnish Families Living in Scotland

Tutkielmassa käsitellään kaksikielistä lastenkasvatusta ja siinä käytettäviä kasvatus-strategioita, erityisesti ns. OPOL-strategiaa, eli yksi henkilö – yksi kieli -strategiaa (one person – one language). Tarkoituksena oli selvittää, millä tavoin kaksikielisen perheen vanhemmat voivat tukea vähemmistökielen oppimista sellaisessa ympäristössä, jossa kielen oppimista ei tueta kodin ulkopuolella. Tutkielman alussa määrittelen keskeiset termit. Useita aiheeseen liittyviä termejä määritellään yleiskielessä eri tavoin jo termistä kaksikielisyys lähtien, joten termien rajaaminen tämän työn tarkoituksen mukaan oli tarpeen. Määrittelen myös tekstissä esiintyvät kaksikielisyyden eri tyypit ja taustat, kuten myös eri strategiat, joita kaksikielisessä kasvatuksessa voidaan käyttää. Tämän jälkeen esittelen aikaisempia kaksikielisyystutkimuksia sekä käsittelen OPOL-strategiaan liittyviä käytännön ongelmia, sekä näiden ongelmien mahdollisia ratkaisuja. Lopuksi käsittelen tutkimuksen empiiristä osiota, joka koostui sähköisestä kyselylomakkeesta sekä haastatteluista. Tutkimuksen kohderyhmä koostui Skotlannissa asuvista skotlantilais-suomalaisista perheistä, jotka pyrkivät kasvattamaan lapsistaan kaksikielisiä. Tutkimus tehtiin kahdessa osassa: ensimmäisen osan kyselylomakkeeseen vastasi 17 eri puolilla Skotlantia asuvaa suomenkielistä vanhempaa, ja toisessa osassa haastateltiin 10:tä Edinburghin ja Glasgow’n alueilla asuvaa kaksikielistä (suomi-englanti) perhettä. Molemmissa osioissa keskityttiin siihen, millä tavoin perheet tukevat lasten suomen kielen taitoa ja miten suomenkielistä syötettä yritetään lisätä. Tutkimuksen tuloksista käy ilmi, että Skotlannissa asuvat suomenkieliset vanhemmat ovat hyvin motivoituneita tukemaan lastensa kielellistä kehitystä eri tavoin, mm. lukemalla kirjoja, katsomalla elokuvia ja käymällä Suomi-koulussa. Suurin osa perheistä myös käy Suomessa säännöllisesti, mikä näyttäisikin olevan yksi keskeisimmistä kaksikielisyyttä tukevista tekijöistä. Eri perheiden lapset olivat saavuttaneet eri tasoja suomen kielessä, mikä viittaa siihen, ettei lapsen kielitaito ole seurausta ainoastaan OPOL-strategian tarkasta seuraamisesta, vaan siihen vaikuttavat myös monet muut tekijät.

Essays on auditor independence

Auditor independence is a cornerstone of the auditing profession and the basic principle that underpins the reputation of the auditing profession in the public eye. Indeed, it is the attribute most demanded from auditors by the public. Therefore, the sustainability of the auditing profession depends on how auditors can protect this principle. This dissertation consists of four interrelated essays concerned with auditor independence. Specifically, it examines situations that can threaten and impair auditor independence. In addition, this dissertation also examines several variables that may enhance and protect auditor independence. The first essay aims to examine the impact of social pressures occurring within audit firms on auditors’ judgment in the setting of a society with “high power distance” and “low individualism” cultural dimensions. The social pressures consisted of obedience pressure exerted by an auditor’s superior and conformity pressure exerted by an auditor’s colleague. Moreover, two moderating variables—a multi-dimensional professional commitment and locus of control—were included as moderator variables in the relationship between the social pressures faced by auditors and their judgment. The findings show that obedience and conformity pressures influence auditor judgment. Auditors who face the social pressures will make a judgment that may be even diametrically opposite to the independence principle. The findings also indicate that a multi-dimensional professional commitment and locus of control may potentially influence auditor judgment in a situation with social pressures. The second essay aims to investigate the association of advocacy and familiarity threats caused by auditor fee dependence and auditor tenure on auditor independence based on Finnish data, law, and auditing environment. This essay was motivated by the Green Paper on Audit Policy, published by the European Commission in 2010 that questions whether the maximum fee collected from a client should be regulated and whether consecutive assignments should be limited, among others. Contrary to popular belief, this essay does not find evidence that audit fees and long auditor tenure will jeopardise auditor independence. Therefore, the findings do not support policies to regulate auditor fees or limit auditor tenure in Finland. The third essay aims to examine the effect of client intimidation on auditor independence in an audit-client conflict situation. Intimidation threat is one of five independence threats that are explicitly referenced in the IFAC’s independence framework. Client intimidation was manifested in the client threatening to replace the auditor if the auditor did not adopt the client’s position. In addition, this essay examines the role of auditor’s perceived pressure and multi-dimensions of professional commitment as moderator variables. The findings suggest that auditors who experience client intimidation in an audit conflict situation are more likely to have their independence impaired than those who are in a similar situation but without client intimidation. Moreover, auditors who experience client intimidation perceive higher pressure than those who do not experience intimidation. Finally, auditors’ affective and continuance professional commitment dimensions moderate the relationship between auditors’ perceived pressures and auditor independence. The aim of the fourth essay is twofold. First, it aims to develop a scale for measuring auditors’ reputation awareness. Second, it aims to examine the correlation between the levels of auditor reputation awareness and auditor independence. A seven-item scale was developed as the reputation awareness scale. The findings indicate that the scale consists of one dimension. It also has a level of satisfactory reliability and a high level of validity. The findings show that there is a positive correlation between the level of auditors’ reputation awareness and auditor independence.

Providing Discourse Services for Researchers in a Repository Setting

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

Optimizing counterparty credit risk portfolio by reducing exposure at default variance

Rahoitusyhtiöt pitävät omaa pääomaa taseessa harvinaisen suuria markkinamuutoksia varten ja tämän pääoman määrä on ohjattu valvontaviranomaisten toimesta. Euroopassa Basel akordi antaa suuntaviivat näille säädöksille. 2007 vuoden finanssikriisin jälkeen rahoitusyhtiöt sekä valvojat ovat olleet entistä kiinnostuneempia pääoman riittävyydestä. Tutkimuksia riskistä, säädöksistä ja pääomavaateen madaltamisesta on tehty aikaisemmin, mutta tässä tutkimuksessa keskitytään vaateen jatkuvan muutoksen suuruuteen. Tutkimus sisältää hypoteettisen vastapuoliriski portfolion, jossa on mukana valuuttajohdannaisia. Tätä portfoliota simuloidaan eri tavoin, jotta nähtäisiin kuinka suuri vaikutus portfolion koostumuksella voi olla pääomavaateen varianssiin. Jos tämä muuttuja on merkittävä, pitäisikö rahoitusyhtiöiden yrittää pienentää muutosta, jotta yhtiöiden varapääoman määrää voitaisiin alentaa? Tutkimuksessa on myös haastateltu Suomen johtavia vastapuoliriski asiantuntijoita, jotta nähtäisiin rahoitusalan oma näkemys asian merkittävyydestä. Tutkimusmenetelminä toimivat haastattelut sekä numeerinen analyysi hypoteettisella portfoliolla. Kaupat tähän vastapuoliriski portfolioon on luotu 14 vuoden ajalle ja se sisältää ainoastaan valuuttajohdannaisia viidessä eri valuutassa. Riski lasketaan markkina-arvo menetelmällä, joista lasketaan VaR-mallilla tulevaisuuden riski nettoutuksen kera. Portfolion rakennetta muutetaan simuloinneissa, jotta nähtäisiin vaikutus tulevaisuuden riskeille, joita käytetään edustamaan pääomavaateen määrää ja sen vaihtelua yli ajan. Portfolioiden riskejä lasketaan myös rasituskokeiden avulla, jotta tuloksista saataisiin mahdollisimman todenmukaisia. Analyyttinen osuus tutkimuksesta näyttää sen, että tämän kaltainen optimointi on suuresti riippuvainen alkuperäisestä portfoliosta, jonka määrittää yleisesti rahoitusyhtiön myyntistrategia. Yleisesti ottaen pääomavaateen varianssin muutos voi simuloinneissa olla melko suurta, varsinkin jos mukaan huomioidaan rasitus testit, puuttuvat tuotteet sekä muut pääomavaateen laskentaan huomioitavat seikat. Haastatteluissa saatiin selville millainen optimointi voisi olla mahdollista todellisuudessa. Huomattiin myös että tämän kaltainen ajattelumalli on jo huomattu alalla ennestään. Jon Gregory jopa mainitsi, että jotkin rahoitusyhtiöt ovat enemmän kiinnostuneita muutosten pienentämisestä kuin itse pääomavaateen suuruudesta. Näyttääkin siltä, että tämän aihepiiri vaatisi entistä enemmän tutkimusta, sillä sitä ei ennestään vielä ole, ja rahoitusyhtiöt ovat jo alkaneet etsimään uusia keinoja selvitäkseen rahoitusalalla, joka on yhä entisestään kilpailullisempi.