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. 96 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T11:44:28Z No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-14T15:27:51Z (GMT) No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Made available in DSpace on 2016-07-14T15:27:51Z (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.

LIMA, Rafael de. CatchML: uma linguagem de domínio específico para modelagem do tratamento de exceção sensível ao contexto. 2013. 111 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T15:18:44Z No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:54:36Z (GMT) No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) / Made available in DSpace on 2016-07-20T13:54:36Z (GMT). No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) Previous issue date: 2013 / In ubiquitous systems, due to the complexity added by the use of contextual information, the application of context aware exception handling (CAEH) techniques has many challenges and in the literature several approaches have been found to define concepts and abstractions useful for modeling CAEH. However, only one of these approaches proposes a method for specification and verification of models in the field of ubiquitous systems, which provides a tool for specifying the CAEH model using a Java API, and also generates an error report to a text file. The disadvantage of this approach is that the designer should strive to understand programming details that are irrelevant to the analysis process of the exceptional behavior of the system. Then, this work aims to propose a domain specific language for modeling CAEH, which provides abstractions and constructors that allow to express relevant concepts and make the task of designing CAEH models simpler and more intuitive. In addition, the language is integrated with the tool mentioned before that allows automatic model verification. The errors generated by the verifier are now shown directly in the source code making their identification and correction easier for the designer. In order to evaluate the language, a case study is conducted to provide evidence of its viability as an alternative to modeling CAEH. / Em sistemas ubíquos, devido à complexidade inserida pela utilização de informações contextuais, a aplicação de técnicas de tratamento de exceção sensível ao contexto (TESC) tem sido objeto de estudo para muitos pesquisadores. Na literatura são encontradas diversas abordagens que definem conceitos e abstrações úteis para modelagem de TESC. Entretanto, apenas uma dessas abordagens propõe um método para especificação e verificação de modelos no domínio de sistemas ubíquos o qual fornece uma ferramenta para especificação do modelo de TESC através de uma API Java, e gera ainda um relatório de erros em um arquivo texto. A desvantagem dessa abordagem é que o projetista deve se esforçar para entender detalhes de programação irrelevantes ao processo de análise do comportamento excepcional do sistema. Esta dissertação tem portanto como objetivo propor uma linguagem de domínio específico para modelagem de TESC, com o intuito de oferecer abstrações e construtores que permitem expressar conceitos pertinentes e tornar a tarefa de projetar modelos de TESC mais simples e intuitiva. Além disso, a linguagem é integrada com a ferramenta citada anteriormente, o que permite realizar a verificação do modelo de forma automática. Os erros gerados pelo verificador são mostrados agora diretamente no código do modelo facilitando a identificação e correção dos mesmos pelo projetista. A fim de avaliar a linguagem, um estudo de caso é realizado para fornecer indícios de sua viabilidade como alternativa para modelagem de TESC.

LEMOS, Fabrício Dias Alves. Uma abordagem para inserção de sensibilidade ao contexo em técnicas de recomendação baseadas em conhecimento. 2012. 102 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-08-04T12:16:49Z No. of bitstreams: 1 2012_dis_fdalemos.pdf: 2928114 bytes, checksum: 0e0110fab82736ead8bd32ae8b1e2a15 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-08-05T15:45:39Z (GMT) No. of bitstreams: 1 2012_dis_fdalemos.pdf: 2928114 bytes, checksum: 0e0110fab82736ead8bd32ae8b1e2a15 (MD5) / Made available in DSpace on 2016-08-05T15:45:39Z (GMT). No. of bitstreams: 1 2012_dis_fdalemos.pdf: 2928114 bytes, checksum: 0e0110fab82736ead8bd32ae8b1e2a15 (MD5) Previous issue date: 2012 / O principal desafio de um Sistema de Recomendação é conseguir identificar e recomendar itens que tenham maior chance de corresponder aos interesses de seus usuários que, em geral, possuem uma natureza bastante subjetiva e heterogênea. É importante, então, que os Sistemas de Recomendação possam recomendar itens personalizados a partir da identificação do perfil de cada usuário. Entretanto, muitas vezes, o perfil do usuário não é suficiente para que o sistema consiga identificar completamente seus interesses. A utilização do sistema em um contexto diferente do habitual pode acarretar em um resultado insatisfatório para a recomendação, sendo necessária sua adaptação ao novo contexto. Este trabalho propõe uma abordagem para inserção de sensibilidade ao contexto em Sistemas de Recomendação, a qual utiliza, além do contexto do usuário, o próprio contexto dos itens recomendados. Para tal, técnicas de recomendação baseadas em conhecimento são adaptadas para incluir regras de domínio com caráter contextual. A abordagem proposta é utilizada na concepção de um sistema de recomendação de fotos sensível ao contexto que explora o contexto do usuário e o contexto de geração das fotos para a realização da recomendação. Através do sistema desenvolvido, a abordagem é validada a partir de experimentos com usuários, nos quais são avaliados a qualidade da recomendação e os ganhos obtidos com a utilização das informações contextuais.

GOMES, Francisco Anderson de Almada. Um serviço de offloading de dados contextuais com suporte à privacidade. 2017. 95 f. Dissertação (Mestrado em Ciência da Computação)- Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Jonatas Martins (jonatasmartins@lia.ufc.br) on 2017-05-26T13:43:05Z No. of bitstreams: 1 2017_dis_faagomes.pdf: 5747766 bytes, checksum: 678be7c6e0c8e999826aa6d7060bebb5 (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2017-05-26T17:04:18Z (GMT) No. of bitstreams: 1 2017_dis_faagomes.pdf: 5747766 bytes, checksum: 678be7c6e0c8e999826aa6d7060bebb5 (MD5) / Made available in DSpace on 2017-05-26T17:04:18Z (GMT). No. of bitstreams: 1 2017_dis_faagomes.pdf: 5747766 bytes, checksum: 678be7c6e0c8e999826aa6d7060bebb5 (MD5) Previous issue date: 2017 / Mobile devices became a common tool in our daily routine. Mobile applications are demanding access to contextual information increasingly. For instance, applications require user’s environment data as well as their profiles in order to adapt themselves (interfaces, services, content) according to this context data. Mobile applications with this behavior are known as context-aware applications. Several software infrastructures have been created to help the development of this applications. However, it was verified that most of them do not store history of the contextual data, since mobile devices are resource constrained. They are not built taking into account the privacy of contextual data either, due the fact that applications may expose contextual data without user consent. This dissertation addresses these topics by extending an existing middleware platform that help the development of mobile context-aware applications. This work present a service named COP (Contextual data Offloading service with Privacy Support) and is based in: (i) a context model, (ii) a privacy policy and (iii) synchronization policies. The COP aims to store and process the contextual data generated from several mobile devices, using the computational power of the cloud. To evaluate this work we developed an application that uses both the migration and the privacy mechanism of the contextual data of the COP. Other two experiments were made. The first experiment evaluated the impact of contextual filter processing in mobile device and remote environment, in which the processing time and energy consumption were measured. In this experiment was possible to conclude that the migration of data from mobile device to a remote environment is advantageous. The second experiment evaluated the energy consumption to send contextual data. / Dispositivos móveis tornaram-se uma ferramenta comum no dia a dia das pessoas. Aplicações móveis cada vez mais exigem o acesso às informações contextuais. Por exemplo, aplicações requerem os dados do ambiente do usuário, bem como dos seus perfis, a fim de se adaptarem (interfaces, serviços, conteúdo) de acordo com esses dados de contexto. Aplicações com esse comportamento são conhecidas como aplicações sensíveis ao contexto. Várias infraestruturas de software foram criadas para ajudar no desenvolvimento dessas aplicações. No entanto, foi verificado que a maioria delas não possui um histórico dos dados contextuais, uma vez que os dispositivos móveis são limitados em recursos de armazenamento. Também foi verificado que a maioria delas não é construída levando em conta a privacidade dos dados contextuais, o que pode levar à exposição desses dados sem o consentimento do usuário. Esta dissertação aborda tais tópicos, estendendo uma plataforma de middleware existente que ajuda o desenvolvimento de aplicativos móveis e sensíveis ao contexto. Este trabalho apresenta um serviço denominado COP (Contextual data Offloading service with Privacy Support) e é baseado em: (i) um modelo de contexto, (ii) uma política de privacidade e (iii) em políticas de sincronização de dados. O COP visa armazenar e processar os dados contextuais gerados a partir de vários dispositivos móveis, utilizando o poder computacional da nuvem. Para avaliar este trabalho foi desenvolvida uma aplicação que utiliza tanto a migração como o mecanismo de privacidade dos dados contextuais do COP. Outros dois experimentos foram feitos. O primeiro experimento avaliou o impacto da execução de filtros contextuais no dispositivo móvel e no ambiente remoto, em que foi medido o tempo e gasto energético desse processamento. Nesse experimento foi possível concluir que a migração de dados de um dispositivo móvel para um ambiente remoto é vantajosa. O segundo experimento avaliou o gasto energético para o envio dos dados contextuais.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Many alternatives have been employed in order to process all the data generated by current applications in a timely manner. One of these alternatives, the Apache Hadoop, combines parallel and distributed processing with the MapReduce paradigm in order to provide an environment that is able to process a huge data volume using a simple programming model. However, Apache Hadoop has been designed for dedicated and homogeneous clusters, a limitation that creates challenges for those who wish to use the framework in other circumstances. Often, acquiring a dedicated cluster can be impracticable due to the cost, and the acquisition of reposition parts can be a threat to the homogeneity of a cluster. In these cases, an option commonly used by the companies is the usage of idle computing resources in their network, however the original distribution of Hadoop would show serious performance issues in these conditions. Thus, this study was aimed to improve Hadoop’s capacity of adapting to pervasive and shared environments, where the availability of resources will undergo variations during the execution. Therefore, context-awareness techniques were used in order to collect information about the available capacity in each worker node and distributed communication techniques were used to update this information on scheduler. The joint usage of both techniques aimed at minimizing and/or eliminating the overload that would happen on shared nodes, resulting in an improvement of up to 50% on performance in a shared cluster, when compared to the original distribution, and indicated that a simple solution can positively impact the scheduling, increasing the variety of environments where the use of Hadoop is possible. / Diversas alternativas têm sido empregadas para o processamento, em tempo hábil, da grande quantidade de dados que é gerada pelas aplicações atuais. Uma destas alternativas, o Apache Hadoop, combina processamento paralelo e distribuído com o paradigma MapReduce para fornecer um ambiente capaz de processar um grande volume de informações através de um modelo de programação simplificada. No entanto, o Apache Hadoop foi projetado para utilização em clusters dedicados e homogêneos, uma limitação que gera desafios para aqueles que desejam utilizá-lo sob outras circunstâncias. Muitas vezes um cluster dedicado pode ser inviável pelo custo de aquisição e a homogeneidade pode ser ameaçada devido à dificuldade de adquirir peças de reposição. Em muitos desses casos, uma opção encontrada pelas empresas é a utilização dos recursos computacionais ociosos em sua rede, porém a distribuição original do Hadoop apresentaria sérios problemas de desempenho nestas condições. Sendo assim, este estudo propôs melhorar a capacidade do Hadoop em adaptar-se a ambientes, pervasivos e compartilhados, onde a disponibilidade de recursos sofrerá variações no decorrer da execução. Para tanto, utilizaram-se técnicas de sensibilidade ao contexto para coletar informações sobre a capacidade disponível nos nós trabalhadores e técnicas de comunicação distribuída para atualizar estas informações no escalonador. A utilização conjunta dessas técnicas teve como objetivo a minimização e/ou eliminação da sobrecarga que seria causada em nós com compartilhamento, resultando em uma melhora de até 50% no desempenho em um cluster compartilhado, quando comparado com a distribuição original, e indicou que uma solução simples pode impactar positivamente o escalonamento, aumentando a variedade de ambientes onde a utilização do Hadoop é possível.

nÃo hà / O principal desafio de um Sistema de RecomendaÃÃo à conseguir identificar e recomendar itens que tenham maior chance de corresponder aos interesses de seus usuÃrios que, em geral, possuem uma natureza bastante subjetiva e heterogÃnea. à importante, entÃo, que os Sistemas de RecomendaÃÃo possam recomendar itens personalizados a partir da identificaÃÃo do perfil de cada usuÃrio. Entretanto, muitas vezes, o perfil do usuÃrio nÃo à suficiente para que o sistema consiga identificar completamente seus interesses. A utilizaÃÃo do sistema em um contexto diferente do habitual pode acarretar em um resultado insatisfatÃrio para a recomendaÃÃo, sendo necessÃria sua adaptaÃÃo ao novo contexto. Este trabalho propÃe uma abordagem para inserÃÃo de sensibilidade ao contexto em Sistemas de RecomendaÃÃo, a qual utiliza, alÃm do contexto do usuÃrio, o prÃprio contexto dos itens recomendados. Para tal, tÃcnicas de recomendaÃÃo baseadas em conhecimento sÃo adaptadas para incluir regras de domÃnio com carÃter contextual. A abordagem proposta à utilizada na concepÃÃo de um sistema de recomendaÃÃo de fotos sensÃvel ao contexto que explora o contexto do usuÃrio e o contexto de geraÃÃo das fotos para a realizaÃÃo da recomendaÃÃo. AtravÃs do sistema desenvolvido, a abordagem à validada a partir de experimentos com usuÃrios, nos quais sÃo avaliados a qualidade da recomendaÃÃo e os ganhos obtidos com a utilizaÃÃo das informaÃÃes contextuais.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / 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. / 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.

Made available in DSpace on 2016-03-22T17:26:26Z (GMT). No. of bitstreams: 1 Luthiano.pdf: 2917116 bytes, checksum: 1552e3d64f89b78bc1ba5b80c02ad3be (MD5) Previous issue date: 2010-03-29 / This work was aimed at the proposition of a mechanism for context awareness in ubiquitous computing. With technological advances we have smaller and smaller devices and greater computing power and communication which enhances the mobility of the User when carrying their equipment. In this sense, a ubiquitous environment requires the existence of different devices such as sensors, actuators and electronics in general that interact in different ways with users. The diversity of devices and information in a ubiquitous environment as it is, introduces different challenges for interoperability between the different parties involved. Therefore, when building and running applications ubiquitous context-aware, a number of features that should be provided, involving the acquisition of contextual information from the set of heterogeneous sources and distributed to the representation of the information and its processing . With a view to meet these demands of ubiquitous computing, is designed to EXEHDA-SS, to be responsible for processing the contextual information for tasks of manipulation and deduction from the context using ontologies for the representation and processing of contextual information using semantic support / Este trabalho tem como objetivo central a proposic¸ ao de um mecanismo para sensibilidade ao contexto na computac¸ ao ub´ıqua. Com os avanc¸os tecnol´ogicos temos dispositivos cada vez menores e com maior poder de computac¸ ao e comunicac¸ ao o que potencializa a mobilidade do usu´ario quando portando seus equipamentos. Neste sentido, um Ambiente Ub´ıquo pressup oe a exist encia de diferentes dispositivos, tais como sensores, atuadores e eletroeletr onicos em geral que interagem de diferentes maneiras com os usu´arios. A diversidade de dispositivos e informac¸ oes de um Ambiente Ub´ıquo assim constitu´ıdo, introduz diferentes desafios para interoperabilidade entre as diferentes partes envolvidas. Portanto, ao se construir e executar aplicac¸ oes ub´ıquas sens´ıveis ao contexto, h´a uma s´erie de funcionalidades que devem ser providas, envolvendo desde a aquisic¸ ao de informac¸ oes contextuais, a partir do conjunto de fontes heterog eneas e distribu´ıdas, at´e a representac¸ ao dessas informac¸ oes, e seu processamento. Na perspectiva de atender estas demandas da computac¸ ao ub´ıqua, foi concebido o EXEHDA-SS, para ser respons ´avel pelo tratamento das informac¸ oes contextuais, realizando tarefas de manipulac¸ ao e deduc¸ ao sobre o contexto, utilizando ontologias para a representac¸ ao e processamento das informac¸ oes contextuais empregando suporte sem antico .

COSTA, Paulo Alexandre da Silva. Uma ferramenta para análise automática de modelos de características de linhas de produtos de software sensível ao contexto. 2012. 120 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T15:00:02Z No. of bitstreams: 1 2012_dis_pascosta.pdf: 4531402 bytes, checksum: d2d946bd5cd88cf8370f2db5df31f7d1 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:48:46Z (GMT) No. of bitstreams: 1 2012_dis_pascosta.pdf: 4531402 bytes, checksum: d2d946bd5cd88cf8370f2db5df31f7d1 (MD5) / Made available in DSpace on 2016-07-20T13:48:46Z (GMT). No. of bitstreams: 1 2012_dis_pascosta.pdf: 4531402 bytes, checksum: d2d946bd5cd88cf8370f2db5df31f7d1 (MD5) Previous issue date: 2012 / Software product lines are a way to maximize software reuse once it provides mass software customization. Software product lines (SPLs) have been also used to support contextaware application’s development where adaptability at runtime is an important issue. In this case, SPLs are known as Context-aware software product lines. Context-aware software product line (CASPL) success depends on the modelling of their features and relevant context. However, a manual process to build and configure these models can add several errors such as replicated features, loops, and dead and false optional features. Because of this, there is a need of techniques to verify the model consistency. In the context-aware application domain, the consistency verification plays an important role, since application in this domain use context to both provide services and self-adaptation, when it is needed. In this sense, context-triggered adaptations may lead the application to undesired state. Moreover, in some cases, the statement that a contex-triggered adaptation is undesired only can be made at runtime, because the error is conditioned to the current product configuration. Additionally, applications in this domain are submitted to large volumes of contextual changes, which imply that manual verification is virtually not viable. So, it is interesting to do consistency verification in a automated way such that a computational entity may execute these operations. As there is few automated support for these proccesses, the objective of this work is to propose the complete automation of these proccesses with a software tool, called FixTure, that does consistency verification of feature diagrams during their development and product configuration. FixTure tool also supports contextual changes simulation during the lifecycle of a CASPL application in order to identify inconsistencies that can happen at runtime. / As Linhas de produtos de software são uma forma de maximizar o reuso de software, dado que proveem a customização de software em massa. Recentemente, Linhas de produtos de software (LPSs) têm sido usadas para oferecer suporte ao desenvolvimento de aplicações sensíveis ao contexto nas quais adaptabilidade em tempo de execução é um requisito importante. Neste caso, as LPSs são denominadas Linhas de produtos de software sensíveis ao contexto (LPSSCs). O sucesso de uma LPSSC depende, portanto, da modelagem de suas características e do contexto que lhe é relevante. Neste trabalho, essa modelagem é feita usando o diagrama de características e o diagrama de contexto. Entretanto, um processo manual para construção e configuração desses modelos pode facilitar a inclusão de diversos erros, tais como duplicação de características, ciclos, características mortas e falsos opcionais sendo, portanto, necessário o uso de técnicas de verificação de consistência. A verificação de consistência neste domínio de aplicações assume um papel importante, pois as aplicações usam contexto tanto para prover serviços como para auto-adaptação caso seja necessário. Neste sentido, as adaptações disparadas por mudanças de contexto podem levar a aplicação a um estado indesejado. Além disso, a descoberta de que algumas adaptações podem levar a estados indesejados só pode ser atestada durante a execução pois o erro é condicionado à configuração atual do produto. Ao considerar que tais aplicações estão sujeitas a um grande volume de mudanças contextuais, a verificação manual torna-se impraticável. Logo, é interessante que seja possível realizar a verificação da consistência de forma automatizada de maneira que uma entidade computacional possa realizar essas operações. Dado o pouco suporte automatizado oferecido a esses processos, o objetivo deste trabalho é propor a automatização completa desses processos com uma ferramenta, chamada FixTure (FixTure), para realizar a verificação da construção dos modelos de características para LPSSC e da configuração de produtos a partir desses modelos. A ferramenta FixTure também provê uma simulação de situações de contexto no ciclo de vida de uma aplicação de uma LPSSC, com o objetivo de identificar inconsistências que ocorreriam em tempo de execução.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / In ubiquitous systems, due to the complexity added by the use of contextual information, the application of context aware exception handling (CAEH) techniques has many challenges and in the literature several approaches have been found to define concepts and abstractions useful for modeling CAEH. However, only one of these approaches proposes a method for specification and verification of models in the field of ubiquitous systems, which provides a tool for specifying the CAEH model using a Java API, and also generates an error report to a text file. The disadvantage of this approach is that the designer should strive to understand programming details that are irrelevant to the analysis process of the exceptional behavior of the system. Then, this work aims to propose a domain specific language for modeling CAEH, which provides abstractions and constructors that allow to express relevant concepts and make the task of designing CAEH models simpler and more intuitive. In addition, the language is integrated with the tool mentioned before that allows automatic model verification. The errors generated by the verifier are now shown directly in the source code making their identification and correction easier for the designer. In order to evaluate the language, a case study is conducted to provide evidence of its viability as an alternative to modeling CAEH. / Em sistemas ubÃquos, devido à complexidade inserida pela utilizaÃÃo de informaÃÃes contextuais, a aplicaÃÃo de tÃcnicas de tratamento de exceÃÃo sensÃvel ao contexto (TESC) tem sido objeto de estudo para muitos pesquisadores. Na literatura sÃo encontradas diversas abordagens que definem conceitos e abstraÃÃes Ãteis para modelagem de TESC. Entretanto, apenas uma dessas abordagens propÃe um mÃtodo para especificaÃÃo e verificaÃÃo de modelos no domÃnio de sistemas ubÃquos o qual fornece uma ferramenta para especificaÃÃo do modelo de TESC atravÃs de uma API Java, e gera ainda um relatÃrio de erros em um arquivo texto. A desvantagem dessa abordagem à que o projetista deve se esforÃar para entender detalhes de programaÃÃo irrelevantes ao processo de anÃlise do comportamento excepcional do sistema. Esta dissertaÃÃo tem portanto como objetivo propor uma linguagem de domÃnio especÃfico para modelagem de TESC, com o intuito de oferecer abstraÃÃes e construtores que permitem expressar conceitos pertinentes e tornar a tarefa de projetar modelos de TESC mais simples e intuitiva. AlÃm disso, a linguagem à integrada com a ferramenta citada anteriormente, o que permite realizar a verificaÃÃo do modelo de forma automÃtica. Os erros gerados pelo verificador sÃo mostrados agora diretamente no cÃdigo do modelo facilitando a identificaÃÃo e correÃÃo dos mesmos pelo projetista. A fim de avaliar a linguagem, um estudo de caso à realizado para fornecer indÃcios de sua viabilidade como alternativa para modelagem de TESC.