Globalization has opened new frontiers for business enterprises and human communication. There is an information explosion that necessitates huge amounts of information to be speedily processed and acted upon. Information Systems aim to facilitate human decision-making by retrieving context-sensitive information, making implicit knowledge explicit and to reuse the knowledge that has already been discovered. A possible answer to meet these goals is the use of Ontology. Ontology has been studied for a long time in the fields of AI, Logic and Linguistics. Current state-of-the art research in Information Systems has focused on the use of ontologies. However, there remain many obstacles for the practical and commercial use of ontologies for Information Systems. One such obstacle is that current Information System designers lack the know-how to successfully design an ontology. Current ontology design methodologies are difficult to use by Information Systems designers having little theoretical knowledge of ontology modeling. Another issue is that business enterprises mostly function in the social domain where there are complex underlying semantics and pragmatics involved. This research tries to solve some of these issues by proposing the Ontology for Information Systems (O4IS) Design Methodology for the design of ontologies for Information Systems. The research also proposes a Unified Semantic Procedural Pragmatic Design for explicit conceptualization of the semantics and pragmatics of a domain. We further propose a set of Semantic Analysis Representations as conceptual analysis patterns for semantic relationship identification. We also put forward the Dual Conceptual Representation so that the designed ontology is understandable by both humans and machines. Finally, a logical architecture for domain ontology design called the Multi-Tier Domain Ontology Architecture is proposed. We follow the design science in Information Systems research methodology. The proposed solutions are demonstrated through two case studies carried out in different domains. The first case study is that of business contract knowledge management, which focuses on the analysis of contractual obligations, their fulfillment via the performance of business actions, and the deduction of a contract compliant workflow model. The second case study relates to military operations simulations and modeling. The emphasis in this case study is to analyze, model and represent the domain knowledge as a re-usable resource to be used in a number of modeling and simulation applications. / QC 20100803

Massively parallel architectures are gaining momentum thanks to the opportunities for both high performance and low-power consumption. After being a matter for experiments in academia, manycores are now in production and industries with products that rely on high performance, for example, in the field of telecom and radar, are in the process of adopting them. In order to encourage adoption, there is a need for compiler technologies that can make appropriate use of the opportunities of these architectures. Programming languages with constructs that the compiler can easily identify as parallel are a reasonable starting point for these technologies. For example, in CAL (Caltrop Actor Language) [1], a program is organized as a network of actors and these actors can be executed in parallel. As a first approach, if there were enough processors for all actors in the network, each actor could be mapped on to one processor. Writing a compiler is a comprehensive software engineering project and there are a number of tools, data structures and algorithms that have to be chosen and that facilitate the task. Some tools are lexer and parser generators, some data structures are abstract syntax trees and intermediate representations for code generation, some of the algorithms are for analyzing properties of the program and for translating between different data structures. LLVM (Low Level Virtual Machine) [7] is a compiler infrastructure that offers a well defined language and target independent intermediate representation for programs. LLVM also provides compile-time, link-time and run-time optimization. This report discusses the front end of a compiler for CAL, including generation of code to LLVM. The work described in this report translates CAL programs into LLVM's intermediate representation and includes a runtime system that handles intercommunication links between actors and actor scheduling. This is an intermediate step in generating LLVM code for parallel architectures. With this compiler, application developers that need to evaluate different parallel platforms will be able to have their applications written in CAL and only the back-end, form LLVM to the platform, will need to be re-programmed.

Denna rapport syftar till att undersöka hur Siemens Industrial Turbomachinery AB i Finspång har valt att arbeta med processförbättringsmetoden Six Sigma, som är en mycket populär metod för att genomföra processförbättringsprojekt och mycket attraktiv för företag som ska arbeta med sådana.   Metoden bygger på statistik och att fatta välinformerade beslut. Detta görs genom att samla team-medlemmar från den process som ska förbättras och genom att göra mätningar inom sagda process.  Man börjar ett projekt genom att definiera problemet, går vidare med att mäta den aktuella processen, analyserar sedan de data man fått in, försöker komma på lösningar och slutligen implementerar man den lösning man bedömt som bäst.   Vi gjorde en kvalitativ fallstudie på företaget och intervjuade över ett dussin personer som hade olika grader av bekanthet med Six Sigma, för att få utsagor från personer med olika perspektiv på metoden.  Av detta fick vi veta att de som har varit med i ett förbättringsprojekt eller har utbildat sig inom Six Sigma var begränsade till en knapp tiondel av de anställda på företaget, men att de som var insatta i metoden var ganska väl insatta.   Vi går igenom ett antal faktorer inom Six Sigma och projekt baserade på metoden och ställer dessa mot relaterade teorier så att vi kan dra slutsatser.   Slutligen tar vi upp våra slutsatser och avslutande reflektioner där vi kommer fram till att mycket av problemen med metoden ligger i om man inte använder den fullt ut utan försöker klara sig utan att ge de resurser som krävs men att metoden annars ger ett stabilt ramverk för processutveckling.

<p>An event monitor is a part of a real-time system that can be used to</p><p>check if the system follows the specifications posed on its behavior. This dissertation covers an approach to event monitoring where such specifications (represented by time constraints) are represented by graphs.</p><p>Not much work has previously been done on designing and implementing constraint graph-based event monitors. In this work, we focus on presenting an extensible design for such an event monitor. We also evaluate different data structure types (linked lists, dynamic arrays, and static arrays) that can be used for representing the constraint graphs internally. This is done by creating an event monitor implementation, and conducting a number of benchmarks where the time used by the monitor is measured.</p><p>The result is presented in the form of a design specification and a summary of the benchmark results. Dynamic arrays are found to be the generally most efficient, but advantages and disadvantages of all the data structure types are discussed.</p>

<p>När informationssystem ska utvecklas handlar det om att välja den systemtyp som lämpar sig allra bästa för uppgifterna. Främsta handlar det om att välja mellan COTS och in-house. Idag finns det inga modeller som avhandlar det specifika valet av systemtyp. Detta innebär att valet av system i många fall sker på ren chans.</p><p>Bristen på modeller och hjälpmedel för val av systemtyp innebär således att det uppstått en kunskapslucka som resultatet från arbetet är tänkt att fylla. I arbetet presenteras en modell för hur valet av systemtyp bör ske, vilken kombinerar befintlig teori inom området samt kompletterar med nytt. Framtagningen av modellen har baserats på litteraturstudier men även observationer samt intervjuer, utförda på ett företag som står inför utmaningen att välja just systemtyp. Modellen har sedan testats för att avgöra dess kvalitet. Resultatet visar att modellen med fördel kan användas vid valet av systemtyp, den bistår utvecklare med riktlinjer över arbetet bakom valet av systemtyp bör föras.</p>

<p>Denna rapport innehåller en undersökning av vilka aspekter som är avgörande för att en systemutvecklingsprocess leder till slutprodukter med väl användbara gränssnitt. Rapporten innehåller dessutom ett antal riktlinjer för hur en systemutvecklingsmetod kan förbättras med avseende på användbarhet.</p><p>För att genomföra undersökningen har jag valt att utvärdera hur två systemutvecklingsmetoder, SSADM och IDM, hanterar användbarhetsaspekter. Jag har utvärderat dessa metoder utifrån följande frågeställningar: om de stödjer gränssnittsdesign, om de är iterativt användarorienterade, om de involverar designers med speciella gränssnittskunskaper, om de har fokus på användarna, om de innehåller tidiga och kontinuerliga tester av användbarhet, om de har en integrerad utveckling samt om de innehåller stöd för prototyping. Det som framkommer i rapporten är att ovanstående frågeställningar till viss del är avgörande för att säkerställa slutprodukter med väl användbara gränssnitt. Förutom ovanstående aspekter är det dessutom av vikt att ta hänsyn till användbarhet i samband med kravinsamling och kravanalys. Rapporten avslutas med ett antal riktlinjer att ha i åtanke vid design av slutprodukter med användbara gränssnitt.</p>

<p>Rapporten behandlar en undersökning av SET (Secure Electronic Transacion) vilket är ett system för säkra kontokortsbetalningar över Internet. Min undersökning har inkluderat företag och banker som erbjuder sina kunder möjligheten att betala varor med SET. Rapporten tar upp vilka åsikter och erfarenheter parterna har när det gäller SET och dess framtid som betalningssätt.</p><p>I rapporten behandlas Internet och dess uppbyggnad, elektronisk handel och olika sätt att betala varor som beställs via Internet, kryptering och vad som krävs för att ett betalningssystem skall anses säkert samt SET och dess funktioner vid betalning över Internet.</p><p>Jag har genom litteraturstudier, intervjuer och enkäter kommit fram till att SET är en bra teknik, men som ännu inte slagit igenom hos användarna. Bankerna tror på SET som betalningssystem, medan företagen anser att SET troligtvis spelat ut sin rätt.</p>

<p>En utveckling i dagens systemutvecklingsprojekt går mot att använda flera olika perspektiv vid utformning av ett informationssystem, exempelvis social kontext och sociologiska- och psykologiska aspekter. Kritik som idag riktas mot informationssystem är att systemen inte motsvarar de krav som finns från de olika intressenterna. Denna rapporten innehåller en presentation av de mål och egenskaper som anses vara viktiga vid utformning av ett informationssystem, för såväl systemutvecklare som användare. Mitt arbete har omfattat en empirisk undersökning samt en litteraturstudie. Den empiriska undersökningen har innefattat tre stycken djupintervjuer med systemutvecklare och användare av informationssystem. Syftet med undersökningen har varit att göra en jämförelse mellan hur systemutvecklare och användare tänker kring begreppet mål samt vilka egenskaper som anses vara viktiga. Undersökningen har visat att det finns både likheter och skillnader i litteraturens syn på begreppen mål och egenskaper jämfört med hur det praktiskt fungerar ute i arbetslivet.</p>

<p>Denna rapport ingår tillsammans med en muntlig presentation som examination i kursen Examensarbete i ADB, 20p vid Högskolan i Skövde. Kursen ingår som slutmoment på det systemvetenskapliga programmet.</p><p>Undersökningen, vilken genomfördes i samarbete med företaget Arthur Andersen, hade som syfte att utvärdera verktyg och metoder för riskanalys av verksamheters informationssäkerhet.</p><p>Medelst intervjuer av 5 experter inom området, samt med en dokumentstudie, utvärderades problemställningen kvalitativt. Resultatet blev en analys av existerande verktyg och metoder för riskanalys, med avseende på deras olika fördelar och nackdelar, samt deras resultat.</p>

<p>I denna rapport behandlas en strategi för systemutveckling som kallas för evolutionär prototyping. Evolutionär prototyping innebär att utveckla system i inkrementella bitar där system får växa till ett driftsystem för vidare evolution. Det finns också andra former av prototyping som explorativ, experimentell och kooperativ prototyping där prototyperna kastas bort och ett nytt system konstrueras. Många metodologier finns för att stödja processen att utveckla informationssystem. På grund av tillgången till CASE-verktyg och fjärde generationens utvecklingsverktyg har evolutionär prototyping blivit allt mer populärt i praktiken. Frågan som driver undersökningen är: Hur hanteras evolutionär prototyping i metodologier för systemutveckling? För att svara på denna fråga analyseras metodologierna RAD och DSDM med litteraturstudier. Metodologiernas perspektiv, arbetsmodell och intressentmodell beskrivs och analyseras. I metodologierna finns rekommendationer vad gäller faser, kontrollmekanismer, användarmedverkan, konstruktion och installation vilka har koppling till evolutionär prototyping. Metodologierna är överens om många rekommendationer som konstant användarmedverkan, mindre team och att bygga väl strukturerade prototyper. Det förekommer skillnader i metodologiernas perspektiv som gör att det också finns viktiga kontraster, så som hur metodologierna ser på leveranser och utnyttjandet av CASE-verktyg</p>