This thesis focuses on test management tools and automated testing. The project covers analysis of existing open source tools and proposes its own BDD orientated test management tool in the form of a web service. The project aims to specify and design this application based on the process of Behaviour driven development. The resulting application TestBuDDy allows for test library management. Changes on the test library are projected onto a remote repository of software under test (SUT) and triggers a test run (the test library is being run against SUT by the BDD framework). TestBuDDy is able to save the test run results, parse them into a report and generate and group found issues. The application also allows requirement management and user management. The application is integrated with the CI/CD tool Gitlab CI, the BDD framework JBehave and the issue tracker JIRA. The application is designed to help testers during their work and also to be expandable within the open source community.

he goal of this thesis is to analyze current situation in the area of internet commerce and design and implement own application to solve administration of customers and productcs of the firm, which deals with selling musical pieces in electronic form. The main component will be an internet shop based on subscribed custom accounts and enabled prompt offtake of the musical pieces. Designed system will be implemented as a WWW application in PHP language with using database MySQL.

This thesis deals with development of an application supporting management of traffic constructions. The resulting solution consists of a mobile application and a server application. The mobile application allows users to document progress of a construction using integrated camera, maps and GPS, and send collected data to the server. The server application includes a web service for client-server communication, and a web application for database management and processing of the collected data. Apart from the design and implementation, the features and technologies of mobile devices utilized by the application are discussed. The thesis also reviews current most significant mobile platforms and analyses concepts and technologies of cross-platform development, especially Xamarin and MvvmCross, which were used for development of the above-mentioned application.

This master's thesis describes the analysis, design and implementation of an application for automatic generation of UML class diagram. Application is designed as a web service, which provides remote access, especially permanent actuality of generated class diagram. Input of the service is a compiled application written for C# .NET or Java platform. The reader is acquainted with basics of reverse engineering of mentioned platforms and with structure of UML class diagram. Then are these knowledge applied in design and implementation of the service. The main goal is to facilitate and accelerate the activities of software development team members.

This thesis explores the topic of service level agreements management according to IT Infrastructure Library as a structured document. First of all ITIL in general is briefly described, analysis and a structure of SLA is then defined. This is a base for conceptual model definition. Later design and implementation of a web service and a client web application are presented. Both applications will be used as a tool in the course being held by our faculty.

The goal of this master's thesis is to describe geolocation techniques in wireless wide-area networks and the ways of expressing the individual node location. Practical part describes implementation of web services that simulate the node movement in these wireless networks and implementation of web service that is going to agregate the coordinate systems of these wireless networks.

Les concepts d’architecture orientée service (SOA) ainsi que tout une panoplie de technologies «en tant que service» (XaaS) sont utilisés quasiment partout de nos jours, et l’organisation optimisée d’activités synchronisées devient un défi important. Dans le but de proposer à l’utilisateur final un service sécuritaire et fiable sans compromettre la qualité, les questions concernant la vérification et la validation des compositions des services deviennent d’un grand intérêt tant théorique que pratique. Dans les autres travaux traitant du sujet, de nombreux modèles et techniques sont proposés, mais la plupart mettent l’accent sur les aspects fonctionnels ou non-fonctionnels pris séparément, alors que l’intégration de ces paramètres en un modèle formel unifié reste un problème qui doit être résolu – ce qui est devenu par conséquent un des objectifs fondamentaux de cette thèse. Dans notre travail, nous réfléchissons aux problèmes de la vérification et de l’optimisation des compositions des services web. Tout ceci est étudié dans l’optique de la fonctionnalité des systèmes, de leur qualité et de la sécurité des compositions. Il a été prouvé que les modèles à états finis sont utiles à des fins de tests et de vérification, de même que pour le contrôle qualité à chaque étape du développement du service. C’est pour cette raison que nous proposons d’utiliser le modèle de machine temporisée à états finis (TFSM) pour intégrer une description fonctionnelle du service avec les paramètres de sécurité et de qualité liées au temps. L’extension du modèle permettra alors d’interpréter adéquatement le non-déterminisme significatif causé par un manque d’observabilité ou/et de contrôle sur les services tiers. Dans le but d’optimiser les compositions des systèmes, nous proposons une méthode pour dériver la solution la plus globale contenant tous les composants autorisés pour la mise en œuvre du service, basée sur la résolution de l’équation parallèle du TFSM. Ensuite, les techniques pour extraire des solutions restreintes avec les propriétés requises (paramètres de temps minimisé/maximisé, interblocages actifs ou passifs de sécurité, similarité avec le composant d’origine donné, etc.) ont été proposées. Dans le cas où les spécifications d’un service composite consistent en un ensemble d’exigences fonctionnelles, éventuellement renforcées par des exigences de qualité, nous proposons une technique de minimisation de l’ensemble, dans le respect du composant à optimiser. L’application des résultats obtenus à la découverte et à la mise en place de composants plus efficaces, ainsi que l’extension du modèle à des modes de communication plus complexes font partie des sujets possibles pour des études futures. / Service-oriented architecture (SOA) together with a family of Everything-as-a-Service (XaaS) concepts nowadays are used almost everywhere, and the proper organization of collaborative activities becomes an important challenge. With the goal of bringing to the end-user safe and reliable service with the guaranteed level of quality, issues of service compositions verification and validation become of high practical and theoretical interest. In the related works, numerous models and techniques are proposed, but mostly focused on functional and non-functional issues in isolation, while integration of these parameters within unified formal framework still remains a problem to be solved – and therefore became one of the core objectives of this thesis. In our work, we address the problems of web service composition verification and optimization with respect to functional, quality and safety properties of the composition. Finite state models are proven to be useful for testing and verification purposes as well as for service quality evaluation at each step of service development. Therefore, we propose to use the model of Finite State Machine with Timeouts (TFSM) for integrating functional service description with time-related quality and safety parameters, and derive the extension of the model in order to adequately inherit significant nondeterminism due to the lack of observability and control over third-party component services. For the purpose of component optimization in the composition, we propose a method for deriving the largest solution containing all allowed component service implementations, based on solving TFSM parallel equation. Further, techniques for extracting restricted solutions with required properties (minimized/maximized time parameters, deadlock- and livelock-safety, similarity to the initially given component, etc.) have been proposed. In cases when the specification of a composite service is provided as a set of functional requirements, possibly, augmented with quality requirements, we propose a technique to minimize this set with respect to the component under optimization. Application of the obtained results for more efficient candidate component services discovery and binding, alongside with extending the framework for more complex distributed modes of communications, are among the topics for the future work.

The present thesis deals with the process of automation of geodetic measurements using electronic geodetic instruments, e.g. electronic levels, electronic total stations, as well as other measuring instruments and devices generally used for geodetic measurements, including meteorological sensors. The goal is to design and create a platform for automated measurement system with integrated data collection, their storage and analysis with the help of remote internet access and allowing to export data in various formats.

Mit der stetigen Konsolidierung der Web Service Standards vollzieht sich in der Diskussion zu serviceorientierten Architekturen ein Wechsel weg von der Implementierung und dem Deployment von Services hin zum Service Management. Die Indikatoren: Anzahl der Standardisierungsanfragen und die Menge großer Forschungsprogramme in diesem Bereich sind evident für einen wachsenden Bedarf an Managementmethoden für die Abbildung von Geschäftsanforderungen auf Servicekompositionen. Die Verwendung von semiformalen Modellen sowie die verteilte Entwicklung von SOA Services machen eine an Konventionen orientierte konstruktive Einschränkung der Freiheitsgrade bei der Prozess- und Servicemodellierung notwendig. In dieser Arbeit wird eine generische Methode vorgestellt, welche durch die Einführung von „Beschreibungsrahmen“ (Description Kits) sowohl eine Einschränkung der Modellierungsfreiheit in Bezug auf natürlichsprachliche Aspekte in fachkonzeptuellen Modellen erlaubt, als auch eine restriktive Benutzung bestehender Modellierungssprachen ermöglicht. Als Anwendungsfall wird die Konfiguration serviceorientierter Architekturen diskutiert. - (Die Dissertation ist veröffentlicht im Logos Verlag Berlin GmbH, http://www.logos-verlag.de, ISBN: 978-3-8325-2402-9) / With Service-oriented Architectures (SOA) companies are facing a paradigm shift towards services as the key unit of their enterprise architectures. An exploitation of the potential of Service-oriented Architectures is up to the applicability of semi-formal business models for a transformation into service compositions. However, several conceptual shortcomings prevent semi-formal models from being a suitable resource of an automated transformation process. Problems result from a multitude of modeling aims, objects, and procedures. Enhancements in order to solve these problems require both systematic preparation, and a methodical approach. This thesis provides a modeling method for business process-oriented SOA design using a meta-model based approach. An integrated modeling environment gives an overview of business requirements and allows appropriate assignment of SOA services to the business functions at the same time. The research refers to the example of process-oriented analysis and optimization of administrative procedures in German universities.

Front of large amount of personal mobile devices sold in the market and the vast amount of location technologies available for use by this equipment, we present a solution of localization that is able to position geographically a user and his friends on any mobile device, regardless of the equipment localization technology, as well as calculate the distance that it is in relation to friends and set the distance to be notified of the proximity thereof. This solution consists of two localization services: the localization service that uses the HTML5 Geolocation API and the localization service that uses Dynamic Web Service. Both services have been deployed and tested in SocialNetLab, which is the mobile social network that was implemented to validate these location services, serve as a laboratory for future research on social networks and will be available for the Department of Computer Science, of the University Federal of Sergipe. The main result we obtained the integration of two localization services in a mobile social network, the SocialNetLab, making it able to find and notify users of the proximity of friends regardless of localization technology available on the device (mobile or not). Upon completion of the tests we obtained satisfactory results in both localization services tested. / Diante da grande quantidade de dispositivos móveis pessoais vendidos no mercado e do vasto número de tecnologias de localização disponível para serem utilizadas por esses equipamentos, apresentamos uma solução de localização que é capaz de posicionar geograficamente um usuário e seus amigos em qualquer dispositivo móvel, independente da tecnologia de localização presente no equipamento, bem como calcular a distancia que o mesmo se encontra em relação aos amigos e definir a distância que deseja ser notificado da proximidade dos mesmos. Essa solução é composta por dois serviços de localização: o serviço de localização que utiliza a API de Geolocalização do HTML5 e o serviço de localização que utiliza Web Service Dinâmico. Ambos os serviços foram implantados e testados na SocialNetLab, que é a rede social móvel que foi implementada para validar esses serviços de localização e que servirá de laboratório para futuras pesquisas em redes sociais e estará disponível para o Departamento de Computação da Universidade Federal de Sergipe. Como principal resultado obtivemos a integração de dois serviços de localização em uma rede social móvel, a SocialNetLab, tornando-a capaz de localizar e notificar usuários da proximidade de amigos independente da tecnologia de localização disponível no dispositivo (móvel ou não). Ao término dos testes obtivemos resultados satisfatórios nos dois serviços de localização testados.