QUEIROZ FILHO, Carlos Alberto Batista de. Um mecanismo de tratamento de excessões sensível ao contexo para sistemas ubíquos orientados a tarefas. 2012. 95 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2012. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-08T16:21:00Z No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-08T16:24:48Z (GMT) No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Made available in DSpace on 2016-06-08T16:24:48Z (GMT). No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) Previous issue date: 2012 / The main purpose of ubiquitous computing is to provide information and features needed to help people in their daily tasks, proactively and transparently, at any time and anywhere. The development of ubiquitous systems involves a set of challenging requirements, including: context awareness, which allows systems to adapt their behavior to respond appropriately in the face of environmental changes, and dependability, which is related to the ability of systems provide a service which offer strong indications that are reliable. Regarding the attributes of dependability, neglecting them can bring grievances from small to severe risks to the physical integrity of the users. Exception handling is a major fault tolerance techniques used in software development to achieve greater levels of dependability. This technique, even though it is widely used in traditional software development, it is still not widely used in the development of ubiquitous systems. This is due to challenging requirements and characteristics of this type of system, among which we highlight the sensitivity to the context and distribution, which can make the necessary possibilities of handling exceptions in a system as a whole is greater than the sum of possibilities for exception handling of the parts that compose it. Therefore, this dissertation aims to propose a mechanism for exception handling context-sensitive ubiquitous systems for task-oriented. The proposed mechanism is available through a framework called foreheads, which allows the reuse mechanism. By using this framework, system functionality can be implemented on an abstraction task, which responds appropriately to changes in context, detecting and treating exceptional situations. To validate the proposed mechanism was implemented a prototype system of parking control ubiquitous as a proof of concept, which focuses on demonstration of how the tasks are implemented that make up this system and how they are defined exceptions contextual and their handlers. / O principal propósito da Computação Ubíqua é o fornecimento de informações e funcionalidades necessárias para ajudar as pessoas em suas tarefas cotidianas, de maneira proativa e transparente, a qualquer instante e em qualquer lugar. O desenvolvimento de sistemas ubíquos envolve um conjunto de requisitos desafiadores, dentre eles: sensibilidade ao contexto, que permite que os sistemas adaptem o seu comportamento para responder de forma apropriada diante de mudanças do ambiente; e dependabilidade, que está relacionado à capacidade dos sistemas de prestarem um serviço os quais ofereçam fortes indícios de que são confiáveis. Em relação aos atributos de dependabilidade, negligenciá-los pode trazer desde pequenas insatisfações até graves riscos à integridade física dos usuários. O tratamento de exceções é uma das principais técnicas de tolerância a faltas empregadas no desenvolvimento de software para atingir maiores níveis de dependabilidade. Essa técnica, apesar de já ser amplamente utilizada no desenvolvimento de software tradicional, ainda é pouco empregada no desenvolvimento de sistemas ubíquos. Isso ocorre em virtude das características e requisitos desafiadores desse tipo de sistema, dentre os quais se destacam a sensibilidade ao contexto e a distribuição, a qual pode fazer com que as possibilidades necessárias de tratamento de exceções de um sistema como um todo seja maior do que a soma das possibilidades de tratamento de exceções das partes que o compõe. Portanto, essa dissertação tem como objetivo propor um mecanismo de tratamento de exceções sensível ao contexto para sistemas ubíquos orientados a tarefas. O mecanismo proposto é disponibilizado através de um framework, denominado FRonTES, que permite a reutilização do mecanismo. Através da utilização desse framework, funcionalidades do sistema podem ser implementadas sob uma abstração de tarefa, que responde de maneira adequada a mudanças de contexto, detectando e tratando situações excepcionais. Para a validação do mecanismo proposto foi implementado um protótipo de sistema de controle de estacionamento ubíquo como uma prova de conceito, que foca na demonstração de como são implementadas as tarefas que compõem esse sistema e como são definidas as exceções contextuais e seus tratadores.

FONTELES, André Sales. Um framework para aquisição adaptativa e fracamente acoplada de informação contextual para dispositivos móveis. 2013. 96 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2013. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-30T18:00:37Z No. of bitstreams: 1 2013_dis_asfonteles.pdf: 3450400 bytes, checksum: 30d4ac8e77c80d859fc10cf484e2ba15 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-30T18:01:52Z (GMT) No. of bitstreams: 1 2013_dis_asfonteles.pdf: 3450400 bytes, checksum: 30d4ac8e77c80d859fc10cf484e2ba15 (MD5) / Made available in DSpace on 2016-05-30T18:01:52Z (GMT). No. of bitstreams: 1 2013_dis_asfonteles.pdf: 3450400 bytes, checksum: 30d4ac8e77c80d859fc10cf484e2ba15 (MD5) Previous issue date: 2013 / Mobile devices, such as smartphones and tablets, with a number of sensors have become commonplace in our daily lives. This scenario promotes applications from these platforms to increasingly access contextual information of the environment, the user and the system, which adapt accordingly or offer relevant services. This behavior is known as context-awareness. Several infrastructures have been created to help in the development of context-aware applications. These infrastructures facilitate the acquisition and management of contextual information. However, many of them are not appropriated to the heterogeneous and particular environment of mobile devices. This work presents an infrastructure for context acquisition called CAM (Context Acquisition Manager). CAM is a framework designed for use in sensor rich mobile devices. Among its main features are the loosely coupling with the applications that use it and the possibility of adapting in deployment time or execution time. The deployment adaptation allows a developer to customize what features will be included in the installation of the framework. The adaptation in execution time allow the framework to enable or disable its features according to applications requirements. To evaluate this work we developed a context-sensitive application as a proof of concept that uses the framework CAM. Through the development of this application, it was possible to notice a clear separation between the context acquisition code, wrapped by the framework, and the application code. A prototype of another application in which tests were performed on the dynamic adaptation mechanism of the framework was also developed. In this experiment, the impact of the adaptation on the resources of the device was investigated, which showed an increased economy in memory and CPU. / Dispositivos móveis, tais como smartphones e tablets, dotados de uma série de sen-sores se tornaram comuns no nosso dia a dia. Esse cenário propiciou que aplicações dessas plataformas acessassem cada vez mais informações contextuais do ambiente, do sistema e do usuário para se adaptar de acordo ou oferecer serviços relevantes. Aplicações dotadas desse comportamento são conhecidas como sensíveis ao contexto. Várias infraestruturas já foram criadas para auxiliar no desenvolvimento de aplicações desse tipo. Essas infraestruturas faci-litam a aquisição e o gerenciamento de informações contextuais. Todavia, muitas delas não são apropriadas para o ambiente de execução heterogêneo e peculiar dos dispositivos móveis. Esse trabalho de dissertação de mestrado apresenta uma infraestrutura para aquisição de con-texto chamada CAM (Context Acquisition Manager). CAM é um framework projetado para utilização em dispositivos móveis dotados de sensores embarcados. Entre suas principais ca-racterísticas estão o fraco acoplamento entre ele e as aplicações que o utilizam e a possibilidade de adaptação no momento de implantação ou de execução. A adaptação na implantação permite ao desenvolvedor personalizar quais características serão incluídas na instalação do framework. Já a adaptação em tempo de execução permite desabilitar ou habilitar partes do framework con-forme a demanda. Para avaliação desse trabalho foi desenvolvida uma aplicação sensível ao contexto como prova de conceito que utiliza o framework CAM. Através do desenvolvimento dela, foi possível perceber a clara separação entre o código de aquisição de contexto, encapsu-lado no framework, do código de uma aplicação que o utiliza. Também foi desenvolvido um protótipo de uma outra aplicação, no qual foram realizados testes do mecanismo de adaptação dinâmica do framework. No experimento foi analisado o impacto da adaptação na utilização do processador e da memória primária do dispositivo, que mostrou um aumento na economia de ambos.

Nowadays, mobile computing is more present in daily life. Mobile phones, notebooks, smart phones and wireless networks are part of everyday life. With this technology available, the research in pervasive computing is growing. The idea of pervasive computing was introduced by Mark Weiser in 1991, with a personal vision of how would be computing in the 21st century. Weiser s idea was that information processing would become part of everyday life, and would be available everywhere. Furthermore, it would be so natural as being invisible in the ambient. To make computing invisible, applications must be proactive, asking for a minimum of user intervention for its operation. An important concept that arises with pervasive computing is the context awareness . Context is any information that can be used to characterize an entity. Based on contextual information, applications can dynamically adapt to the environments in which they operate, becoming proactive and conveying the idea of invisibility. New programming languages or even new paradigms are being developed trying to make more intuitive the programming of pervasive applications. Most of these programming languages attempt to add new features into existing programming languages. However, some authors argue that there must be new formalisms that help to model the properties of pervasive systems, in particular the context awareness. The formal description of a system modeled by formal methods can be used to demonstrate that some properties of the system are correctly modeled. In this sense, this work studies a formal model that can be used as a basis for specifying a new programming language, called Calculus of Context-aware Ambients (CCA), proposed to describe mobile and pervasive applications. Another formal method used in the specification of programming languages are the type systems. Type systems helps to ensure that the system behaves according to the specification, that is, is a way to formally prove the absence of undesirable behavior in a system. Thus, the main contribution of this work is the definition of a type system for the CCA with the focus in the communication between processes. As a case study two real scenarios were modeled using the CCA, demonstrating the use of the type system developed. The preservation (or subject reduction) property of the type system was formally proved, demonstrating that the type system is correct, i.e., achieving the main purpose of the present work. / Atualmente, a computação móvel está mais presente na rotina das pessoas. Celulares, notebooks, smartphones e redes sem fio fazem parte do cotidiano. Com essa tecnologia disponível, as pesquisas na área de computação pervasiva crescem a cada dia. A ideia da computação pervasiva surgiu com um artigo escrito por Mark Weiser em 1991, com uma visão pessoal de como seria a computação no século 21. Weiser descreveu que a computação faria parte do cotidiano das pessoas, e estaria acessível em todos os ambientes. Além disso, seria tão natural que passaria a ideia de estar invisível no ambiente. Para tornar a computação invisível, as aplicações devem ser pró-ativas, solicitando o mínimo de intervenção do usuário para o seu funcionamento. Um conceito importante que surge na computação pervasiva é a sensibilidade ao contexto . Contexto é qualquer informação que possa ser utilizada para caracterizar uma entidade. Com base em informações contextuais, as aplicações podem se adaptar dinamicamente aos ambientes nos quais estão inseridas, tornando-se pró-ativas e transmitindo a ideia da invisibilidade. Novas linguagens de programação ou até mesmo novos paradigmas de programação estão sendo desenvolvidos, tentando tornar mais intuitiva a programação de aplicações pervasivas. A maioria dessas linguagens tenta adicionar novas funcionalidades em linguagens já existentes. Porém, alguns autores defendem que deveriam existir novos formalismos que ajudem a modelar as propriedades dos sistemas pervasivos, em especial a sensibilidade ao contexto. A descrição formal de um sistema modelado através de métodos formais pode ser utilizada para demonstrar que algumas propriedades de um sistema estão corretamente modeladas. Nesse sentido, este trabalho estuda um modelo formal que pode servir como base para a especificação de novas linguagens de programação, chamado Cálculo de Ambientes Sensível ao Contexto (CASC), proposto para descrever ambientes móveis e aplicações pervasivas. Outro método formal que é utilizado para especificar linguagens de programação são os sistemas de tipos. Sistemas de tipos ajudam a garantir que um sistema se comporta de acordo com a sua especificação, ou seja, são uma maneira de provar formalmente a ausência de comportamentos indesejados dentro de um sistema. Dessa forma, a principal contribuição deste trabalho é a definição de um sistema de tipos para o CASC com o foco no controle de comunicação entre processos. Como estudo de caso, dois cenários reais foram modelados utilizando o CASC, demonstrando o uso do sistema de tipos desenvolvido. A propriedade preservation (ou subject reduction) do sistema de tipos foi provada formalmente, demostrando que o sistema de tipos está correto, ou seja, atingindo o objetivo principal do trabalho. Palavras-chave: Sistema de Tipos. Cálculo de Ambientes. Computação Pervasiva. Sensibilidade ao Contexto.

Sistemas de vigilância são geralmente empregados no monitoramento de áreas de grandes dimensões nas quais seus usuários visam detectar ou observar fenômenos de seu interesse. O uso de redes de sensores sem fio nesses sistemas apresenta especial interesse, uma vez que essas redes podem apresentar soluções de baixo custo e robustas para cobrir áreas extensas. Neste contexto, novas aplicações têm surgido propondo o uso de redes de sensores sem fio compostas por nós sensores estáticos e móveis. Uma das motivações para esta tendência é a redução do custo de implantação e operação do sistema, além da possibilidade de proporcionar incremento em suas funcionalidades. O foco desta tese se concentra na proposta de soluções para redes de sensores sem fio com uso cooperativo de sensores estáticos e móveis, com particular atenção a sensibilidade ao contexto na configuração e execução de missões de sensoriamento. O objetivo é manter um baixo custo de comunicação associado às soluções propostas. Esta preocupação se dá pelo fato da comunicação aumentar o consumo de energia em redes de sensores, o que é um problema importante para nós sensores com limitada fonte de energia, i.e. baterias. No caso de nós sensores móveis, esta limitação pode não ser relevante, uma vez que seu movimento deve consumir uma quantidade muito mais expressiva de energia do que a comunicação. Neste caso, o problema se relaciona à estabilidade dos enlaces, bem como ao curto intervalo de tempo disponível para transmitir e receber dados. Logo, o melhor é comunicar o menos possível. Com relação à interação entre nós sensores estáticos, os problemas de disseminação e alocação de missões de sensoriamento são estudados e uma solução que explora o uso de informações locais é proposta e avaliada. Esta solução emprega agentes de software móveis que têm a capacidade de tomar decisões autônomas através do uso de informações de contexto local. Para redes de sensores móveis, o problema estudado se refere a como transferir missões entre os nós sensores de acordo com seu movimento e localização em relação aos locais onde as missões devem ser executadas. Para tratar este problema, uma abordagem baseada em agentes móveis é proposta, na qual os agentes implementam a migração das missões de sensoriamento usando informações de contexto geográfico para decidir a respeito de suas migrações. Para redes de sensores com sensores estáticos e móveis, a cooperação entre eles é abordada através de um mecanismo com inspiração biológica para realizar a realizar a entrega de dados emitidos pelos sensores estáticos aos sensores móveis. Para isto, explora-se uma analogia baseada no comportamento de formigas na construção e seguimento de trilhas. As soluções propostas são flexíveis, sendo aplicáveis a diferentes domínios de aplicação. Resultados experimentais evidenciam sua escalabilidade, avaliando, por exemplo, seu custo em termos de comunicação, além de outras métricas de interesse para cada uma das soluções. Estes resultados são comparados aos atingidos por soluções de referência (solução ótima teórica e baseada em inundação), indicando sua eficiência. Estes resultados são próximos do ótimo teórico e significativamente melhores que aqueles atingidos por soluções baseadas em técnicas de inundação. / Surveillance systems are usually employed to monitor wide areas in which their users are interested in detecting and/or observing events or phenomena of their interest. The use of wireless sensor networks in such systems is of particular interest as these networks can provide a relative low cost and robust solution to cover large areas. Emerging applications in this context are proposing the use of wireless sensor networks composed of both static and mobile sensor nodes. Motivation for this trend is to reduce deployment and operating costs, besides providing enhanced functionalities. This work focuses on the proposal of solutions for wireless sensor networks including static and mobile sensor nodes specifically regarding cooperative and context aware mission setup and performance. The goal is to keep the communication costs as low as possible in the execution of the proposed solutions. This concern comes from the fact that communication increases energy consumption, which is a particular issue for energy constrained sensor nodes often used in wireless sensor networks, especially if battery supplied. In the case of the mobile nodes, this energy constraint may not be valid, since their motion might need much more energy, but links instabilities and short time windows available to receive and transmit data. Therefore, it is better to communicate as little as possible. For the interaction among static sensor nodes, the problems of dissemination and allocation of sensing missions are studied and a solution that explores local information is proposed and evaluated. This solution uses mobile software agents that have capabilities to take autonomous decisions about the mission dissemination and allocation using local context information. For mobile wireless sensor networks, the problem studied is how to perform handover of missions among the nodes according to their movements and locations in relation to the place where the missions have to be performed. To handle this problem, a mobile agent approach is proposed in which the agents implement the sensing missions’ migration from node to node using geographical context information to decide about their migrations. For the networks combining static and mobile sensor nodes, the cooperation among them is approached by a biologically-inspired mechanism to deliver data from the static to the mobile nodes. The data delivery mechanism explores an analogy based on the behaviour of ants building and following trails, inspired by the ant colony algorithm. The proposed solutions are flexible, being able to be applied to different application domains. Obtained experimental results provide evidence of the scalability of these proposed solutions, for example by evaluating their cost in terms of communication, among other metrics of interest for each solution. These results are compared to those achieved by reference solutions (theoretical optimum and floodingbased), providing indications of the proposed solutions’ efficiency. These results are considered close to the theoretical optimum one and significantly better than the ones achieved by flooding-based solutions.

Dans cette thèse, nous proposons un cadre générique pour la modélisation et la gestion du contexte dans le cadre des systèmes intelligents ambiants et robotiques. Les connaissances contextuelles considérées sont de plusieurs types et issues de perceptions multimodales : connaissances spatiales et/ou temporelles, changement d’états et de propriétés d’entités, énoncés en langage naturel. Pour ce faire, nous avons proposé une extension du langage NKRL (Narrative Knowledge Representation and Reasoning) pour parvenir à une représentation unifiée des connaissances contextuelles qu’elles soient spatiales, temporelles ou spatio-temporelles et effectuer les raisonnements associés. Nous avons exploité l’expressivité des ontologies n-aires sur lesquelles repose le langage NKRL pour pallier aux problèmes rencontrés dans les approches de représentation des connaissances spatiales et dynamiques à base d’ontologies binaires, communément utilisées en intelligence ambiante et en robotique. Il en résulte une modélisation plus riche, plus fine et plus cohérente du contexte permettant une meilleure adaptation des services d’assistance à l’utilisateur dans le cadre des systèmes intelligents ambiants et robotiques. La première contribution concerne la modélisation des connaissances spatiales et/ou temporelles et des changements de contexte, et les inférences spatiales, temporelles ou spatio-temporelles. La deuxième contribution concerne, quant à elle, le développement d’une méthodologie permettant d’effectuer un traitement syntaxique et une annotation sémantique pour extraire, à partir d’un énoncé en langage naturel, des connaissances contextuelles spatiales ou temporelles en NKRL. Ces contributions ont été validées et évaluées en termes de performances (temps de traitement, taux d’erreurs, et taux de satisfaction des usagers) dans le cadre de scénarios mettant en œuvre différentes formes de services : assistance au bien-être, assistance de type aide sociale, assistance à la préparation d’un repas / In this thesis, we propose a generic framework for modeling and managing the context in ambient and robotic intelligent systems. The contextual knowledge considered is of several types and derived from multimodal perceptions : spatial and / or temporal knowledge, change of states and properties of entities, statements in natural language. To do this, we proposed an extension of the Narrative Knowledge Representation and Reasoning (NKRL) language to reach a unified representation of contextual knowledge whether spatial, temporal or spatio-temporal and perform the associated reasoning. We have exploited the expressiveness of the n-ary ontologies on which the NKRL language is based to bearing on the problems encountered in the spatial and dynamic knowledge representation approaches based on binary ontologies, commonly used in ambient intelligence and robotics. The result is a richer, finer and more coherent modeling of the context allowing a better adaptation of user assistance services in the context of ambient and robotic intelligent systems. The first contribution concerns the modeling of spatial and / or temporal knowledge and contextual changes, and spatial, temporal or spatial-temporal inferences. The second contribution concerns the development of a methodology allowing to carry out a syntactic treatment and a semantic annotation to extract, from a statement in natural language, spatial or temporal contextual knowledge in NKRL. These contributions have been validated and evaluated in terms of performance (processing time, error rate, and user satisfaction rate) in scenarios involving different forms of services: wellbeing assistance, social assistance, assistance with the preparation of a meal

La gestion de l'acheminement de messages d'e-santé en environnement ubiquitaire soulève plusieurs défis majeurs liés à la diversité et à la spécificité des cas d'usage et des acteurs, à l'évolutivité des contextes médical, social, logistique, environnemental...Nous proposons une méthode originale d'orchestration autonome et auto-adaptative de services visant à optimiser le flux des messages et à personnaliser la qualité de transmission, en les adressant aux destinataires les plus appropriés dans les délais requis. Notre solution est une architecture générique dirigée par des modèles du domaine d'information considéré et des données contextuelles, basés sur l'identification des besoins et des contraintes soulevées par notre problématique.Notre approche consiste en la composition de services de fusion et de gestion dynamique en temps réel d'informations hétérogènes provenant des écosystèmes source, cible et message, pilotés par des méthodes d'intelligence artificielle pour l'aide à la prise de décision de routage. Le but est de garantir une communication fiable, personnalisable et sensible à l'évolution du contexte, quel que soit le scénario et le type de message (alarme, technique, etc.). Notre architecture, applicable à divers domaines, a été consolidée par une modélisation des processus métiers (BPM) explicitant le fonctionnement des services qui la composent.Le cadriciel proposé est basé sur des ontologies et est compatible avec le standard HL7 V3. L'auto-adaptation du processus décisionnel d'acheminement est assurée par un réseau bayésien dynamique et la supervision du statut des messages par une modélisation mathématique utilisant des réseaux de Petri temporels / Routing policy management of eHealth messages in ubiquitous environment leads to address several key issues, such as taking into account the diversity and specificity of the different use cases and actors, as well as the dynamicity of the medical, social, logistic and environmental contexts.We propose an original, autonomous and adaptive service orchestration methodology aiming at optimizing message flow and personalizing transmission quality by timely sending the messages to the appropriate recipients. Our solution consists in a generic, model-driven architecture where domain information and context models were designed according to user needs and requirements. Our approach consists in composing, in real time, services for dynamic fusion and management of heterogeneous information from source, target and message ecosystems, driven by artificial intelligence methods for routing decision support. The aim is to ensure reliable, personalized and dynamic context-aware communication, whatever the scenario and the message type (alarm, technical, etc.). Our architecture is applicable to various domains, and has been strengthened by business process modeling (BPM) to make explicit the services operation.The proposed framework is based on ontologies and is compatible with the HL7 V3 standard. Self-adaptation of the routing decision process is performed by means of a dynamic Bayesian network and the messages status supervision is based on timed Petri nets

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / O principal propÃsito da ComputaÃÃo UbÃqua à o fornecimento de informaÃÃes e funcionalidades necessÃrias para ajudar as pessoas em suas tarefas cotidianas, de maneira proativa e transparente, a qualquer instante e em qualquer lugar. O desenvolvimento de sistemas ubÃquos envolve um conjunto de requisitos desafiadores, dentre eles: sensibilidade ao contexto, que permite que os sistemas adaptem o seu comportamento para responder de forma apropriada diante de mudanÃas do ambiente; e dependabilidade, que està relacionado à capacidade dos sistemas de prestarem um serviÃo os quais ofereÃam fortes indÃcios de que sÃo confiÃveis. Em relaÃÃo aos atributos de dependabilidade, negligenciÃ-los pode trazer desde pequenas insatisfaÃÃes atà graves riscos à integridade fÃsica dos usuÃrios. O tratamento de exceÃÃes à uma das principais tÃcnicas de tolerÃncia a faltas empregadas no desenvolvimento de software para atingir maiores nÃveis de dependabilidade. Essa tÃcnica, apesar de jà ser amplamente utilizada no desenvolvimento de software tradicional, ainda à pouco empregada no desenvolvimento de sistemas ubÃquos. Isso ocorre em virtude das caracterÃsticas e requisitos desafiadores desse tipo de sistema, dentre os quais se destacam a sensibilidade ao contexto e a distribuiÃÃo, a qual pode fazer com que as possibilidades necessÃrias de tratamento de exceÃÃes de um sistema como um todo seja maior do que a soma das possibilidades de tratamento de exceÃÃes das partes que o compÃe. Portanto, essa dissertaÃÃo tem como objetivo propor um mecanismo de tratamento de exceÃÃes sensÃvel ao contexto para sistemas ubÃquos orientados a tarefas. O mecanismo proposto à disponibilizado atravÃs de um framework, denominado FRonTES, que permite a reutilizaÃÃo do mecanismo. AtravÃs da utilizaÃÃo desse framework, funcionalidades do sistema podem ser implementadas sob uma abstraÃÃo de tarefa, que responde de maneira adequada a mudanÃas de contexto, detectando e tratando situaÃÃes excepcionais. Para a validaÃÃo do mecanismo proposto foi implementado um protÃtipo de sistema de controle de estacionamento ubÃquo como uma prova de conceito, que foca na demonstraÃÃo de como sÃo implementadas as tarefas que compÃem esse sistema e como sÃo definidas as exceÃÃes contextuais e seus tratadores. / The main purpose of ubiquitous computing is to provide information and features needed to help people in their daily tasks, proactively and transparently, at any time and anywhere. The development of ubiquitous systems involves a set of challenging requirements, including: context awareness, which allows systems to adapt their behavior to respond appropriately in the face of environmental changes, and dependability, which is related to the ability of systems provide a service which offer strong indications that are reliable. Regarding the attributes of dependability, neglecting them can bring grievances from small to severe risks to the physical integrity of the users. Exception handling is a major fault tolerance techniques used in software development to achieve greater levels of dependability. This technique, even though it is widely used in traditional software development, it is still not widely used in the development of ubiquitous systems. This is due to challenging requirements and characteristics of this type of system, among which we highlight the sensitivity to the context and distribution, which can make the necessary possibilities of handling exceptions in a system as a whole is greater than the sum of possibilities for exception handling of the parts that compose it. Therefore, this dissertation aims to propose a mechanism for exception handling context-sensitive ubiquitous systems for task-oriented. The proposed mechanism is available through a framework called foreheads, which allows the reuse mechanism. By using this framework, system functionality can be implemented on an abstraction task, which responds appropriately to changes in context, detecting and treating exceptional situations. To validate the proposed mechanism was implemented a prototype system of parking control ubiquitous as a proof of concept, which focuses on demonstration of how the tasks are implemented that make up this system and how they are defined exceptions contextual and their handlers.

Informationsöverbelastning blir alltmer vanligare i den ständigt uppkopplade värld vi män- niskor lever i. Smarttelefonen skickar hela tiden ut notiser och information när någonting nytt sker till sina användare och den här utveckling har bidragit till att människor distraheras från viktiga livshändelser och effekterna kan resultera i tappat fokus, stress, depression och ut- brändhet. Syftet med det här kandidatarbetet är att skapa en designmetod som kan reducera informa- tionsöverbelastning. Vi har skapat en prototyp för ett socialt nätverk där användarna kan filtr- era innehållet i det sociala nätverket genom en filterfunktion. Användarna kan skapa nya fil- ter, aktivera samt avaktivera och byta mellan de skapade filtren för att stänga ute information som inte är relevant för stunden. Genom vår gestaltning undersöker vi om informationsöver- belastningen går att reducera genom kontextmedvetna system i mobilapplikationer där sys- temet känner av din kontext och därefter kan filtrera bort irrelevant information som du inte behöver ta del av just nu. Vi påpekar även säkerheten i sådana system och hur det kan kränka din integritet. / Information overload is becoming more common in the constantly connected world in which people live in. The smartphone constantly sends notifications and information to its users when something new happens, and this development has contributed to distracting people from vital life events, and the effects can result in lost focus, stress, depression and getting burned out. The main purpose of this Bachelor thesis is to create a design method that can reduce infor- mation overload. We have created a social network prototype where users can filter the con- tents of the social network through a filter function. Users can create new filters, enable and disable filters which then enables the user to filter out information that is not vital at the mo- ment. Through our prototype we examine whether information overload can be reduced through context aware systems in mobile applications, where the system recognizes your con- text and can filter out none vital information that you do not need to access at the moment. We also point out the security of such systems and how it may violate the users privacy.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The management of problems occurred in environments that make use of Information Technology (IT), coupled with the need for a rapid response support teams, makes organizations require systems to manage these incidents. The Service Desk presents itself as a good solution to centralize these records. Concepts based computing context, recommender systems, mobile computing can enhance these applications. Therefore, the aim of this work is to design and implement a system of Service Desk Mobile, called Mobile Service Desk (MSD), which adds context awareness features such as user location, technical experience and temporal context. Moreover, the tool is integrated into a recommendation system, which stores past interactions and suggests as a possible solution for new similar incidents occurring in the managed environment. As contributions of this work, in addition to system design that aims to reduce unnecessary time-shift and optimize the allocation of technical, algorithms were compared for similarity analysis and applied to NBR 9241-11 for usability evaluation of some products Service Desk. / A gerência dos problemas ocorridos em ambientes que fazem uso da Tecnologia da Informação (TI), aliada a necessidade de uma resposta rápida das equipes de suporte, faz com que organizações necessitem de sistemas para gerenciamento desses incidentes. O Service Desk apresenta-se como uma boa solução para centralizar estes registros. Conceitos de computação baseada em contexto, sistemas de recomendação, computação móvel podem incrementar estes aplicativos. Portanto, o objetivo deste trabalho é projetar e implementar um sistema de Service Desk móvel, denominado Mobile Service Desk (MSD), que agrega funcionalidades de sensibilidade ao contexto, tais como localização do usuário, experiência do técnico e contexto temporal. Além disso, está integrado à ferramenta um sistema de recomendação, que armazena interações passadas e as sugere como possível solução para novos incidentes similares ocorridos no ambiente gerenciado. Como contribuições deste trabalho, além do projeto do sistema que visa redução de tempo com deslocamentos desnecessários e otimização do alocamento de técnicos, foram comparados algoritmos para análise de similaridade e aplicado a norma NBR 9241-11 para avaliação de usabilidade de alguns produtos de Service Desk.

Abstract This thesis introduces a novel Web service-centric solution to pervasive computing, called Service-oriented Pervasive Computing (also called Pervasive Service Computing), which enables computer systems to deal with context in the user’s environment, to dynamically discover and compose existing services, and to develop Internet-scale multimedia applications that support users’ activities. First, this thesis introduces the concept of Pervasive Service Computing and its relation to community coordinated multimedia, context awareness, and service-oriented computing. It then investigates the state of the art, the practices, and techniques which have been developed to support such services. Building on these tools, this study adopts a service-oriented methodology to design a reference model for Pervasive Service Computing, for accommodating specified technical requirements. This model can serve as a guide for research and development towards Pervasive Service Computing. Second, the thesis examines the nature of community coordinated multimedia, and develops the concept of Community Coordinated Multimedia (CCM). To discover the potentials of discoverability and composability of multimedia applications, the thesis introduces a model for Service-oriented Community Coordinated Multimedia (SCCM), and demonstrates the idea of “multimedia application as a service.” Furthermore, the thesis presents a content annotation service and evaluates its feasibility as an end-user prototype. Third, the thesis investigates the nature of context awareness in Pervasive Service Computing, to broaden the definition of context and context-awareness. This research introduces context-aware pervasive service composition (CAPSC) applications, and specifies three-levels of context awareness. Building on this framework, the context-aware service composition prototype is implemented. Fourth, the author examines the overall potential of service composition in Pervasive Service Computing, distinguishes its two main functions as service collaboration, and service coordination, and then develops an ODPSC (Ontology-Driven Pervasive Service Composition) ontology. To address the availability and scalability of service composition, the thesis introduces options for dynamic service composition in the Cloud, and develops an accelerated Cloud architecture for service composition in the Cloud (namely CM4SC middleware). Last, the CM4SC middleware as a service prototype is implemented. / Tiivistelmä Tässä työssä käsitellään uutta jokapaikan tietotekniikan Web-palvelukeskeistä ratkaisua, palveluorientoitunutta jokapaikan tietotekniikkaa (Pervasive Service Computing). Tämän avulla tietokonejärjestelmät voivat ottaa huomioon käyttäjän ympäristön tilanteen, löytää ja koota palveluja dynaamisesti, ja näin voidaan kehittää Internetin laajuisia käyttäjän toimintoja tukevia multimediasovelluksia. Ensiksi työssä esitellään jokapaikan tietotekniikan palvelujen käsite sekä tällaisten palveluiden suhde yhteisöllisesti koordinoituun multimediaan, tilannetietoisuuten ja palveluorientoituneeseen tietotekniikkaan. Tieteen nykytila sekä tällaisia palveluja tukemaan kehitetyt käytännöt ja tekniikat esitellään. Näihin työkaluihin pohjautuen työssä omaksutaan palveluorientoitunut metodiikka, kun jokapaikan tietotekniikan palveluille suunnitellaan referenssimalli, jonka avulla voidaan määritellä teknisiä vaatimuksia ja joka voi muutenkin toimia ohjenuorana jokapaikan tietotekniikan palvelujen tutkimukselle ja tuotekehitykselle. Toiseksi työssä tutkitaan yhteisöllisesti koordinoidun multimedian ominaispiirteitä ja määritellään yhteisöllisesti koordinoidun multimedian (Community Coordinated Multimedia, CCM) käsite. Multimediasovellusten löydettävyyden ja kokoamisen mahdollisuuksien kartoittamiseen luodaan palveluorientoitunut CCM-malli (Service-oriented Community Coordinated Multimedia, SCCM). Työssä esitellään ”multimediasovellus palveluna” -idea, jonka käyttökelpoisuutta arvioidaan sisältöpohjaisen annotoinnin prototyyppiratkaisun avulla. Kolmanneksi työssä tutkitaan jokapaikan tietotekniikan palvelujen tilannetietoisuutta laajentamalla tilanteen ja tilannetietoisuuden määritelmiä. Tutkimus esittelee tilannetietoiseen jokapaikan tietotekniikan palvelujen kokoamiseen (Context-Aware Pervasive Service Composition, CAPSC) perustuvia sovelluksia ja määrittelee kolme tasoa tilannetietoisuudelle. Tämän viitekehyksen avulla toteutetaan tilannetietoinen palvelujen kokoamisen prototyyppi. Neljänneksi työssä arvioidaan jokapaikan tietotekniikan palvelujen kokoamisen mahdollisuuksia, tunnistetaan sen kaksi keskeistä toiminnallisuutta, palvelujen yhteistoiminnallisuus (service collaboration) ja palvelujen koordinointi (service coordination), sekä kehitetään ODPSC (Ontology-Driven Pervasive Service Composition) -ontologia. Työssä esitetään saavutettavuuden ja laajennettavuuden haasteisiin ratkaisuksi dynaaminen palvelujen kokoaminen pilvipalveluna. Työssä kehitetään kiihdytetty pilviarkkitehtuuri (CM4SC-välikerrosohjelmisto) palvelujen kokoamiseen pilvessä. Lopuksi työssä toteutetaan CM4SC-välikerrosohjelmiston palveluprototyyppi.