Modeling information in software languages

Ohjelmiston kehitystyökalut käyttävät infromaatiota kehittäjän tuottamasta lähdekoodista. Informaatiota hyödynnetään ohjelmistoprojektin eri vaiheissa ja eri tarkoituksissa. Moderneissa ohjelmistoprojekteissa käytetyn informaation määrä voi kasvaa erittäin suureksi. Ohjelmistotyökaluilla on omat informaatiomallinsa ja käyttömekanisminsa. Informaation määrä sekä erilliset työkaluinformaatiomallit tekevät erittäin hankalaksi rakentaa joustavaa työkaluympäristöä, erityisesti ongelma-aluekohtaiseen ohjelmiston kehitysprosessiin. Tässä työssä on analysoitu perusinformaatiometamalleja Unified Modeling language kielestä, Python ohjelmointikielestä ja C++ ohjelmointikielestä. Metainformaation taso on rajoitettu rakenteelliselle tasolle. Ajettavat rakenteet on jätetty pois. ModelBase metamalli on yhdistetty olemassa olevista analysoiduista metamalleista. Tätä metamallia voidaan käyttää tulevaisuudessa ohjelmistotyökalujen kehitykseen.

On Commutation and Conjugacy of Rational Languages and the Fixed Point Method

The research on language equations has been active during last decades. Compared to the equations on words the equations on languages are much more difficult to solve. Even very simple equations that are easy to solve for words can be very hard for languages. In this thesis we study two of such equations, namely commutation and conjugacy equations. We study these equations on some limited special cases and compare some of these results to the solutions of corresponding equations on words. For both equations we study the maximal solutions, the centralizer and the conjugator. We present a fixed point method that we can use to search these maximal solutions and analyze the reasons why this method is not successful for all languages. We give also several examples to illustrate the behaviour of this method.

Indian female gurus in contemporary in Hinduism : a study of central aspects and expressions of their religious leadership

Den rikt utformade och komplexa hinduiska traditionen har hittills huvudsakligen tecknats av manliga forskare och det är främst manliga religiösa strävanden som har dokumenterats. Detta förhållande och de patriarkala synsätt som styr många auktoritativa heliga texter har bidragit till att skapa intrycket att hinduiska kvinnors religiösa erfarenheter antingen saknas eller är avsevärt begränsade. Denna studie lyfter fram det faktum att ett ökande antal indiska kvinnor inom dagens hinduism axlar publika roller som religiösa ledare. Med sitt framträdande utmanar många av dessa rådande sociala uppfattningar om kvinnors underordnade ställning och främjar därmed en förnyad medvetenhet av urgamla föreställningar om Gud som kvinna. Avhandlingen utforskar fenomenet kvinnliga guruer genom att belysa sjuttio guruers andliga karriär, med särskild fokus på fyra av dem. Några av de frågor som behandlas är följande: På vilket sätt är kvinnliga guruer del av den hinduiska traditionen? Vilka förväntningar ställs på dem? Hur legitimeras deras auktoritet som guruer? Hur handskas guruerna med sina dubbla roller som kvinnor och andliga ledare? Hur återspeglas gudinnans ställning, som i indisk religiositet ofta är central, i kvinnors faktiska verklighet? Bidrar kvinnliga guruer med sitt religiösa engagemang till att nyskapa och förändra den indiska religiösa diskursen och utövningen av religion?

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.

People and the intertidal : human induced changes, biodiversity loss, livelihood implications and management in the Western Indian Ocean

Vad händer i tidvattenzonen? Var går gränsen mellan land och hav, vad händer i tidvattenzonen och vem ansvarar för detta? I västra Indiska oceanen (VIO) kan avståndet mellan den lägsta nivån för lågvattnet och den högsta nivån för högvattnet vara flera kilometer och nivåskillnaderna upp till 6 meter och detta skapar ett stort och föränderligt område. Syftet med min avhandling är att öka förståelsen för tidvattenzonen i tropiska och subtropiska västra Indiska oceanen. Sammanfattningsvis visar mina studier att det finns ett mycket stort värde i den komplexa tidvattenzonen, men också att det här området hotas från både land och hav, genom t.ex. överexploatering, erosion och föroreningar. Uttnyttjandet av tidvattenzonen är stort och min avhandling har visat att aktiviteter såsom fiske i form av plocking av musslor och andra ryggradslösa djur och hamnaktiviteter påverkar den biologiska mångfalden negativt, vilket leder till försämrad levnadsstandard för resursutnyttjande människor i regionen. För att förbättra situationen krävs det mer forskning, miljöövervakning och bättre förvaltning av tidvattenzonen. Experter i regionen har rangordnat förslag på förvaltningsstrategier som skulle kunna testas för att förbättra miljön och skapa ett mer hållbart nyttjande. Avhandlingen visar även att det är möjligt att använda fjärranalysteknik såsom satellitbildsanalys för att kvantifiera mängden sjögräsvegetation (i form av biomassa), vilket kan ha stor betydelse för att förbättra storskalig miljöövervakning av kustnära naturtyper (habitat). I avhandlingsarbetet har jag använt mig av ett multidisciplinärt tillvägagångssätt och använt metoder såsom ekologisk och biologisk provtagning, intervjuer, observationer, diskussionsgrupper, frågeformulär och fjärranalys. Resultaten presenterade i denna avhandling ger en ökad kunskap om tidvattenzonen i utvecklingsländerna inom VIO-regionen som kan användas för att initiera och fortsätta att utveckla hållbara förvaltningsstrategier av biologiska resurser.

Strategic alliances as an international entry strategy: Finnish cleantech SMEs and the Indian market

The demand for environmental technologies, also called cleantech, is growing globally but the need is especially high in emerging markets such as India where the rising economy and rapid industrialisation have led to increasing energy needs and environmental degradation. The market is of great potential also for the Finnish cleantech cluster that represents advanced expertise in several fields of environmental technologies. However, most of the Finnish companies in the field are SMEs that face challenges in their internationalisation due to their limited resources. The objective of this study was to estimate, whether strategic alliances could be an efficient entry strategy for Finnish cleantech SMEs entering the Indian market. This was done by studying what are the key factors influencing the international entry mode decision of Finnish cleantech SMEs, what are the major factors affecting the entry of Finnish cleantech SMEs to the Indian market and how do Finnish cleantech SMEs use strategic alliances in their internationalisation process. The study was realised as a qualitative multi-case study through theme interviews of Finnish cleantech SME representatives. The results indicated that Finnish cleantech SMEs prefer to enter international markets through non-equity and collaborative modes of entry. These entry modes are chosen because of the small size and limited resources of companies, but also because they want to protect their innovative technologies from property rights violations. India is an attracting market for Finnish cleantech SMEs mainly because of its size and growth, but insufficient environmental regulation and high import tariffs have hindered entry to the market. Finnish cleantech SMEs commonly use strategic alliances in their internationalisation process but the use is rather one-sided. Most of the formed strategic alliances are low-commitment, international contractual agreement in sales and distribution. Alliance partner selection receives less attention. In the future, providing Finnish cleantech SMEs with international experience and training could help in diversifying the use of strategic alliances and increase their benefits to SME internationalisation.

Ohjeita Indian moottoripyörän käyttämistä, hoitoa ja tarkistamista varten

kuv., 15 x 22 cm

Anvisningar beträffande körning, underhåll och justering av Indian motorvelocipeder

kuv., 15 x 22 cm