Modeling and developing a customer-oriented configuration process in a mass customization environment

In this thesis the main objective is to examine and model configuration system and related processes. When and where configuration information is created in product development process and how it is utilized in order-delivery process? These two processes are the essential part of the whole configuration system from the information point of view. Empirical part of the work was done as a constructive research inside a company that follows a mass customization approach. Data models and documentation are created for different development stages of the configuration system. A base data model already existed for new structures and relations between these structures. This model was used as the basis for the later data modeling work. Data models include different data structures, their key objects and attributes, and relations between. Representation of configuration rules for the to-be configuration system was defined as one of the key focus point. Further, it is examined how the customer needs and requirements information can be integrated into the product development process. Requirements hierarchy and classification system is presented. It is shown how individual requirement specifications can be connected for physical design structure via features by developing the existing base data model further.

A quasi-materialist, quasi-dualist solution to the mind-body problem

If the mental can affect, or be affected by, the physical, then the mental must itself be physical. Otherwise the physical world would not be explanatorily closed. But it is closed. There are reasons to hold that materialism (in both its reductive and non-reductive varieties) is false. So how are we to explain the apparent responsiveness of the physical to the mental and vice versa? The only possible solution seems to be this: physical objects are really projections or isomorphs of objects whose essential properties are mental. (A slightly less accurate way of putting this would be to say: the constitutive - i.e. the non-structural and non-phenomenal - properties of physical objects are mental, i.e. are such as we are used to encountering only in "introspection".) The chair, qua thing that I can know through sense perception, and through hypotheses based strictly thereupon, is a kind of shadow of an object that is exactly like it, except that this other objects essential properties are mental. This line of thought, though radically counterintuitive, explains the apparent responsiveness of the mental to the physical, and vice versa, without being open to any of the criticisms to which materialism, dualistic interaction ism, and epiphenomenalism are open.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Kielikylpydidaktiikkaa kehittämässä : 3-6-vuotiaiden kielikylpylasten kielellinen kehitys ja kielikylpydidaktiikan kehittäminen päiväkodissa

The goal of this study is to determine the naming ability in Finnish and Swedish of nursery school-aged children participating in a language immersion programme, as well as their command of both languages. The study also aims to describe factors reflecting language immersion teaching in nursery schools based on action research and a literature survey. The longitudinal study, conducted in 2003–2005, comprised 133 native Finnish three- to six-year-old children in language immersion programmes. A total of four measurements were carried out over two and a half years. In each measurement, four separate tests were given to each child (totally 1134 measurements). Research material was collected using survey tools that measured the children’s naming ability and command of language. The tools had been translated into both Finnish and Swedish. The material also includes taped responses related to the tool for naming ability. Didactic approaches were developed on the basis of material from action research and the literature survey. The material was examined using methodological triangulation, and a quantitative analysis was made of each survey tool. Furthermore, a content analysis of the children’s taped responses gave further depth to the description of language development. The theoretical framework of the study is mainly based on modern sociocultural theories of second language development and acquisition. Thus, the approach is both linguistic and pedagogic, with emphasis lying on the latter. The socioculturally-oriented framework of this study is mainly influenced by the theorists Vygotski, Spolsky, van Lier and Cummins. According to the results, the language skills of children in language immersion programmes develop as expected from age three to six in the fields studied. In the field of language command, the children acquired excellent skills in listening comprehension. Their naming ability was not as good. In each test, the children showed weaker skills in Swedish than in Finnish. However, based on the assumption that the two languages have a shared cognitive field, the skills in Swedish catch up with the skills in Finnish at an annual rate of 6–7 per cent. The study indicates that children meet a language development threshold one year earlier in their native language than they do in the immersion language. As for the naming ability in Swedish, problems arose from the fact that the deviation in results increases with age. Children showed creativity in their use of naming strategies. Judging by the research results, children begin to use the immersion language as a tool for thought at a very early phase. The research results, action research and literature survey were also used to create a general educational model for language immersion.

Det pedagogiska övervägandet : en uppmärksamhetsriktande studie i och genom humanvetenskaplig handlingsteori

Det övergripande syftet med avhandlingen är att bidra till en handlingsinriktad diskurs. Ambitionen är att rikta uppmärksamheten mot den pedagogiska övervägande handlingen genom att pröva konkreta exempel från en pedagogisk praktik mot en begreppsapparat inspirerad av den humanvetenskapliga handlingsteorin. Forskningsfrågorna lyder: Vad är en övervägande handling? Hur byggs den upp och vad förutsätter den? Bakgrunden till intresset att belysa den övervägande handlingen är en önskan att överbrygga klyftan mellan teori och praktik och att hitta ett sätt att samtala om ”tyst kunskap” och den konkreta pedagogiska verkligheten så att denna kan utvecklas på ett meningsfullt sätt. Förhållandet mellan intentionalitet och instrumentella handlingar är av särskilt intresse. Den aristoteliska begreppsapparaten som avser att belysa den mänskliga handlingen används i studien som både utgångspunkt och analysredskap. Retoriken ses som den vetenskap som kan beskriva och förklara hur vi skapar mening med hjälp av språket. Fyra fokussamtal med sammanlagt fem studerande på musikanimatörutbildningen genomfördes under vårterminen 2006. Referaten från samtalen bearbetades till en berättelse. I konstruktionen av berättelsen användes dels en fenomenologisk analys, dels narrativ bearbetning. De aristoteliska begreppen poíesis, praxis och theoria tillämpades och prövades på berättelsen varefter en retorisk analys genomfördes. Berättelsen visar två konkurrerande praxis. Utbildningen framstår i berättelsen dels som en horisontell ”alla kan”-utbildning, dels som en vertikal och lärarstyrd verksamhet. Berättelsen ger inte så många exempel på pedagogiska överväganden men tydliggör ändå den övervägande handlingen. Det pedagogiska övervägandet innebär ett väljande utifrån teoretiskt tänkbara och med praxis förenliga handlingsalternativ. Reflektion ingår i övervägandet men är inte detsamma som övervägande. Övervägandet är inte enbart en rationellt kalkylerande aktivitet. Holistiska och intuitiva procedurer är en viktig del i processen. Övervägande förutsätter dessutom ansvar.

Den talande bokens poetik : en studie med fokus på olika unga vuxnas reception av tre fiktiva texter inlästa på band

The purpose of the research project The poetics of the talking book is to contribute to the knowledge about patterns of understanding in young adults’ reception of fiction, which they listened to through audio books. The problem explored was: How do different groups of listeners receive fictive text presented as a talking book with variations regarding use of voice, engagement and sound effects? The problem formulation rendered four specific research questions: 1. What patterns can be identified in the listeners’ answers regarding story structure and cognitive content in a comparative perspective comprising different reading styles in the taped versions of the text? 2. What patterns of understanding in interpretative reading can be identified in different listeners? 3. Which thoughts do the listeners have about what the talking book should sound like? 4. What affordances for young adults with the functional disability of mild mental retardation can be made visible through guided literature conversations? The theoretical frame of reference was formed by text–reader-oriented literary theory, psychological schema theory, and research regarding voice quality and communication. The project was carried out in two steps. The first phase was to produce the audio books with two variations of reading practice of three short stories with an existential theme in each text. The second step comprised interviewing of 32 young adults (a special group with a reading handicap in form of mild mental retardation, and a reference group with no handicap). The interviews formed as literary conversation were carried out three times during one year. The phenomenological-hermeneutic approach focused on the life worlds of the participants as meaning seeking beings. The analysis was carried out using method triangulation, mainly using phenomenological meaning concentration. The double hermeneutics in use when interpreting the interpretations of the participants revealed a capacity for aesthetic reading of fiction in the special group as well as in the reference group. The aesthetic qualities were found sufficient in all variations of reading by the professional readers of the audio book they listened to. The young adults also could describe how they wanted the audio book to sound: just as if you were reading yourself. A model describing the analytical steps and concepts in use was a result that can serve as an outline of a poetics for the talking book. Unexpected research results were how important the guided literary conversation turned out to be in order to realise the affordances given by the texts regarding exploration of existential themes in the young adults’ life worlds. Thus the result of the research project can be positioned as a piece of emancipatory research stressing the importance of including this group of young adults in the society’s conversation about culture and meaning.

Våld i parrelationer : en begreppslig undersökning av ett moraliskt och samhälleligt problem

Mäns våld mot kvinnor i parrelationer är ett förekommande problem i det finländska samhället. Som en moralisk fråga råder det ingen tvekan om att våld i parrelationer är orätt. Den moraliska diskussionen kan ändå inte stanna där. När våldsproblematiken studeras närmare träder flera aspekter av moralfilosofiskt intresse fram. Detta är dock sammanlänkat med hela avhandlingens utgångspunkt: att moralfrågor i första hand är frågor i första person. Det handlar om hur var och en av oss som de personer vi är förhåller oss till andra människor i olika situationer. Det handlar om hur varje enskild person berörs av, möter eller står tyst inför t.ex. en problematik som våld i parrelationer. Genom den här utgångspunkten problematiserar avhandlingen en vanlig syn på etik och moral som en uppsättning yttre regler eller som något vi helt objektivt kan resonera kring utan att själva egentligen beröras och bli indragna i det vi diskuterar, eller utan hänsyn till dem som faktiskt berörs. Tyngdpunkten i avhandlingen läggs på en moralisk begreppslig undersökning kring ett antal begrepp som stiger fram som relevanta i mötet med våld i parrelationer. De för avhandlingen centrala begreppen är offentligt-privat, rättvisa, rättigheter, makt, skam, skuld, förlåtelse, omsorg, tillit och ansvar. I avhandlingen har jag beskrivit, kritiskt analyserat samt fördjupat en förståelse av dessa begrepp och uttryck som både rör ett individ- och ett samhällsplan. Hur dessa begrepp och uttryck används och fungerar i olika sammanhang uttrycker moraliska förhållningssätt gentemot våld, offer och förövare. I avhandlingen synliggörs detta och en konkret förankring sker med hjälp av följande material: finländskt lagstiftningsmaterial (förarbeten till lagar som berör våld i parrelationer under perioden 1991-2006) och berättelser av kvinnor som upplevt våld. Den begreppsliga analysen, där bl.a. olika feministiska teoretiker används, visar att språket inte är neutralt. Språket kan vara färgat av flera självklara förutsättningar och distanserande begrepp kan användas på ett sådant sätt att det moraliskt mest centrala och brännande döljs.

Rädsla inför förlossningen - ett uppenbart kliniskt problem? : konstruktionen av förlossningsrädsla som medicinsk kategori

Kvinnors känsla av oro och rädsla inför förlossningen har under de senaste årtiondena intresserat forskare inom en medicinsk kontext, framför allt i Sverige och Finland. Den obstetriska och psykologiska forskningen har strävat efter att definiera, finna metoder för att mäta samt klassificera dessa känslor. Begreppet förlossningsrädsla används i dag ofta såväl inom den medicinska diskursen som bland allmänheten som ett samlande begrepp för att beskriva föderskors rädsla både inför, under och efter förlossningen. Trots detta finns det ändå ingen allmänt vedertagen definition av eller enhetliga kriterier för vad som skall inkluderas i begreppet. Förlossningsrädsla har konstruerats och etablerats som ett till synes objektivt medicinskt definierat fenomen och vården av förlossningsrädsla har institutionaliserats inom specialsjukvården. Däremot har de praktiker och institutioner som bidragit till att skapa förlossningsrädsla som ett vetenskapligt faktum, en svart låda, blivit osynliga. I "Rädsla inför förlossningen – ett uppenbart kliniskt problem? Konstruktionen av förlossningsrädsla som en medicinsk kategori" granskas uppkomsten, etableringen och institutionaliseringen av förlossningsrädsla som en medicinsk kategori inom vetenskaplig forskningslitteratur i Sverige och Finland. I fokus för analysen står processer av kunskapsproduktion genom vilka förlossningsrädsla formuleras som en specifik medicinsk kategori. Förlossningsrädsla som begrepp och kategori kan beskrivas som ett gränsöverskridande objekt som ständigt reproduceras och konsolideras genom den pågående forskningen.

Innovations of ageing and societal transition : Dynamics of change of the socio-technical regime of ageing

The purpose of this dissertation is to examine the dynamics of the socio-technical system in the field of ageing. The study stems from the notion that the ageing of the population as a powerful megatrend has wide societal effects, and is not just a matter for the social and health sector. The central topic in the study is change: not only the age structures and structures of society are changing, but also at the same time there is constant development, for instance, in technologies, infrastructures and cultural perceptions. The changing concept of innovation has widened the understanding of innovations related to ageing from medical and assistive technological innovations to service and social innovations, as well as systemic innovations at different levels, which means the intertwined and co-evolutionary change in technologies, structures, services and thinking models. By the same token, the perceptions of older people and old age are becoming more multi-faceted: old age is no longer equated to illnesses and decline, but visions of active ageing and a third age have emerged, which are framed by choices, opportunities, resources and consumption in later life. The research task in this study is to open up the processes and mechanisms of change in the field of ageing, which are studied as a complex, multi-level and interrelated socio-technical system. The question is about co-effective elements consisting of macro-level landscape changes, the existing socio-technical regime (the rule system, practices and structures) and bottom-up niche-innovations. Societal transitions do not account for the things inside the regime alone, or for the long-term changes in the landscape, nor for the radical innovations, but for the interplay between all these levels. The research problem is studied through five research articles, which offer micro-level case studies to macro-level phenomenon. Each of the articles focus on different aspects related to ageing and change, and utilise various datasets. The framework of this study leans on the studies of socio-technical systems and multi-level perspective on transitions mainly developed by Frank Geels. Essential factors in transition from one socio-technological regime to another are the co-evolutionary processes between landscape changes, regime level and experimental niches. Landscape level changes, like the ageing of the population, destabilise the regime in the forms of coming pressures. This destabilization offers windows for opportunity to niche-innovations outside or at fringe of the regime, which, through their breakthrough, accelerate the transition process. However, the change is not easy because of various kinds of lock-ins and inertia, which tend to maintain the stability of the regime. In this dissertation, a constructionist approach of society is applied leaning mainly to the ideas of Anthony Giddens’ theory of structuration, with the dual nature of structures. The change is taking place in the interplay between actors and structures: structures shape people’s practices, but at the same time these practices constitute and reproduce social systems. Technology and other material aspects, as part of socio-technical systems, and the use of them, also take part in the structuration process. The findings of the study point out that co-evolutionary and co-effective relationships between economic, cultural, technological and institutional fields, as well as relationships between landscape changes, changes in the local and regime-level practices and rule systems, are a very complex and multi-level dynamic socio-technical phenomenon. At the landscape level of ageing, which creates the pressures and triggers to the regime change, there are three remarkable megatrends: demographic change, changes in the global economy and the development of technologies. These exert pressures to the socio-technical regime, which as a rule system is experiencing changes in the form of new markets and consumer habits, new ways of perceiving ageing, new models of organising the health care and other services and as new ways of considering innovation and innovativeness. There are also inner dynamics in the relationships between these aspects within the regime. These are interrelated and coconstructed: the prevailing perceptions of ageing and innovation, for instance, reflect the ageing policies, innovation policies, societal structures, organising models, technology and scientific discussion, and vice versa. Technology is part of the inner dynamics of the sociotechnological regime. Physical properties of the artefacts set limitations and opportunities with regard to their functions and uses. The use of and discussion about technology, contributes producing and reproducing the perceptions of old age. For societal transition, micro-level changes are also needed, in form of niche-innovations, for instance new services, organisational models or new technologies, Regimes, as stabilitystriven systems, tend to generate incremental innovations, but radically new innovations are generated in experimental niches protected from ‘normal’ market selection. The windows of opportunity for radical novelties may be opened if the circumstances are favourable for instance by tensions in the socio-technical regime affected by landscape level changes. This dissertation indicates that a change is taking place, firstly, in the dynamic interactionbetween levels, as a result of purposive action and governance to some extent. Breaking the inertia and using the window of opportunity for change and innovation offered by dynamics between levels, presupposes the actors’ special capabilities and actions such as dynamic capabilities and distance management. Secondly, the change is taking place the socio-technological negotiations inside the regime: interaction between technological and social, which is embodied in the use of technology. The use of technology includes small-level contextual scripts that also participate in forming broader societal scripts (for instance defining old age at the society level), which in their turn affect the formation of policies for innovation and ageing. Thirdly, the change is taking place by the means of active formation of the multi-actor innovation networks, where the role of distance management is crucial to facilitate the communication between actors coming from different backgrounds as well as to help the niches born outside the regime to utilise the window of opportunity offered by regime destabilisation. This dissertation has both theoretical and practical contributions. This study participates in the discussion of action-oriented view on transition by opening up of the socio-technological, coevolutionary processes of the multi-faceted phenomenon of ageing, which has lacked systematic analyses. The focus of this study, however, is not on the large-scale coordination and governance, but rather on opening up the incremental elements and structuration processes, which contribute to the transition little by little, and which can be affected to. This increases the practical importance of this dissertation, by highlighting the importance of very tiny, everyday elements in the change processes in the long run.

Active teaching-learning methodologies: medical students' views of problem-based learning

The prevailing undergraduate medical training process still favors disconnection and professional distancing from social needs. The Brazilian Ministries of Education and Health, through the National Curriculum Guidelines, the Incentives Program for Changes in the Medical Curriculum (PROMED), and the National Program for Reorientation of Professional Training in Health (PRO-SAÚDE), promoted the stimulus for an effective connection between medical institutions and the Unified National Health System (SUS). In accordance to the new paradigm for medical training, the Centro Universitário Serra dos Órgãos (UNIFESO) established a teaching plan in 2005 using active methodologies, specifically problem-based learning (PBL). Research was conducted through semi-structured interviews with third-year undergraduate students at the UNIFESO Medical School. The results were categorized as proposed by Bardin's thematic analysis, with the purpose of verifying the students' impressions of the new curriculum. Active methodologies proved to be well-accepted by students, who defined them as exciting and inclusive of theory and practice in medical education.

Jämställdhet som politiskt problem i Finland och Frankrike

Kirjallisuusarvostelu

Suunnittelun kehittäminen saatavuudenhallinnan näkökulmasta - Case Metsäteollisuusyritys

Metsäteollisuuden muuttunut toimintaympäristö on saanut kohdeyrityksen pyrkimään asiakaslähtöisempään ja markkinaintegroituneempaan toimintaan. Se, että asiakkaille voidaan luvata, mitä he haluavat ja että lupaukset kyetään pitämään, ovat markkinalähtöisen toiminnan keskeisimpiä tekijöitä. Diplomityön tavoitteena on kuvata metsäteollisuusyrityksen tuotteiden saatavuudenhallinnan nykytilaa tuotannonsuunnittelun, myynnin ja asiakkaiden näkökulmasta. Saatavuudenhallinnalla tarkoitetaan sitä, kuinka myyjä tietää, saako hän myydä asiakkaalle, mitä asiakas haluaa. Työssä käsitellään myös metsäteollisuusyrityksen suunnitteluprosesseja, koska ilman toimivaa myynninsuunnittelua ja operatiivista suunnittelua ei tehokas saatavuudenhallintakaan ole mahdollista. Työssä on esitetty vertailumalleja saatavuudenhallinnan ja suunnitteluprosessien toimivuudesta myös muilta toimialoilta kuten elintarvike- ja metalliteollisuudesta. Työn tuloksena on selkeä kuva saatavuudenhallinnan ja suunnitteluprosessien nykytilasta sekä mihin suuntaan niitä voisi kehittää. Suurimpana ongelmana myyntiprosessissa on pitkän tähtäimen suunnittelun puutteellisuus, minkä johtaa siihen, että asiakastilausten saatavuustarkastelut ovat monimutkaisia ja asiakkaille vastaaminen hidasta. Työssä on esitetty tulevaisuuden tavoitetilamalli, jossa tiedonkulku koko toimitusketjun halki on nopeampaa ja tehokkaampaa sekä toimintatavat yhtenäisiä ja selkeitä. Uusi toimintamalli mahdollistaa nopeammat ja luotettavammat myyntilupaukset sekä ilmoittamisen muutoksista asiakkaalle nykyistä aiemmin ja varmemmin.

General terms and rigidity: another solution to the trivialization problem

In this paper I am concerned with the problem of applying the notion of rigidity to general terms. In Naming and Necessity, Kripke has clearly suggested that we should include some general terms among the rigid ones, namely, those common nouns semantically correlated with natural substances, species and phenomena, in general, natural kinds -'water', 'tiger', 'heat'- and some adjectives -'red', 'hot', 'loud'. However, the notion of rigidity has been defined for singular terms; after all, the notion that Kripke has provided us with is the notion of a rigid designator. But general terms do not designate single individuals: rather, they apply to many of them. In sum, the original concept of rigidity cannot be straightforwardly applied to general terms: it has to be somehow redefined in order to make it cover them. As is known, two main positions have been put forward to accomplish that task: the identity of designation conception, according to which a rigid general term is one that designates the same property or kind in all possible worlds, and the essentialist conception, which conceives of a rigid general term as an essentialist one, namely, a term that expresses an essential property of an object. My purpose in the present paper is to defend a particular version of the identity of designation conception: on the proposed approach, a rigid general term will be one that expresses the same property in all possible worlds and names the property it expresses. In my opinion, the position can be established on the basis of an inference to the best explanation of our intuitive interpretation and evaluation, relative to counterfactual circumstances, of statements containing different kinds of general terms, which is strictly analogous to our intuitive interpretation and evaluation, relative to such circumstances, of statements containing different kinds of singular ones. I will argue that it is possible to offer a new solution to the trivialization problem that is thought to threaten all versions of the identity of designation conception of rigidity. Finally, I will also sketch a solution to the so-called 'over-generalization and under-generalization problems', both closely related to the above-mentioned one.

Applications of graph transformation in tools for domain-specific modeling languages

The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the accumulated knowledge and experience of previous implementations, can in turn be used to generate new applications with unique sets of requirements. For this reason, DSLs are considered to be an important approach for software reuse. However, the toolset supporting a particular domain-specific language is also domain-specific and is per definition not reusable. Therefore, creating and maintaining a DSL requires additional resources that could be even larger than the savings associated with using them. As a solution, di erent tool frameworks have been proposed to simplify and reduce the cost of developments of DSLs. Developers of tool support for DSLs need to instantiate, customize or configure the framework for a particular DSL. There are di erent approaches for this. An approach is to use an application programming interface (API) and to extend the basic framework using an imperative programming language. An example of a tools which is based on this approach is Eclipse GEF. Another approach is to configure the framework using declarative languages that are independent of the underlying framework implementation. We believe this second approach can bring important benefits as this brings focus to specifying what should the tool be like instead of writing a program specifying how the tool achieves this functionality. In this thesis we explore this second approach. We use graph transformation as the basic approach to customize a domain-specific modeling (DSM) tool framework. The contributions of this thesis includes a comparison of di erent approaches for defining, representing and interchanging software modeling languages and models and a tool architecture for an open domain-specific modeling framework that e ciently integrates several model transformation components and visual editors. We also present several specific algorithms and tool components for DSM framework. These include an approach for graph query based on region operators and the star operator and an approach for reconciling models and diagrams after executing model transformation programs. We exemplify our approach with two case studies MICAS and EFCO. In these studies we show how our experimental modeling tool framework has been used to define tool environments for domain-specific languages.

Understanding the Racial Nature of Police and Immigrant Relations In Finland. The Case of Africans in Turku

The focus of this study is to examine the role of police and immigrants’ relations, as less is known about this process in the country. The studies were approached in two different ways. Firstly, an attempt was made to examine how immigrants view their encounters with the police. Secondly, the studies explored how aware the police are of immigrants’ experiences in their various encounters and interactions on the street level. An ancillary aim of the studies is to clarify, analyse and discuss how prejudice and stereotypes can be tackled, thereby contributing to the general debate about racism and discrimination for better ethnic relations in the country. The data in which this analysis was based is on a group of adults (n=88) from the total of 120 Africans questioned for the entire study (n=45) police cadets and (n=6) serving police officers from Turku. The present thesis is a compilation of five articles. A summary of each article findings follows, as the same data was used in all five studies. In the first study, a theoretical model was developed to examine the perceived knowledge of bias by immigrants resulting from race, culture and belief. This was also an attempt to explore whether this knowledge was predetermined in my attempt to classify and discuss as well as analyse the factors that may be influencing immigrants’ allegations of unfair treatment by the police in Turku. The main finding shows that in the first paper there was ignorance and naivety on the part of the police in their attitudes towards the African immigrant’s prior experiences with the police, and this may probably have resulted from stereotypes or their lack of experience as well as prior training with immigrants where these kinds of experience are rampant in the country (Egharevba, 2003 and 2004a). In exploring what leads to stereotypes, a working definition is the assumption that is prevalent among some segments of the population, including the police, that Finland is a homogenous country by employing certain conducts and behaviour towards ethnic and immigrant groups in the country. This to my understanding is stereotype. Historically this was true, but today the social topography of the country is changing and becoming even more complex. It is true that, on linguistic grounds, the country is multilingual, as there are a few recognised national minority languages (Swedish, Sami and Russian) as well as a number of immigrant languages including English. Apparently it is vital for the police to have a line of communication open when addressing the problem associated with immigrants in the country. The second paper moved a step further by examining African immigrants’ understanding of human rights as well as what human rights violation means or entails in their views as a result of their experiences with the police, both in Finland and in their country of origin. This approach became essential during the course of the study, especially when the participants were completing the questionnaire (N=88), where volunteers were solicited for a later date for an in-depth interview with the author. Many of the respondents came from countries where human rights are not well protected and seldom discussed publicly, therefore understanding their views on the subject can help to explain why some of the immigrants are sceptical about coming forward to report cases of batteries and assaults to the police, or even their experiences of being monitored in shopping malls in their new home and the reason behind their low level of trust in public authorities in Finland. The study showed that knowledge of human rights is notably low among some of the participants. The study also found that female respondents were less aware of human rights when compared with their male counterparts. This has resulted in some of the male participants focussing more on their traditional ways of thinking by not realising that they are in a new country where there is equality in sexes and lack of respect on gender terms is not condoned. The third paper focussed on the respondents’ experiences with the police in Turku and tried to explore police attitudes towards African immigrant clients, in addition to the role stereotype plays in police views of different cultures and how these views have impacted on immigrants’ views of discriminatory policing in Turku. The data is the same throughout the entire studies (n=88), except that some few participants were interviewed for the third paper thirty-five persons. The results showed that there is some bias in mass-media reports on the immigrants’ issues, due to selective portrayal of biases without much investigation being carried out before jumping to conclusions, especially when the issues at stake involve an immigrant (Egharevba, 2005a; Egharevba, 2004a and 2004b). In this vein, there was an allegation that the police are even biased while investigating cases of theft, especially if the stolen property is owned by an immigrant (Egharevba, 2006a, Egharevba, 2006b). One vital observation from the respondents’ various comments was that race has meaning in their encounters and interaction with the police in the country. This result led the author to conclude that the relation between the police and immigrants is still a challenge, as there is rampant fear and distrust towards the police by some segments of the participating respondents in the study. In the fourth paper the focus was on examining the respondents’ view of the police, with special emphasis on race and culture as well as the respondents’ perspective on police behaviour in Turku. This is because race, as it was relayed to me in the study, is a significant predictor of police perception (Egharevba, 2005a; Egharevba and Hannikianen, 2005). It is a known scientific fact that inter-group racial attitudes are the representation of group competition and perceived threat to power and status (Group-position theory). According to Blumer (1958) a sense of group threat is an essential element for the emergence of racial prejudice. Consequently, it was essential that we explored the existing relationship between the respondents and the police in order to have an understanding of this concept. The result indicates some local and international contextual issues and assumptions that were of importance tackling prejudice and discrimination as it exists within the police in the country. Moreover, we have to also remember that, for years, many of these African immigrants have been on the receiving end of unjust law enforcement in their various countries of origin, which has resulted in many of them feeling inferior and distrustful of the police even in their own country of origin. While discussing the issues of cultural difference and how it affects policing, we must also keep in mind the socio-cultural background of the participants, their level of language proficiency and educational background. The research data analysed in this study also confirmed the difficulties associated with cultural misunderstandings in interpreting issues and how these misunderstandings have affected police and immigrant relations in Finland. Finally, the fifth paper focussed on cadets’ attitudes towards African immigrants as well as serving police officers’ interaction with African clients. Secondly, the police level of awareness of African immigrants’ distrustfulness of their profession was unclear. For this reason, my questions in this fifth study examined the experiences and attitudes of police cadets and serving police officers as well as those of African immigrants in understanding how to improve this relationship in the country. The data was based on (n=88) immigrant participants, (n=45) police cadets and 6 serving police officers from the Turku police department. The result suggests that there is distrust of the police in the respondents’ interaction; this tends to have galvanised a heightened tension resulting from the lack of language proficiency (Egharevba and White, 2007; Egharevba and Hannikainen, 2005, and Egharevba, 2006b) The result also shows that the allegation of immigrants as being belittled by the police stems from the misconceptions of both parties as well as the notion of stop and search by the police in Turku. All these factors were observed to have contributed to the alleged police evasiveness and the lack of regular contact between the respondents and the police in their dealings. In other words, the police have only had job-related contact with many of the participants in the present study. The results also demonstrated the complexities caused by the low level of education among some of the African immigrants in their understanding about the Finnish culture, norms and values in the country. Thus, the framework constructed in these studies embodies diversity in national culture as well as the need for a further research study with a greater number of respondents (both from the police and immigrant/majority groups), in order to explore the different role cultures play in immigrant and majority citizens’ understanding of police work.