Search

Mestrado em IPB-ESTG O avanço de toda a tecnologia influencia o melhoramento de todos os setores com quais possui ligação, independentemente do seu impacto. O setor da medicina é uns dos setores que sofreu e ainda continua a sofrer várias alterações tecnológicas que proporcionam melhores condições de vida e, consequentemente, a extensão da idade média de vida. Um problema que hoje em dia ainda persiste no setor da população idosa é a não adesão ao medicamento prescrito, um problema causado pelo não cumprimento integral da prescrição, o que pode trazer graves consequências para a população idosa. Este problema poderia ser tratado ao existir um serviço capaz fazer a gestão e a ligação entre o cuidador e o dispensador fornecido a um idoso, para haver uma melhor relação entre as duas pessoas. Este projeto tem como base o projeto "Automatic pills dispenser device - SelfMed" e o seu objetivo é estabelecer a ligação entre o dispositivo fornecido e um serviço web, para facilitar o cuidado da população idosa e gestão dos dispositivos. Este trabalho foi desenvolvido no âmbito do projeto SelfMed e visa a implementação de um serviço web capaz de estabelecer ligação com o dispensador de medicamentos inteligente e fazer a gestão da informação sobre os vários cuidadores e idosos ligados ao serviço. Como passo final, irá ser feita uma conclusão sobre o trabalho realizado e o estudo das suas aplicações para o futuro. The advance of all technology influences the improvement of all the sectors with which it is connected, regardless of its impact. The medical sector is one of the sectors that has undergone and continues to undergo various technological changes that provide better living conditions and, consequently, the extension of the average lifespan. A problem that still persists today in the elderly population sector is non-adherence to the prescribed medication, a problem caused by not fully complying with the prescription, which can bring serious consequences for the elderly population. This problem could be addressed by having a service capable of managing and connection between the caregiver and the dispenser provided to an elderly person, so that there is a better relationship between them. This project is based on the project "Automatic pills dispenser device - SelfMed" and its goal is to establish the connection between the device provided and a web service, in order to facilitate the care of the elderly population and device management. This work was developed within the SelfMed project and aims to implement a web service capable of establishing a connection with the smart medicine dispenser and manage information about the various caregivers and elderly connected to the service. As a final step, a conclusion will be made about the work that was done and the study of its applications for the future.

As técnicas da área de Processamento de Linguagem Natural (PLN) são cada vez mais utilizadas para enriquecer aplicações nas mais diversas áreas. As ferramentas que implementam ou apoiam o desenvolvimento destas técnicas podem ser complexas de manter e explorar, sendo por vezes necessário conhecimento específico do domínio. Este artigo introduz o projeto PLN.PT, uma plataforma online que disponibiliza um conjunto de ferramentas para PLN como um serviço web (REST API), orientado principalmente para a língua portuguesa., ste artigo foi parcialmente desenvolvido no ˆambito do projecto “SmartEGOV: Harnessing EGOV for Smart Governance (Foundations, methods, Tools) / NORTE-01-0145-FEDER- 000037”, cofinanciado pelo Programa Operacio- nal Regional do Norte (NORTE 2020), atrav ́es do PORTUGAL 2020 e do Fundo Europeu de Desenvolvimento regional (FEDER).

Software Engineering is a discipline that encompasses all aspects of the production of a software system, from the early stages of the system specification to maintenance, when the system is already being used. A very interesting area in Software Engineering is software reuse, which impacts positively on reducing time, costs and risks in software development processes. Therefore, it can be stated that software reuse improves not only the software development process, but also the product itself. One of the main approaches for software reuse is service oriented development, which adopts the Service-Oriented Architecture (SOA) paradigm. In SOA, services represent a natural evolution of component-based development, and therefore can be defined as loosely coupled, reusable software components, that encapsulate discrete functionality, can be distributed and remotely accessed through coding. It is important to highlight that while SOA is an architectural paradigm for developing software systems, Web Services represent the most widely existing technology adopted to implement SOA exploring protocols based on Internet standards and on XML. With the growth of the market and the use of web services, the tendency is always increase the number of services available for assembly applications in different contexts, making impractical the task of manually selecting the services required to compose a software system. Consequently, one can state that the effort needed to select the required services tends to increase more and more, creating a problem with a large and complex search space, making it necessary the automation of the selection process based on metaheuristic search techniques. In this context, the proposed work aims to automate the web services selection process using techniques of Search-Based Software Engineering, in which the selection strategy is guided by structural and functional metrics that have the purpose of evaluating the similarity between the specifications and respective implementations of candidate services as well as their dependencies, thus reducing the effort of adaptation and integration of web services developed by different suppliers. Engenharia de Software é uma disciplina que engloba todos os aspectos da produção de um sistema de software, incluindo desde os estágios iniciais da especificação do sistema até sua manutenção, quando o sistema já está sendo utilizado. Uma área de estudo bastante interessante da Engenharia de Software é o reuso de software, que impacta positivamente na redução do tempo, dos custos e dos riscos provenientes de um processo de desenvolvimento de software. Portanto, é possível afirmar que o reuso de software melhora, não apenas o processo de desenvolvimento de software, mas também o próprio produto. Uma das principais abordagens de reuso de software é o desenvolvimento orientado a serviços, que adota o paradigma da Arquitetura Orientada a Serviços (SOA – Service-Oriented Architecture). No paradigma SOA, serviços representam uma evolução natural do desenvolvimento baseado em componentes, e, portanto, podem ser definidos como componentes de software de baixo acoplamento, reusáveis, que encapsulam funcionalidades discretas, que podem ser distribuídos e acessados remotamente de forma programática. É importante destacar que, enquanto SOA é um paradigma arquitetural para desenvolvimento de sistemas de software, serviços web (web services) representam a tecnologia existente mais amplamente adotada para implementar SOA explorando protocolos baseados em padrões da internet e em XML (eXtensible Markup Language). Com o crescimento do mercado e utilização dos serviços web, a tendência é sempre aumentar o número de serviços disponíveis para montagem de aplicações em diferentes contextos, tornando impraticável a tarefa de selecionar de forma manual os serviços requeridos para compor um sistema de software. Consequentemente, é possível afirmar que o esforço necessário para selecionar os serviços requeridos tende a aumentar cada vez mais, gerando um problema com um grande e complexo espaço de busca, tornando necessária a automatização do processo de seleção baseada em técnicas de busca metaheurística. Neste contexto, o trabalho proposto visa automatizar o processo de seleção de serviços web utilizando técnicas da Engenharia de Software Baseada em Buscas, cuja estratégia de seleção é orientada por métricas funcionais e estruturais, que têm o propósito de avaliar a similaridade entre as especificações e as respectivas implementações dos serviços candidatos, bem como as suas dependências, reduzindo assim o esforço de adaptação e integração de serviços web desenvolvidos por fornecedores distintos.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior This work formalizes four methods based on Linear Logic for the verification of interorganizational workflow processes modelled by Interorganizational Workflow nets, which are Petri nets that model such processes. The first method is related to the verification of the Soundness criteria for interorganizational workflow processes. The method is based on the construction and analysis of Linear Logic proof trees, which represent the local processes as much as they do the global processes. The second and third methods are related, respectively to Soundness criteria verification, Relaxed Soundness and Weak Soundness for the interorganizational workflow processes. These are obtained through the analysis of reutilized Linear Logic proof trees that have been constructed for the verification of the Soundness criteria. However, the fourth method has the objective of detecting the deadlock free scenarios in interorganizational workflow and is based on the construction and analysis of Linear Logic proof trees, which initially takes into consideration the local processes and communication between such, and thereafter the candidate scenarios. A case study is carried out in the context of a Web services composition check, since there is a close correlation between the modelling of the interorganizational workflow process and a Web services composition. Therefore, the four methods proposed in the interorganizational workflow process context, are applied to a Web services composition. The evaluation of the obtained results shows that the reutilization of Linear Logic proof trees initially constructed for verifying the Soundness criteria, in fact occurs in the context of verifying the Relaxed Soundness andWeak Soundness criteria. In addition, the evaluation shows how the Linear Logic sequents and their proof trees explicitly show the possibilities for existing collaborations in a Web service composition. An evaluation that takes into account the number of constructed linear logic proof trees shows that this number can be significantly reduced in the deadlock-freeness scenarios detection method. An approach for resource planning based on the symbolic date calculation, which considers data extracted from Linear Logic proof trees is presented and validated through simulations performed on the CPN tools simulator. Two approaches for the monitoring of deadlockfreeness scenarios are introduced and show how data obtained from the Linear Logic proof trees can be used to guide the execution of such scenarios. Este trabalho formaliza quatro métodos baseados na Lógica Linear para verificação de processos de workflow interorganizacionais modelados por WorkFlow nets interorganizacionais, que são redes de Petri que modelam tais processos. O primeiro método está relacionado com a verificação do critério de correção Soundness para processos de workflow interorganizacionais. O método é baseado na construção e análise de árvores de prova da Lógica Linear que representam tanto os processos locais quanto o processo global. O segundo e terceiro métodos estão relacionados, respectivamente, com a verificação dos critérios de correção Relaxed Soundness e Weak Soundness para processos de workflow interorganizacionais, e são obtidos através da análise de árvores de prova da Lógica Linear reutilizadas, construídas para a prova do critério de correção Soundness. Já o quarto método tem por objetivo a detecção dos cenários livres de deadlock em processos de workflow interorganizacionais e é baseado na construção e análise de árvores de prova da Lógica Linear que consideram, inicialmente, os processos locais e as comunicações entre estes e, posteriormente, os cenários candidatos. Um estudo de caso é realizado no contexto da verificação de composições de serviços Web, uma vez que há uma relação estreita entre a modelagem de um processo de workflow interorganizacional e uma composição de serviços Web. Assim, os quatro métodos propostos no contexto dos processos de workflow interorganizacionais são aplicados a uma composição de serviços Web. A avaliação dos resultados mostra que o reuso de árvores de prova da Lógica Linear construídas inicialmente para a prova do critério de correção Soundness de fato ocorre no contexto da verificação dos critérios de correção Relaxed Soundness e Weak Soundness. Além disso, a avaliação mostra como os sequentes da Lógica Linear e suas árvores de prova explicitam as possibilidades de colaboração existentes em uma composição de serviços Web. Uma avaliação que leva em conta o número de árvores de prova da Lógica Linear construídas mostra que este número pode ser significativamente reduzido no método para detecção de cenários livres de deadlock. Uma abordagem para planejamento de recursos, baseada no cálculo de datas simbólicas, que considera dados extraídos de árvores de prova da Lógica Linear, é apresentada e validada através de simulações realizadas no simulador CPN Tools. Duas abordagens para a monitoração dos cenários livres de deadlock são introduzidas e mostram como dados obtidos nas árvores de prova da Lógica Linear podem ser utilizados para guiar a execução de tais cenários. Doutor em Ciência da Computação

Os Sistemas de Apoio à Decisão são fundamentais na gestão correta de uma organização. Mais concretamente no apoio à gestão de stock, este tipo de sistemas pode representar uma poupança significativa de fundos, facultando informação crucial sobre o estado e duração dos produtos em stock. Adicionalmente, a partilha de informação sobre aquisições por parte dos clientes pode gerar informação valiosa para a escolha dos produtos e fornecedores com melhores condições. Por outro lado, o caráter dinâmico da informação, assim como a alteração dos pressupostos que a sustentam, tornaram premente o recurso a plataformas que disponibilizem os dados corretos e atualizados, essenciais à tomada de decisão. A proliferação generalizada dos smartphones nas sociedades modernas a que temos assistido nos últimos anos pode ser, em parte, justificada por essa necessidade. De facto, esse tipo de sistemas móveis tem-se revelado muito apreciado e adequado pelos elevados índices de disponibilidade que proporcionam, acompanhando o decisor em todos os momentos e permitindo o acesso à informação atualizada em qualquer momento e em qualquer ponto do globo. Contudo, uma dificuldade associada a estes sistemas assenta na introdução de texto que, devido ao tamanho dos dispositivos, tende a ser mais demorada e a aumentar a dificuldade de utilização das aplicações. Neste sentido, as aplicações para smartphones devem simplificar o input de informação por parte do utilizador, compensando as limitações do hardware, com recurso a técnicas de software. No caso da tomada de decisão no apoio à gestão de stocks, e uma vez que essa informação se encontra toda relacionada através de produtos perfeitamente individualizados, é possível recorrer à utilização do código de barras, que funciona como identificador único e universal, facilitando assim as técnicas de input de dados e, simultaneamente, explorando os mecanismos de processamento de imagem existentes nesse tipo de equipamentos. Este trabalho apresenta o sistema SIGEBIC – Sistema Inteligente de Gestão de Existências Baseado em Imagens Codificadas, desde o seu desenho até à sua implementação e teste. O SIGEBIC consiste numa aplicação móvel, acoplada num sistema de informação web, que utiliza a câmara do smartphone para identificar um produto através do seu código de barras e fornecer informação ao cliente sobre o seu estado em stock, data prevista de rotura, custo das últimas aquisições, fornecedores habituais, entre outros. Adicionalmente, o sistema cruza a informação dos diferentes clientes para fornecer informação sobre os pontos de venda mais económicos e/ou mais próximos do local do cliente. Complementarmente, o módulo web do SIGEBIC é responsável pela gestão de stock e disponibilização da informação necessária e relevante para a aplicação móvel, mantendo um interface dinâmico com esta. Este sistema permite a manutenção de toda a informação agregada através de interfaces amigáveis e de fácil interação, facilitando assim a gestão de toda a informação disponibilizada pelo sistema. O sistema foi testado em dois cenários de utilização real, um empresarial e um doméstico. Os resultados evidenciaram as vantagens do sistema na melhoria do processo de gestão de inventários e no apoio à tomada de decisão logística.

Submitted by Mario BC (mario@bc.ufrpe.br) on 2017-02-09T13:06:10Z No. of bitstreams: 1 Marcelo Jose Santos da Silva.pdf: 1183645 bytes, checksum: 43ca9448ec3d71c0c05c86546f67ba46 (MD5) Made available in DSpace on 2017-02-09T13:06:10Z (GMT). No. of bitstreams: 1 Marcelo Jose Santos da Silva.pdf: 1183645 bytes, checksum: 43ca9448ec3d71c0c05c86546f67ba46 (MD5) Previous issue date: 2015-05-28 One of the most relevant topics in computing today is the Service Oriented Computing. This paradigm involves, in general, the use of Web services for the implementation of business capabilities. Service oriented systems, promote the reuse and interoperability insofar as they are developed using widely diffused and accepted standards (mainly based on the HTTP protocol). In this context, two protocols have been used for the invocation of Web services: SOAP and REST. This paper proposes an approach, consisting of a methodology and a model to evaluate the performance of Web services. The methodology aims to detail the activities necessary for the achievement of a performance evaluation study specifically focused on services, while the model is intended to represent with an acceptable level of similarity, the actual system. Additionally, it was also proposed a case study comparing the measurement and simulation of results. In particular, considering that the two most important communication protocols, SOAP and REST have been proposed in recent years to support design for implementing Web services, the case study focuses on a comparative test of these protocols, in order to evaluate performance issues in real-world scenarios. In the measurement phase, an environment was created with two kinds of Web services installed on a server. But the simulation model was created based on the assessed scenario in the measurement phase. In all tests performed in this work show that the SOAP achieved a lower result compared to performance compared to REST in the study developed. Um dos temas mais relevantes na área de computação, atualmente, é a Computação Orientada a Serviços. Este paradigma envolve, em geral, a utilização de serviços Web para a implementação das funcionalidades do negócio. Sistemas orientados a serviço, promovem o reuso e a interoperabilidade, na medida em que são desenvolvidos, usando padrões amplamente difundidos e aceitos (baseados principalmente no protocolo HTTP). Neste contexto, dois protocolos vêm sendo usados para a invocação de serviços Web: SOAP e REST. Este trabalho propõe uma abordagem, que consiste em uma metodologia e um modelo, para avaliar o desempenho de serviços Web. A metodologia visa detalhar as atividades necessárias para a realização de um estudo de avaliação de desempenho especificamente focado em serviços, enquanto o modelo visa representar, com um nível aceitável de semelhança, o sistema real.Adicionalmente, também foi proposto um estudo de caso comparando a medição e a simulação dos resultados obtidos. Em especial, considerando que os dois protocolos de comunicação mais relevantes, SOAP e REST, foram propostos nos últimos anos para apoiar a execução de projeto paraserviços Web, o estudo de caso centra-se em um teste comparativo destes protocolos, a fim de avaliar os aspectos de desempenho em cenários do mundo real. Na fase de medição, foi criado um ambiente com os dois tipos de serviços Web instalados em um servidor. Já o modelo de simulação foi criado com base no cenário avaliado na fase de medição. Em todos os testes realizados neste trabalho, apontam que o SOAP obteve um resultado inferior em relação a desempenho em comparação com o REST no estudo desenvolvido.

Mestrado em Engenharia de Computadores e Telemática O propósito desta tese teve como base o desenvolvimento de um mecanismo que permitisse que servidores Web (ou serviços) descobrissem e usassem serviços Web que executam localmente em relação aos clientes Web (serviços pessoais). Para conseguir isto, desenvolvemos uma solução que permita a um servidor de nomes local a descoberta de serviçoos pessoais (i.e., resolver nomes para referências para serviços) e uma solução que permita aos servidores Web a possibilidade de invocar esses serviços pessoas usando as referências obtidas. A comunicação entre os servidores Web e o servidor de nomes local ou os serviços pessoais e mediada pelo cliente Web local (um navegador) usando um novo mecanismo de redireção HTTP. HTTP, Web service, personal service, Broker, browser, HTTP redirection, name server. The purpose of this thesis was to devise a mechanism to allow Web servers (or services) to nd out and use other Web services running locally to Web clients (personal services). To do so, we had to create a solution for having a local name server to nd out personal services (i.e., resolve names to service handles) and a solution for allowing Web servers to invoke personal services given those handles. The communication between the Web servers and the local name server or the personal services is mediated by the Web client (a browser) using a new HTTP redirection mechanism.

Mestrado em Engenharia de Computadores e Telemática Submitted by Manuel Jesus (albertojesus@ua.pt) on 2017-10-18T12:28:39Z No. of bitstreams: 1 Name service for accessing personal services from Web servers.pdf: 3022238 bytes, checksum: 2da1801a5719da7395a02af0b91127b2 (MD5) Made available in DSpace on 2017-10-18T12:28:39Z (GMT). No. of bitstreams: 1 Name service for accessing personal services from Web servers.pdf: 3022238 bytes, checksum: 2da1801a5719da7395a02af0b91127b2 (MD5) Previous issue date: 2015

Trabalho de Projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores Atualmente existe uma oferta variada de meios de transporte, contudo, a escolha do transporte mais adequado, para uma determinada viagem, depende de diversos fatores, e.g. económicos (e.g. preço dos combustíveis) ou ambientais (e.g. emissão de dióxido de carbono). Sendo assim, pretende-se no âmbito deste projeto, desenvolver um sistema computacional para gerir (recolher e manter) a informação sobre os hábitos de mobilidade dos viajantes. Este sistema privilegia a utilização de dispositivos computacionais móveis, preferencialmente smartphones, considerando abordagens tecnológicas emergentes. Este projeto tem como principal objetivo a recolha de informação antes, durante e após uma determinada viagem, com a intenção de registar os hábitos de mobilidade de umviajante, tentando minimizar os recursos computacionais e humanos exigidos. A informação recolhida é gerida centralmente com o propósito de ser disponibilizadoseletivamente a quem interessar (e.g. operadores ou autoridades de transporte) ou a ser processada (e.g. gerar sugestões de transporte). Para a implementação deste projeto, é utilizada a tecnologia Android para o desenvolvimento de uma aplicação móvel destinada à recolha de experiências de mobilidade caraterizadas por dados obtidos pelos sensores existentes nos dispositivos móveis. Adicionalmente, foi desenvolvido um serviço web para suportar a submissãodas experiências de mobilidade que posteriormente podem ser processadas para, por exemplo, determinar o transporte envolvido nas experiências. Abstract: Nowadays, there is a huge variety of transport means, however, the choice of the most suitable transport mean, for a particular trip, depends on a variety of factors, e.g. economical (e.g. the price of fuel) or environmental (e.g. carbon dioxide emissions). With that in mind, this project, aims to develop a computational system to manage (retrieve and store) the information about the mobility habits of travellers. This system will favour the usage of mobile devices, such as smartphones, since lately these have been considered emerging technological approaches due to the high penetration in society . The main goal of this project will be the information retrieval before, during and after a mobility experience. The information retrieved will later be stored automatically, thus reducing the human and computational resources needed for such tasks. The information retrieved is also processed centrally at the repository, and afterwards made available selectively to third parties (e.g. transport operators or transport authorities) or to be processed (e.g. create transport suggestions or path studies). For the development of this project, Android technology is used to develop a mobile application for gathering mobility experiences, which are characterized by data obtained from the sensors that are present on mobile device s. In addition, a web service was developed to support submission of the mobile experiments, mobile experiments that will be later processed in order to, for example, determine the type of transport that was used in the mobility experiment.

Submitted by Manuel Brandão (mbrandao@estsp.ipp.pt) on 2014-07-03T11:18:25Z No. of bitstreams: 1 DM_FranciscoPacheco_2013_MEEC.pdf: 4644898 bytes, checksum: 15b696b7a1c55e5d98e7dde5e60950ac (MD5) Made available in DSpace on 2014-07-03T11:18:25Z (GMT). No. of bitstreams: 1 DM_FranciscoPacheco_2013_MEEC.pdf: 4644898 bytes, checksum: 15b696b7a1c55e5d98e7dde5e60950ac (MD5) Previous issue date: 2013

Este artigo mostra como um serviço web baseado em REST pode utilizar um sistema de AAA de modo transparente para um cliente que seja desde um browser a um servidor de aplicações web. Para tal, definimos os componentes da arquitetura com duas formas de troca de mensagens: seqüência agente e seqüência push. Nos dias atuais, é cada vez maior a demanda de separação de funcionalidades de aplicações em serviços web. A proposta deste artigo se mostra interessante para este cenário.