Privacy is a topic of ever-increasing interest in the modern, connected world. With the advent of smart phones, the boundary between internet and the personal sphere has become less distinct. Most users of smart phones have very vague ideas of how various apps intrude on their privacy. At Karlstad University, one of the research groups at the Department of Computer Science is dedicated to research on privacy and protection thereof in general, and one research project is about increasing knowledge of how apps collect personal information about its users. This master thesis is about the development of a visualization tool that processes data collected from Android devices by a surveillance app developed within the aforementioned research project. The app keeps record of the usage of what in Android is termed Dangerous Permissions. The info collected is when such an event occurs, which app has requested the permission, the permission requested as well as the geographical location at the time of the event. Over time, more than 2 million such events has been recorded and collected in this manner. Previously, two student projects have developed different web based tools for visualizing the data collected. With this thesis work, a desktop application was developed; a visualization tool that imports the aforementioned data into a database connected to the tool. The graphical user interface of the visualization tool allows an analyst or scientific researcher to do detailed and fine-grained searches in that database and present the result in various charts, thereby visualizing how the apps ask for information that can be used for identifying and surveying individuals, thereby intruding on their privacy. The visualization tool is carefully designed with the aim for it to be scalable and extendable, through an architecture that allows for continuous development of further visualizations as well as other analysis functionality. / Frågan om personlig integritet får allt större betydelse den moderna, uppkopplade världen. Med smartmobilernas intåg har gränsen mellan internet och den privata sfären blivit allt mindre distinkt. Det stora flertalet användare av smartmobiler har mycket vaga begrepp om hur olika appar inkräktar på den personliga integriteten. Vid Karlstads Universitet och Avdelningen för Datavetenskap fokuserar forskningsgruppen PriSec – Privacy and Security – bl.a. på att förbättra den personliga integriteten. Ett av forskningsprojekten syftar till att öka medvetenheten om hur appar i smartmobiler och liknande, samlar in information om dess användare. Denna masteruppsats beskriver utvecklingen av ett verktyg för visualisering av data som insamlats från smartmobiler, läsplattor, etc., med operativsystemet Android. Detta har skett medelst en övervakningsapp som utvecklats inom det ovan nämnda forskningsprojektet. Appen i fråga håller reda på användningen av det som i Android kallas ”Dangerous Permissions” (eller på svenska: farliga privilegier). Den information som samlas in är vilka privilegier det gäller, vilka appar som använder dessa farliga privilegier, när detta sker och var mobilen befinner sig vid det aktuella tillfället. Mer än 2 miljoner sådana händelser har registrerats och samlats in. Tidigare har två studentprojekt utvecklat olika web-baserade verktyg för att visualisera det data som insamlats på detta sätt. I detta uppsatsarbete har en desktopapplikation utvecklats – ett verktyg för visualisering som importerar den nyss nämnda datan till en databas ansluten till verktyget. Via verktygets grafiska användargränssnitt kan analytiker och forskare göra precisionssökningar i databasen och presentera resultatet i olika diagram, på så sätt visualiserande hur apparna använder information som kan användas för att identifiera och kartlägga den person som använder smartmobilen i fråga, vilket inkräktar på deras personliga integritet. Visualiseringsverktyget är noggrant designat med målet att det skall vara skalbart och utbyggbart, genom en arkitektur som tillåter fortgående utveckling – såväl av ytterligare visualiseringar som annan funktionalitet för analys av innehållet i databasen.

Ce travail de thèse se place dans le cadre d'une convention université/industrie de type CIFRE entre le CRAN et la scierie Siat-Braun. Le processus de transformation d'une scierie est divisé en deux parties. Tout d'abord, le parc à grumes tronçonne une grume en billons (bois ronds de longueur standard) qui sont triés en lots homogènes en dimensions et qualité. Ensuite, la ligne de sciage transforme ces billons en produits finis (sciages) également triés par dimensions et qualité. Le tri qualitatif des billons ayant une influence directe sur la qualité des produits finis vendus, les scieries visent à optimiser cette étape afin de réduire le taux de déclassement des produits finis. Dans cet objectif, la scierie Siat-Braun a investi dans un nouveau parc à grumes. Les travaux de cette thèse contribuent au développement et à la mise en oeuvre de ce système dédié au tri Qualité des billons. Le premier chapitre de ce mémoire positionne le projet dans la filière Bois puis explicite les contraintes et les besoins d'une scierie en termes de Qualité. Une étude bibliographique met en évidence les différents systèmes d'observation permettant la mesure des caractéristiques du bois dans le but de faire un classement qualité, aussi bien des billons que des produits finis. Le système d'observation choisi par notre partenaire industriel est ensuite présenté. L'objectif de la seconde partie du mémoire est d'expliciter et de définir la Qualité Billons pour le nouveau système de tri. Cette notion de qualité étant détenue par les opérateurs de tri, nous avons proposé d'extraire, de formaliser et de modéliser cette connaissance en utilisant la méthode NIAM-ORM. Cette méthode a permis d'obtenir deux ontologies structurées : la Qualité Billon et la Qualité Sciage que nous avons exploitées dans le chapitre 3 afin de mettre en avant 50 liens entre les deux qualités généralement appréhendées séparément. Cette étude a également permis d'extraire 34 critères pertinents pour spécifier la Qualité Billon en 9 classes, au regard de la Qualité Sciage. De plus, l'exploitation des modèles de connaissance fournit un paramétrage initial pour la mise en service du système d'observation (critères d'entrée, classes de sortie, seuils de décision). Ce paramétrage est alors éprouvé lors des premières exploitations. Les premiers tests sur les produits finis et l'exploitation des données délivrées par le capteur nous servent à valider et à affiner le paramétrage pour améliorer le classement des billons en fonction de la qualité des produits finis obtenus. Ces travaux de thèse ont donc permis de capitaliser la connaissance Experte des acteurs du projet puis d'obtenir une configuration initiale pertinente pour la première mise en service du système de tri. Les premières analyses ont permis d'améliorer le paramétrage du système de tri Qualité Billon. Dans un futur proche, nous envisageons d'approfondir l'analyse des données fournies par le système afin d'améliorer la sélection des critères pertinents / This study takes place in the frame of a university/industry convention between the CRAN and Siat-Braun sawmill. Sawmill transformation process is divided in two parts. First, the log yard cuts down stem in logs (round timber with standard length) which are sorted out in homogeneous batches by dimensions and quality. Then, the sawing line transforms those logs in end products sorted out by dimensions and quality too. The qualitative sort out of log has a direct impact on sold product quality, so sawmills try to optimize this production step in order to reduce the product downgrading rate. In this goal, Siat-Braun sawmill invested in a new log yard. This study contributes to the development and the commissioning of this system dedicated to log Quality sort out. The first chapter of this thesis places the project into wood industry then explicates sawmill constraints and needs in term of Quality. A literature review points out different observation systems allowing measurement of wood characteristics in order to make a product and log quality rankings. Observation system chosen by our industrial partner is then presented. The objective of the second chapter is to clarify and defines Log Quality to the new log yard. This quality notion being held by the sorting operator, we suggested extract, formalize and model this knowledge using NIAM-ORM method. This method allowed obtaining two structured ontologies: the Log Quality and the Product Quality which we used in the chapter three in order to underlying 50 links between both qualities usually tackle separately. This study allowed also extracting 34 relevant criteria to specify Log Quality in 9 classes, regarding Product Quality. In addition, knowledge model analysis gives an initial set up to the first commissioning of the Observation system (input criteria, output classes, decision thresholds). This set up is so proven during system exploitation. The first tests on end products and data processing delivered by the sensor are used to validate and refine the set up to improve the log sort out regarding the obtained product quality. So, this study allowed capitalizing Expert knowledge of the project actors and then, obtaining a relevant initial configuration of the sort system for the first use. First analysis allowed improving Log Quality sort out system set up. In a near future, we want to go deeper in analysis of data given by the system in order to improve relevant criteria selection

A utilização de modelos orientados a objetos na especificação de sistemas de informação promove mudanças radicais na maneira como estes são analisados, projetados e implementados. No entanto, certos aspectos relacionados evolução dinâmica do comportamento e dos valores das propriedades dos objetos não são plenamente satisfeitos através destes modelos. TF-ORM introduz novos conceitos, estendendo o modelo de orientação a objetos a fim de suportá-los. Advindo do modelo de objetos com papeis (ORM), TF-ORM divide o comportamento dos objetos nos diversos papeis que estes podem desempenhar. São introduzidos conceitos para modelagem dos aspectos tempo-dependentes das aplicações, incluindo utilização de marcas de tempo associadas aos objetos e instancias de papeis, e aos valores das propriedades com variação dinâmica, bem como a definidas de domínios temporais e uma linguagem de lógica temporal. TF-ORM permite a definição de restrições sobre o comportamento dinâmico das instâncias, através de regras de transição de estado, e sobre os valores das propriedades, através de regras de restrição de integridade. Uma abordagem de implementação TF-ORM deve levar em consideração o conjunto destes aspectos, em especial: (i) suporte ao conceito de papeis, permitindo a criação de instâncias multiples e paralelas; (ii) suporte aos conceitos tempo-dependentes, incluindo a definição de timestamps e domínios de dados temporais; e (iii) suporte ao mecanismo de regras de transição de estado e regras de integridade. Este trabalho apresenta um estudo para implementação do modelo TFORM sobre o sistema de gerencia de banco de dados orientado a objetos 02, o qual suporta plenamente os conceitos do modelo de orientação a objetos e os conceitos básicos de bancos de dados de segunda geração. Dentro deste estudo são analisadas as possibilidades de mapeamento do modelo de objetos com papeis para o modelo tradicional de orientação a objetos. Da mesma forma, requisitos para implementação de aspectos temporais são analisados. O modelo de regras TF-ORM. baseado no estudo de diversos modelos de implementação, e mapeado para um modelo de regras E-C-A (evento-condicaoacao), as quais permitem a transformação do 02 em um sistema de bancos de dados ativo, capaz de responder a estímulos não diretamente ligados a requisições de usuários. A abordagem de implementação apresentada permite a especificação de grande parte da funcionalidade do modelo TF-ORM. A fim de certificar sua correção, e proposta uma ferramenta de tradução e desenvolvido um estudo de caso utilizando notação gráfica para especificação de requisitos TF-ORM. / The information systems' requirements specification model TF-ORM extends the object-oriented model, splitting the object behavior in different roles that it can perform. In addition, introduces the support to dynamic properties, temporal domains, state transition rules, and constraints. This work presents a TF-ORM implementation approach to the object-oriented database management system 02. The use of object-oriented models in information systems" specification radically changes the manner in which this systems are analyzed. designed, and implemented. However, some aspects related to dynamic behavior and property value evolution are not fully satisfied through these models. TF-ORM introduces a set of new concepts, extending object-oriented model to support these aspects. Originated in the object with roles model (ORM), TF-ORM divides the objects behavior in the different roles that it can perform. Are introduced concepts to model time-dependent aspects, including timestamps associated to objects and roles instances. and to values of dynamic properties. as well as the temporal domain specification and a temporal logic language are supported. TF-ORM allows the definition of constraints over the dynamic behavior of the instances, through state transition rules, and over the property values, through integrity constraints. A TF-ORM implementation approach must consider all of these aspects, specially: (i) support to roles concept, allowing the creation of multiple and parallel instances; (ii) support to time-dependents concepts, including timestamps definition and temporal data domains; and (iii) support to state transition rules and integrity constraints. This work presents a study to implement the TF-ORM model over 02, an object-oriented database management system that supports entirely object-oriented and databases' second generation requirements. This study analyses the possibilities to mapping roles to traditional object-oriented model, and temporal aspects implementation requirements. The TF-ORM rules model, based on the study of many implementation models, is mapped to a E-C-A (event-condition-action) rules model. E-C-A rules allow transforming 02 in an active database, able to answer impulses not directly generated by users' requirements. The implementation approach presented allows the specification of multiples aspects of the TF-ORM functionality. To certificate its correctness, is proposed a translate tool, and developed a study of case, using a graphical notation to TF-ORM requirements specification.

Jämförelse mellan hur huvudpersonen i böckerna om Arn av Jan Guillou och huvudpersonen i böckerna om Röde Orm av Frans G. Bengtsson hanterar mötet med en för deras tid främmande kultur och religion.

När man kombinerar ett objektorienterat programmeringsspråk och en relationsdatabas uppstår en del problem för utvecklare eftersom objektorienterade programmeringsspråk och relationsdatabaser har olika fokus, objektorienterade programmeringsspråk fokuserar på att avbilda verkliga objekt och relationsdatabaser fokuserar på data. De problem som uppstår kallas med ett samlingsnamn för object-relational mismatch. Det finns flertalet ramverk för att hantera dessa problem. Ett av dem är Entity Framework.Syftet med detta projekt var att utvärdera hur utvecklare tycker att Entity Framework fungerar för att lösa problematiken runt object-relational mismatch, hur det är för utvecklare att lära sig använda Entity Framework samt hur tillgången på inlärningsmaterial är.Under vår studie har vi lärt oss använda Entity Framework samtidigt som vi gjort en studie av tillgången på inlärningsmaterial. Vi har också byggt om en applikation så att den använder Entity Framework. Vi har jämfört den ombyggda applikationen med den gamla applikationen för att kunna se vilken skillnad som Entity Framework bidrog till.Vi kom fram till att Entity Framework hanterar object-relational mismatch på ett bra sätt som bland annat gör att utvecklingsprocessen kortas ner då inte lika mycket kod behöver skrivas. Utvecklare med tidigare kunskaper i .NET-programmering upplever att det är lätt att lära sig Entity Framework. Att det upplevs lätt att lära sig Entity Framework hänger förmodligen ihop med att tillgången på inlärningsmaterial är god.

Electronic services have become a vital part in the implementation of electronic government. Government electronic services are significant tools for effective cooperation in any country between government, authorities, citizens, organisations, and so on. In order to implement these services it is necessary to know possible barriers and obstacles – factors, which can influence on the implementation process. Study in this field of research showed that a well-structured list of the factors that can influence on this implementation process is absent now. The purpose of this research is to identify and collect, analyse and structure different factors that can influence the implementation process of electronic government services. The collected list of factors have studied in the case of Ukraine. This research was conducted within the scope of Master’s level program in Linnaeus University, Sweden. In this research was used the mix method approach. The qualitative study was conducting through literature review and six interviews with people related to electronic government services. At the same time, as quantitative study was a survey with 131 answers from citizens. For analysing and structuring were using the Onion Ring Model of electronic government systems (Heeks, 2006) and the STEPLED analysis. The philosophical worldview of the research paper is social constructivism. During the research, I have studied more than 200 factors from different works of authors, which worked in this field. All collected factors were analysed and adapted in accordance to the Onion Ring Model. In addition, this model was modified by adding interlayers (additional rings) and extended in the Environment ring (with the usage of the STEPLED analysis). From the collected list were highlighted factors that influence on the implementation process in the case of Ukraine.

Las capas de abstracción son componentes de software que permiten encapsular funcionalidades de un sistema permitiendo la reutilización de componentes a través de una interfaz de programación estandarizada. El objetivo del presente trabajo de título es desarrollar 2 capas de abstracción que permitan agilizar los tiempos de desarrollo de aplicaciones Web bajo la arquitectura J2EE. Estas capas están enfocadas al desarrollo de componentes EJB, y la otra para el desarrollo de capas de persistencia vía JDBC. El surgimiento de estas capas se plantea debido a los largos tiempos de desarrollo que se tienen al usar EJB y JDBC directo para desarrollar servicios y persistencia. Lo anterior se justi ca por varias razones, por ejemplo, en el caso de los servicios EJB existe una gran cantidad de archivos que se tienen que manipular para hacer un EJB, lo cual trae multiples con ictos en el sistema de control de versiones cuando trabajan varios desarrolladores simultáneamente en la capa de servicios, o bien la di cultad para tener traza de errores cuando se tienen problemas de con guración de estos archivos y otras clases de problemas referidos a la falta de automatización de ciertos procesos repetitivos de invocación de implementaciones nales y manejo de excepciones. En el caso de la persistencia, los problemas típicos que se plantean son las tareas repetitivas y conducentes a error, como por ejemplo, obtención y cierre de los recursos, consultas mal escritas, validaciones de largo, tipo y otras que no se efectúan antes de la ejecución de consultas, complejidad y código poco mantenible para hacer consultas con ltros dinámicos, la asociación de valores de los resultados de las consultas a objetos de negocios muchas veces se ve replicada, etc. Todo lo anterior induce la necesidad de crear una abstracción que permita hacer todas estas tareas de una manera lo más simple posible tratando de no perder algunas de las características que tienen estas tecnologías. El resultado nal corresponde a 2 capas de abstracción, la primera tiende a facilitar la creación de EJB, de manera de que el desarrollo de estos mismos involucre menos procesos de con guración y manejo de archivos, como a su vez tener cierto nivel de independencia de la tecnología EJB en términos de encapsularla al desarrollador. La segunda por su parte, permite encapsular las tareas de obtención de recursos y conectividad a nivel de aplicación contra la base de datos, en conjunto con la generación y ejecución de consultas SQL y la transformación de datos de objetos de negocios a datos del modelo relacional. Como resultado de este trabajo, a través del uso de métricas de comparación, se pueden notar las diferencias en tiempos de desarrollo, facilidad de mantención y complejidad entre una solución usando capas de abstracción versus una solución sin ellas. Cabe destacar que ambas capas de abstracción en de nitiva son capas generadoras de código, con la característica que el código generado se hace en tiempo de ejecución, lo cual tiene el bene cio que no es necesario tener código generado dentro del código de las aplicaciones que utilicen estas capas de abstracción.

A utilização de modelos orientados a objetos na especificação de sistemas de informação promove mudanças radicais na maneira como estes são analisados, projetados e implementados. No entanto, certos aspectos relacionados evolução dinâmica do comportamento e dos valores das propriedades dos objetos não são plenamente satisfeitos através destes modelos. TF-ORM introduz novos conceitos, estendendo o modelo de orientação a objetos a fim de suportá-los. Advindo do modelo de objetos com papeis (ORM), TF-ORM divide o comportamento dos objetos nos diversos papeis que estes podem desempenhar. São introduzidos conceitos para modelagem dos aspectos tempo-dependentes das aplicações, incluindo utilização de marcas de tempo associadas aos objetos e instancias de papeis, e aos valores das propriedades com variação dinâmica, bem como a definidas de domínios temporais e uma linguagem de lógica temporal. TF-ORM permite a definição de restrições sobre o comportamento dinâmico das instâncias, através de regras de transição de estado, e sobre os valores das propriedades, através de regras de restrição de integridade. Uma abordagem de implementação TF-ORM deve levar em consideração o conjunto destes aspectos, em especial: (i) suporte ao conceito de papeis, permitindo a criação de instâncias multiples e paralelas; (ii) suporte aos conceitos tempo-dependentes, incluindo a definição de timestamps e domínios de dados temporais; e (iii) suporte ao mecanismo de regras de transição de estado e regras de integridade. Este trabalho apresenta um estudo para implementação do modelo TFORM sobre o sistema de gerencia de banco de dados orientado a objetos 02, o qual suporta plenamente os conceitos do modelo de orientação a objetos e os conceitos básicos de bancos de dados de segunda geração. Dentro deste estudo são analisadas as possibilidades de mapeamento do modelo de objetos com papeis para o modelo tradicional de orientação a objetos. Da mesma forma, requisitos para implementação de aspectos temporais são analisados. O modelo de regras TF-ORM. baseado no estudo de diversos modelos de implementação, e mapeado para um modelo de regras E-C-A (evento-condicaoacao), as quais permitem a transformação do 02 em um sistema de bancos de dados ativo, capaz de responder a estímulos não diretamente ligados a requisições de usuários. A abordagem de implementação apresentada permite a especificação de grande parte da funcionalidade do modelo TF-ORM. A fim de certificar sua correção, e proposta uma ferramenta de tradução e desenvolvido um estudo de caso utilizando notação gráfica para especificação de requisitos TF-ORM. / The information systems' requirements specification model TF-ORM extends the object-oriented model, splitting the object behavior in different roles that it can perform. In addition, introduces the support to dynamic properties, temporal domains, state transition rules, and constraints. This work presents a TF-ORM implementation approach to the object-oriented database management system 02. The use of object-oriented models in information systems" specification radically changes the manner in which this systems are analyzed. designed, and implemented. However, some aspects related to dynamic behavior and property value evolution are not fully satisfied through these models. TF-ORM introduces a set of new concepts, extending object-oriented model to support these aspects. Originated in the object with roles model (ORM), TF-ORM divides the objects behavior in the different roles that it can perform. Are introduced concepts to model time-dependent aspects, including timestamps associated to objects and roles instances. and to values of dynamic properties. as well as the temporal domain specification and a temporal logic language are supported. TF-ORM allows the definition of constraints over the dynamic behavior of the instances, through state transition rules, and over the property values, through integrity constraints. A TF-ORM implementation approach must consider all of these aspects, specially: (i) support to roles concept, allowing the creation of multiple and parallel instances; (ii) support to time-dependents concepts, including timestamps definition and temporal data domains; and (iii) support to state transition rules and integrity constraints. This work presents a study to implement the TF-ORM model over 02, an object-oriented database management system that supports entirely object-oriented and databases' second generation requirements. This study analyses the possibilities to mapping roles to traditional object-oriented model, and temporal aspects implementation requirements. The TF-ORM rules model, based on the study of many implementation models, is mapped to a E-C-A (event-condition-action) rules model. E-C-A rules allow transforming 02 in an active database, able to answer impulses not directly generated by users' requirements. The implementation approach presented allows the specification of multiples aspects of the TF-ORM functionality. To certificate its correctness, is proposed a translate tool, and developed a study of case, using a graphical notation to TF-ORM requirements specification.

A utilização de modelos orientados a objetos na especificação de sistemas de informação promove mudanças radicais na maneira como estes são analisados, projetados e implementados. No entanto, certos aspectos relacionados evolução dinâmica do comportamento e dos valores das propriedades dos objetos não são plenamente satisfeitos através destes modelos. TF-ORM introduz novos conceitos, estendendo o modelo de orientação a objetos a fim de suportá-los. Advindo do modelo de objetos com papeis (ORM), TF-ORM divide o comportamento dos objetos nos diversos papeis que estes podem desempenhar. São introduzidos conceitos para modelagem dos aspectos tempo-dependentes das aplicações, incluindo utilização de marcas de tempo associadas aos objetos e instancias de papeis, e aos valores das propriedades com variação dinâmica, bem como a definidas de domínios temporais e uma linguagem de lógica temporal. TF-ORM permite a definição de restrições sobre o comportamento dinâmico das instâncias, através de regras de transição de estado, e sobre os valores das propriedades, através de regras de restrição de integridade. Uma abordagem de implementação TF-ORM deve levar em consideração o conjunto destes aspectos, em especial: (i) suporte ao conceito de papeis, permitindo a criação de instâncias multiples e paralelas; (ii) suporte aos conceitos tempo-dependentes, incluindo a definição de timestamps e domínios de dados temporais; e (iii) suporte ao mecanismo de regras de transição de estado e regras de integridade. Este trabalho apresenta um estudo para implementação do modelo TFORM sobre o sistema de gerencia de banco de dados orientado a objetos 02, o qual suporta plenamente os conceitos do modelo de orientação a objetos e os conceitos básicos de bancos de dados de segunda geração. Dentro deste estudo são analisadas as possibilidades de mapeamento do modelo de objetos com papeis para o modelo tradicional de orientação a objetos. Da mesma forma, requisitos para implementação de aspectos temporais são analisados. O modelo de regras TF-ORM. baseado no estudo de diversos modelos de implementação, e mapeado para um modelo de regras E-C-A (evento-condicaoacao), as quais permitem a transformação do 02 em um sistema de bancos de dados ativo, capaz de responder a estímulos não diretamente ligados a requisições de usuários. A abordagem de implementação apresentada permite a especificação de grande parte da funcionalidade do modelo TF-ORM. A fim de certificar sua correção, e proposta uma ferramenta de tradução e desenvolvido um estudo de caso utilizando notação gráfica para especificação de requisitos TF-ORM. / The information systems' requirements specification model TF-ORM extends the object-oriented model, splitting the object behavior in different roles that it can perform. In addition, introduces the support to dynamic properties, temporal domains, state transition rules, and constraints. This work presents a TF-ORM implementation approach to the object-oriented database management system 02. The use of object-oriented models in information systems" specification radically changes the manner in which this systems are analyzed. designed, and implemented. However, some aspects related to dynamic behavior and property value evolution are not fully satisfied through these models. TF-ORM introduces a set of new concepts, extending object-oriented model to support these aspects. Originated in the object with roles model (ORM), TF-ORM divides the objects behavior in the different roles that it can perform. Are introduced concepts to model time-dependent aspects, including timestamps associated to objects and roles instances. and to values of dynamic properties. as well as the temporal domain specification and a temporal logic language are supported. TF-ORM allows the definition of constraints over the dynamic behavior of the instances, through state transition rules, and over the property values, through integrity constraints. A TF-ORM implementation approach must consider all of these aspects, specially: (i) support to roles concept, allowing the creation of multiple and parallel instances; (ii) support to time-dependents concepts, including timestamps definition and temporal data domains; and (iii) support to state transition rules and integrity constraints. This work presents a study to implement the TF-ORM model over 02, an object-oriented database management system that supports entirely object-oriented and databases' second generation requirements. This study analyses the possibilities to mapping roles to traditional object-oriented model, and temporal aspects implementation requirements. The TF-ORM rules model, based on the study of many implementation models, is mapped to a E-C-A (event-condition-action) rules model. E-C-A rules allow transforming 02 in an active database, able to answer impulses not directly generated by users' requirements. The implementation approach presented allows the specification of multiples aspects of the TF-ORM functionality. To certificate its correctness, is proposed a translate tool, and developed a study of case, using a graphical notation to TF-ORM requirements specification.

Kor inom mjölkindustrin drabbas ofta av juverinflammationen mastit, som orsakas av en mängd olika bakterier. Eftersom olika bakterier kräver olika behandlingsplaner finns ett behov att identifiera vilken bakterie som har orsakat mastiten. I nuläget finns två sätt att göra detta på, skicka in prover till en veterinär eller utbilda personal på plats för att analysera prover. Båda dessa alternativ är tids- och resurskrävande och kan leda till att mjölkföretagarna väljer att försöka behandla sina kor med antibiotika eller andra onödiga och potentiellt ohållbara metoder. Denna rapport beskriver det arbete som utförts av sju studenter under vårterminen 2018 i samband med kursen TDDD96 - Kandidatprojekt i programvaruutveckling. I projektet utvecklades en prototyp för ett system som med hjälp av ett neuralt nätverk klassificerar bakterier hos mastitdrabbade kor utifrån bilder på bakterieodlingar. Som gränssnitt mellan mjölkföretagare och klassificerare utvecklades en Android-applikation där slutanvändaren lätt kan ta bilder och mata in relevant information för att sedan skicka dessa till en server. Under implementationen av produkten delades projektgruppen in i tre delgrupper, varje delgrupp arbetade på ett av de tre delsystemen applikation, server och klassificerare. Projektgruppen använde sig av en Scrum-liknande arbetsmetodik där utvecklingsfasen delades upp i olika sprints. Den klassificerare som tagits fram har lyckats få en klassifikationssäkerhet som är i underkant med veterinärerna. Dock har klassificeraren stor potential och kan utvecklas till att vara en bra lösning till det presenterade problemet inom mjölkindustrin.