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.