Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-04-18T14:16:18Z No. of bitstreams: 2 Dissertação - Marcos Alves Vieira - 2016.pdf: 4271419 bytes, checksum: 4b956a9d65582e1f1e1685988c493f7c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-04-18T14:17:45Z (GMT) No. of bitstreams: 2 Dissertação - Marcos Alves Vieira - 2016.pdf: 4271419 bytes, checksum: 4b956a9d65582e1f1e1685988c493f7c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-04-18T14:17:45Z (GMT). No. of bitstreams: 2 Dissertação - Marcos Alves Vieira - 2016.pdf: 4271419 bytes, checksum: 4b956a9d65582e1f1e1685988c493f7c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2016-02-26 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / Advances in electronics allow the creation of everyday devices with computing capabilities, called smart objects. Smart objects assist people in carrying out a variety of tasks and compose smart spaces. When smart spaces are confined to a certain area, they can be referred to as fixed smart spaces. In complement of these, personal smart spaces are composed by the smart objects a user carries with himself, hence with boundaries moving along with his owner. However, user mobility and the increasing number of smart spaces, fostered also by the Internet of Things (IoT) and the Web of Things (WoT), can lead to smart spaces overlap, where a certain smart object is configured in different smart spaces, whether fixed or personal. In addition, smart spaces are complex and difficult to model and maintain, as, among other factors, they have to deal with different smart objects. This thesis proposes the use of Model-Driven Engineering to enable modeling of ubiquitous computing scenarios, considering the coexistence between fixed and personal smart spaces. Its contributions include a metamodel for modeling scenarios composed by personal smart spaces and fixed smart spaces, together with a language and an algorithm, aiming at determining the access order to the resources of a ubiquitous computing scenario. The validation of the proposal was carried out based on the results of a Systematic Literature Review, conducted in order to identify metamodel validation methods most commonly used by researchers within the field. Thus, scenarios were modeled with the aid of modeling tools, which were constructed to produce models, conforming to the proposed metamodels. An implementation in Java enabled to validate the access policy language as well as its processing algorithm. / Os avanços em eletrônica estão possibilitando a criação de dispositivos do cotidiano com capacidades computacionais, chamados de objetos inteligentes. Os objetos inteligentes auxiliam as pessoas na realização de suas tarefas e compõem os espaços inteligentes. Quando os espaços inteligentes são restritos a uma determinada área, eles são denominados espaços inteligentes fixos. Em complementação a estes, os espaços inteligentes pessoais são formados pelos objetos inteligentes que um usuário carrega consigo e seus limites se movem juntamente com seu “dono”. No entanto, a mobilidade dos usuários e o crescente número de espaços inteligentes, fomentados também pela Internet das Coisas e Web das Coisas, podem levar à sobreposição de espaços inteligentes, onde um determinado objeto inteligente pode ser utilizado em diferentes espaços inteligentes, sejam estes fixos ou pessoais. Além disso, espaços inteligentes são complexos e difíceis de modelar e manter, pois, entre outros fatores, precisam lidar com diferentes objetos inteligentes. Este trabalho propõe o uso de técnicas de Engenharia Dirigida por Modelos para possibilitar a modelagem de cenários de computação ubíqua, considerando a coexistência entre espaços inteligentes fixos e pessoais. As contribuições deste trabalho incluem: um metamodelo para modelagem de cenários compostos por espaços inteligentes pessoais e espaços inteligentes fixos; e uma linguagem e um algoritmo, com objetivo de permitir determinar a ordem de acesso aos recursos de um cenário de computação ubíqua. A validação da proposta se deu com base nos resultados de uma Revisão Sistemática da Literatura, que foi conduzida com objetivo de identificar as formas de validação e avaliação de metamodelos mais utilizadas pelos pesquisadores da área. Dessa forma, cenários foram modelados com o auxílio de ferramentas de modelagem construídas para produzir modelos em conformidade com os metamodelos propostos. Uma implementação em linguagem Java permitiu validar tanto a linguagem de políticas de acesso quanto seu algoritmo de processamento.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-09-16T17:35:04Z No. of bitstreams: 2 Dissertação - Flayson Potenciano e Silva - 2016.pdf: 6563517 bytes, checksum: 7f7a3d166741057427f2d333473af546 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-09-19T11:17:33Z (GMT) No. of bitstreams: 2 Dissertação - Flayson Potenciano e Silva - 2016.pdf: 6563517 bytes, checksum: 7f7a3d166741057427f2d333473af546 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-09-19T11:17:33Z (GMT). No. of bitstreams: 2 Dissertação - Flayson Potenciano e Silva - 2016.pdf: 6563517 bytes, checksum: 7f7a3d166741057427f2d333473af546 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-09-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This dissertation presents a requirement representation approach for Dynamic Software Product Lines (DSPLs). DSPLs are oriented towards the designing of adaptive applications and each requirement is represented as a feature. Traditionally, features are represented in a Software Product Line (SPL) by a Feature Model (FM). Nonetheless, such a model does not originally support dynamic features representation. This dissertation proposes an extension to FM by adding a representation for dynamic feature to it so that the model can have a higher expressivity regarding the context change conditions and the application itself. Therefore, a metamodel based on Ecore meta-metamodel has been developed to enable the definition of both Dynamic Feature Models (proposed extension to FM) and Dynamic Feature Configurations (DFC), the latter used to describe the possible configuration of products at-runtime. In addition to a representation for dynamic features and the metamodel, this dissertation provides a tool that interprets the proposed model and allows Dynamic Feature Models design. Simulations involving dynamic feature state changes have been carried out, considering scenarios of a ubiquitous monitoring application for homecare patients. / Esta dissertação apresenta uma abordagem de representação de requisitos para Linhas de Produto de Software Dinâmicas (LPSD). LPSDs são voltadas para a produção de aplicações adaptativas e cada requisito é representado como uma característica. Tradicionalmente, características são representadas em uma Linha de Produto de Software (LPS) por meio de um Modelo de Características (MC). Tal modelo, no entanto, não possui, originalmente, suporte para a representação de características dinâmicas. Esta dissertação propõe uma extensão ao MC, incorporando uma representação para as características dinâmicas, de forma que o modelo tenha maior expressividade quanto às condições de mudanças de contexto e da própria aplicação. Para isso, um metamodelo baseado no meta-metamodelo Ecore foi desenvolvido, para possibilitar a definição tanto de Modelos de Características Dinâmicas (extensão do MC proposta) quanto também de Modelos de Configuração de Características Dinâmicas (MCC-D), estes utilizados para descrever as possíveis configurações dos produtos em tempo de execução. Além de uma representação para características dinâmicas e do metamodelo, essa dissertação traz como contribuição uma ferramenta que interpreta o metamodelo proposto e permite a construção de Modelos de Características Dinâmicas. Simulações envolvendo mudanças de estado das configurações de características dinâmicas foram realizadas, considerando cenários de uma aplicação ubíqua de monitoramento de pacientes domiciliares.