A Arquitetura Orientada a Serviços (SOA) é um estilo arquitetural formado por um conjunto de restrições que visa promover a escalabilidade e a flexibilidade de um sistema, provendo suas funcionalidades como serviços. Nos últimos anos, um estilo alternativo foi proposto e amplamente adotado, que projeta as funcionalidades de um sistema como recursos. Este estilo arquitetural orientado a recursos é chamado de REST. O teste de serviços web em geral apresenta vários desafios devido a sua natureza distribuída, canal de comunicação pouco confiável, baixo acoplamento e a falta de uma interface de usuário. O teste de serviços RESTful (serviços que utilizam o REST) compartilham estes mesmos desafios e ainda necessitam que suas restrições sejam obedecidas. Estes desafios demandam testes mais sistemáticos e formais. Neste contexto, o teste baseado em modelos (TBM) se apresenta como um processo viável para abordar essas necessidades. O modelo que representa o sistema deve ser simples e ao mesmo tempo preciso para que sejam gerados casos de teste com qualidade. Com base nesse contexto, este projeto de mestrado propõe uma abordagem baseada em modelos para testar serviços RESTful. O modelo comportamental adotado foi a máquina de estados de protocolos UML, capaz de formalizar a interface do serviço enquanto esconde o seu funcionamento interno. Uma ferramenta foi desenvolvida para gerar automaticamente os casos de teste usando critérios de cobertura de estados e transições para percorrer o modelo / Service Oriented Architecture (SOA) is an architectural style consisting of a set of restrictions aimed at promoting the scalability and flexibility of a system, providing its functionalities as services. In recent years, an alternative style was proposed and widely adopted, which designs the system\'s functionalities as resources. This resource oriented architectural style is called REST. In general, the test of web services has several challenges due to its distributed nature, unreliable communication channel, low coupling and the lack of a user interface. Testing RESTful web services (services that use REST) share these same challenges and also need to obey the REST constraints. These challenges require a more systematic and formal testing approach. In this context, model based testing presents itself as a viable process for addressing those needs. The model that represents the system should be simple and precise enough to generate quality test cases. Based on this context, this work proposes a model based approach to test RESTful web services. The behavioral model used was the UML protocol state machine, which is capable to provide a formalization of the service interface, while hiding its internal behaviour. A tool was developed to automatically generate test cases using the state and transition coverage criteria to traverse the model

This thesis proposes a collaboration framework for the Web of Things based on the concepts of Service-oriented Architecture and integrated with semantic web technologies to offer new possibilities in terms of efficient asset management during operations requiring multi-actor collaboration. The motivation for the project comes from the rise in disasters where effective cross-organisation collaboration can increase the efficiency of critical information dissemination. Organisational boundaries of participants as well as their IT capability and trust issues hinders the deployment of a multi-party collaboration framework, thereby preventing timely dissemination of critical data. In order to tackle some of these issues, this thesis proposes a new collaboration framework consisting of a resource-based data model, resource-oriented access control mechanism and semantic technologies utilising the Semantic Sensor Network Ontology that can be used simultaneously by multiple actors without impacting each other’s networks and thus increase the efficiency of disaster management and relief operations. The generic design of the framework enables future extensions, thus enabling its exploitation across many application domains. The performance of the framework is evaluated in two areas: the capability of the access control mechanism to scale with increasing number of devices, and the capability of the semantic annotation process to increase in efficiency as more information is provided. The results demonstrate that the proposed framework is fit for purpose.

Структура магистерской диссертации включает в себя введение, три главы, заключение, список использованных источников и приложения. В первой главе дано определение термину «ресурс». Рассмотрены различные группы ресурсов. Рассмотрены существующие ресурсные концепции. Определены основные виды ресурсов, используемых муниципальными образованиями Свердловской области. Сформулирован вывод об эффективности процессов выявления и использования материальных и нематериальных ресурсов муниципальными образованиями региона. Во второй главе рассматривается группа нематериальных ресурсов. Уделено внимание роли нематериальных ресурсов в развитии муниципального образования на примере ГО Верхняя Пышма. Проанализирована стратегия социально-экономического развития ГО Верхняя Пышма с учетом использования нематериальных ресурсов. Разработана ресурсно-ориентированная методика оценки деятельности муниципальных образований Свердловской области на примере ГО Верхняя Пышма. В третьей главе проведена оценка социально-экономической эффективности планируемого к реализации инвестиционно-строительного проекта по строительству физкультурно-оздоровительного центра в ГО Верхняя Пышма. На основе проведённого анализа был выбран один из потенциальных векторов развития ГО, направленный на решение задачи сохранения и укрепления здоровья населения, на базе улучшения физкультурно-оздоровительной инфраструктуры ГО. / The structure of the master's thesis includes an introduction, three chapters, a conclusion, a list of sources used and applications. The first chapter defines the term “resource”. Various resource groups are considered. Existing resource concepts are considered. The main types of resources used by municipalities of the Sverdlovsk region are identified. The conclusion is formulated on the effectiveness of the processes of identifying and using material and intangible resources by the municipalities of the region. The second chapter discusses a group of intangible resources. Attention is paid to the role of intangible resources in the development of a municipality using the example of Verkhnyaya Pyshma civil defense. The author analyzes the strategy of socio-economic development of Verkhnyaya Pyshma GO taking into account the use of intangible resources. A resource-oriented methodology has been developed for assessing the activities of municipalities in the Sverdlovsk region using the example of Verkhnyaya Pyshma municipal unit. The third chapter assesses the socio-economic efficiency of the investment and construction project planned for the implementation of the construction of a fitness center in Verkhnyaya Pyshma. Based on the analysis, one of the potential vectors for the development of civil defense was selected, aimed at solving the problem of maintaining and strengthening the health of the population, based on improving the physical culture and health infrastructure of civil defense.