Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Sistema mecatrônico de tempo real para monitoramento da qualidade da água embarcado em veleiro robótico autônomo

We propose a mechatronic system for monitoring water quality in rivers, lakes, dams and sea, able to perform the acquisition, processing and presentation of data via the web in real time, in order to facilitate analysis quickly and needs by interested communities. The hardware architecture and software monitoring system has been developed so that it can be generic, that is, supporting different applications. Nevertheless, as a validation of the proposed system, we built a prototype that operates embarked on an autonomous robotic sailboat, a responsible platform for collecting the data in multiple predefined points from a ground station with a planning system navigation. This final application combines the advantages of autonomy of a robotic sailboat with the need for fast and accurate monitoring of water quality, in addition to the use of an autonomous robotic sailboat unmanned facilitate the development of other research in this area.

Avaliação sistemática de uma abordagem para integração de funcionalidades em sistemas web clonados

The software product line engineering brings advantages when compared with the traditional software development regarding the mass customization of the system components. However, there are scenarios that to maintain separated clones of a software system seems to be an easier and more flexible approach to manage their variabilities of a software product line. This dissertation evaluates qualitatively an approach that aims to support the reconciliation of functionalities between cloned systems. The analyzed approach is based on mining data about the issues and source code of evolved cloned web systems. The next step is to process the merge conflicts collected by the approach and not indicated by traditional control version systems to identify potential integration problems from the cloned software systems. The results of the study show the feasibility of the approach to perform a systematic characterization and analysis of merge conflicts for large-scale web-based systems.

Estudo da usabilidade do portal do aluno do SIGAA Mobile Android da UFRN: identificando diretrizes de interface a serem utilizadas como recomendações no processo de desenvolvimento das funcionalidades deste sistema

Avaliação de usabilidade é um processo importante durante o desenvolvimento de um software, seja ele para um sistema web ou mobile. No caso de um sistema mobile, o custo é bastante oneroso, tanto no que se refere à mão de obra especializada, como de recursos tecnológicos utilizados, tornando essa avaliação de usabilidade ainda mais importante. Além disso, as versões webdos sistemas SIG da UFRN já estão consolidadas e com uma grande aceitação, fazendo com que suas versões mobile tenham, ainda mais, a preocupação de lançar um produto de boa qualidade para manter essa credibilidade dos sistemas SIG , tanto na UFRN, como nas demais instituições que utilizam esses sistemas. Com este trabalho, buscou-se identificar algumas diretrizes de interface que possam ser utilizadas no processo de desenvolvimento dos sistemas SIG Mobile, mais especificamente o SIGAA Mobile, de modo a facilitar o desenvolvimento de novas funcionalidades voltadas para estes sistemas. Para isso, foi realizada uma avaliação de usabilidade no Portal do Aluno do SIGAA Mobile Android, tomando como base padrões de interface já existentes na literatura. Posteriormente, foi aplicado um questionário com os usuários do sistema para coletar as opiniões e sugestões dos mesmos. De posse de todos esses dados coletados, foi possível definir algumas diretrizes de interface a serem seguidas como recomendações no processo de desenvolvimento dos sistemas SIG Mobile.