Orientador: Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-08T01:16:08Z (GMT). No. of bitstreams: 1 Nader_MarcosVaninePortilhode_M.pdf: 1214383 bytes, checksum: 40e83a8be1c7e86e788d810a8799f6b8 (MD5) Previous issue date: 2006 / Resumo: Duas áreas importantes estão em desenvolvimento: Gerência de Processos de Negócios (Business Process Management) e Orquestração de Web Services (Web Services Orchestration). Ambas têm um objetivo que é integrar aplicações ou outros processos que tenham interfaces web services, usando o paradigma de processos de negócios. Uma linguagem que vem sendo difundida para essas aplicações é a BPEL (Business Process Execution Language). Este trabalho apresenta um framework aplicável à análise e verificação de processos de negócios escritos em BPEL através do uso de Pi-Calculus. Pi-Calculus é uma álgebra de processos que possui mecanismos formais para criação e ativação de processos que se comunicam através da troca de mensagens em canais, usando o modelo de rendezvous síncrono. Nesse framework, o processo BPEL é traduzido para um programa Pi-Calculus. Uma Máquina Virtual Pi-Calculus (MVP) recebe o programa Pi-Calculus e produz todas as reações possíveis, ou seja, gera todos os caminhos de execução que o programa pode seguir. A partir desse resultado, efetua-se a verificação de propriedades como: atendimento às especificações de mais alto nível, ordenação de eventos e ocorrência ou não de deadlocks. Em termos práticos, uma ferramenta desse tipo pode ser incorporada aos Sistemas de Gerência de Processos de Negócios (Business Process Management Systems - BPMS) para ampliar a cobertura de testes durante as fases de análise e implementação de um processo dentro do seu ciclo de vida. Nesses tipos de sistemas, a reparação de um erro durante a fase de execução é muito mais custosa que nos sistemas tradicionais / Abstract: Two important areas have been in development lately: Business Process Management and Web Service Orchestration. In both of them, the objective is to integrate applications with web services interface through business process paradigm. A number of languages have been proposed with consensus being formed around BPEL (Business Process Execution Language). This dissertation presents a framework for BPEL processes analysis and verification through Pi-Calculus. Pi-Calculus is a process algebra with formal mechanisms for processes creation and activation; these processes communicate sending and receiving messages through channels using the synchronous rendezvous model. In this framework, the BPEL process is translated to a Pi-Calculus program, A Pi-Calculus Virtual Machine (MVP) receives a Pi-calculus program and executes all possible reactions, that is, it generates all execution paths possible to be taken. With this result, the properties such as high-level specification accomplishment, events ordering and deadlock freedom are verified. In practical terms, a tool of this sort can be part of a Business Process Management System (BPMS) to broaden test coverage during the analysis and implementation phases within a process life cycle. In these kinds of systems, a repairing mistake during the execution phase is more complex than in traditional systems / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

La industria del calzado en el Perú es un sector relevante en la economía por su participación y la generación de puestos de trabajo. Se considera como unas de las actividades minoristas más importantes del país. El mercado de calzados en el Perú se caracteriza por ser bastante competitivo, con colaboración de variadas marcas tanto nacionales como internacionales. Por otro lado, es un producto que ha dado espacio para la diferenciación y que cambia temporada tras temporada siguiendo las últimas tendencias de moda. La empresa es una fábrica de calzados el cual comercializa calzados a través de sus asesores de venta. Estos asesores presentan diversos problemas, entre ellos los más importantes: la información con la que cuenta de sus clientes, productos, pedidos, etc., es escaza o desactualizada; la entrega de pedidos se ha realiza a destiempo o con retrasos; el crédito de los clientes no está controlado; el pago de moras o cuotas no se realiza adecuadamente; en la venta por consignación, frecuentemente se cometen errores en la generación de cuotas. Antes la situación problemática existente se plantea el desarrollo de un sistema móvil con el objetivo de mejorar la productividad de los asesores de venta en sus actividades diarias, lograr un mejor manejo de la información en la empresa e incrementar la rentabilidad por medio de la venta de calzados. El desarrollo de la solución comprende las siguientes fases: modelado del negocio, modelado del sistema, arquitectura del software, construcción, calidad, pruebas de software y la gestión del proyecto. / The footwear industry in Peru is a relevant sector in the economy for its participation and the generation of jobs. It is considerate as one of the most important retail activities in the country. The footwear sector in Peru is characterized by being quite competitive with the collaboration of several national and international brands. In addition, it is a product that provides space for differentiation and that changes seasons continuously following the latest fashion trends. The company is a shoe factory that sells shoes through sales consultants. These consultants present various problems, some of the most important: the information of its customers, products, orders, etc., is scarce or out of date; the delivery of orders is done out of time or with delays; customer credit is not controlled; the payment of arrears or quota is not made properly; in consignment sales, mistakes are often made in the generation of quota. Given the problematic situation, it is proposed to develop a mobile system that aims to improve the productivity of sales consultants in their daily activities, achieve better management of information in the company and increase profitability through the sale of footwear. The development of the solution contains the phases:business modeling, system modeling, software architecture, building, software quality, testing and the project management. / Tesis

Tato diplomová práce popisuje testování REST API rozhraní aplikací. Výsledkem práce je aplikace Restty, založená na použití nástroje Swagger, která umožňuje testovat jednotlivé části API aplikací, i vytvářet a spouštět komplexní testovací scénáře nad daným rozhraním. Teoretická část práce vysvětluje principy webových služeb, vzdálených rozhraní a představuje nástroj Swagger i technologie použité k implementaci. V následující kapitole jsou v práci prezentovány designové návrhy aplikace, na které plynule navazuje kapitola o implementaci a testování, pro které je zvoleno rozhraní nástroje Red Hat JBoss BPM Suite. V závěru práce jsou vyhodnoceny přínosy aplikace Restty a navrženy případné budoucí rozšíření.

The task of this project is to build application for managing of multimedia data in enclosed wireless networks and to present this data to the user. In model case it can be for example city guide - on position given by GPS are presented information about surrounding scene. Application must be capable of downloading data into Pocket PC - PDA and present them to the user as user friendly application.

This paper concerns design and implementation of a system which provides easier control of digital image processing console applications. The work is based on threes information technology domains: distributed systems, image processing and web technologies. The system consist of number of separated components communicating with each other in order of processing desired tasks. Control interface and the task daemon are implemented in PHP language. Image processing programs are implemented in C language using OpenCV graphic library. Control of the system is carried out through web graphical interface using dynamic control components implemented in Javascript language, jQuery library and jQueryUI interface. Part of the work is also a description of employment of the system in practical use in two environments, experiments concerning system performance and web interface user acceptance testing.

L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun d'entre eux étant par exemple une application Web, un service Web, ou même un humain. Les services peuvent être développés indépendamment et sont composés pour atteindre quelques exigences. Les chorégraphies de service définissent ces exigences avec une perspective globale, basée sur les interactions entre des participants qui sont implémentés en tant que services. Cette thèse vise à formaliser des problèmes et tente d'élaborer un environnement intégré avec lequel les chorégraphies de services peuvent être développés correctement pour les deux types d'approches de développement: l'approche descendante et l'approche ascendante. Elle consiste à analyser la relation entre une spécification de chorégraphie et une implémentation de la chorégraphie au niveau du modèle et aussi au niveau de l'implémentation réelle. Particulièrement, il s'agit de la composition/décomposition des services, la vérification, et le test de l'implémentation de chorégraphie. Le premier point-clé de notre environnement intégré est de représenter le passage de valeurs entre les services en utilisant la technique symbolique et un solveur SMT. Cette technique nous permet de réduire les faux négatifs et de contourner le problème d'explosion combinatoire de l'espace d'états, ces problèmes sont durs à l'abstraction et à l'énumération des valeurs pour les approches existantes basées données. Le second point-clé est le test passif boîte noire de l'implémentation de chorégraphie. Il ne nécessite pas d'accéder au code source, ni de rendre indisponible l'implémentation pendant le processus de test. Notre environnement intégré est mis en œuvre dans nos outils qui sont disponibles en téléchargement ou à utiliser en ligne à l’adresse http://schora.lri.fr. / Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a framework by which service choreographies can be developed correctly for both top-down and bottom-up approaches. It consists in analyzing the relation between a choreography specification and a choreography implementation at both model level and real implementation level. Particularly, it concerns the composition/decomposition service design, the verification, and the testing of choreography implementation. The first key point of our framework is to support value-passing among services by using symbolic technique and SMT solver. It overcomes false negatives or state space explosion issues due by abstracting or limiting the data domain of value-passing in existing approaches. The second key point is the black-box passive testing of choreography implementation. It does not require neither to access to source codes nor to make the implementation unavailable during the testing process. Our framework is fully implemented in our toolchains, which can be downloaded or used online at address: http://schora.lri.fr.

Maschinenlesbare und -abrufbare Web Services werden zu Produktionsmodulen in einem globalen 'Factory Floor'. Ihre 'Orchestrierung' erlaubt die standardisierte Bildung von Modulen höherer Ordnung. Die dabei gebildeten Prozesse können die Wahl der einzubindenden Dienste via 'Discovery Agency' optimieren. Das Organisieren von Wertschöpfungssystemen wird damit zur modularen Programmierung im Grossen, der Abruf von Leistungen zum Aufruf und dynamischen Einbinden eines Moduls. Wird damit eine ideale Infrastruktur für die Virtualisierung der Organisationen verfügbar? Wir analysieren den Begriff der Organisation, einerseits aus Informatik-Optik als Multi-Agenten-Systeme, aber auch als soziales Gebilde mit den Begriffen der Institution und des Symbolischen und verbinden sie im Begriff des Mediums. Wir argumentieren, dass der gegenwärtige Stand der Web Services-Protokolle noch zu wenig Struktur für virtuelle Organisationen hat und zeigen, was zu ergänzen ist.

In this project, two tests were performed. On the first test, Mininet-WiFi was used to simulate a Software Defined Network to demonstrate Mininet-WiFi’ s ability to be used as the Software Defined Network emulator which can also be integrated to the existing network using a Network Virtualized Function (NVF). A typical organization’s computer network was simulated which consisted of a website hosted on the LAMP (Linux, Apache, MySQL, PHP) virtual machine, and an F5 application delivery controller (ADC) which provided load balancing of requests sent to the web applications. A website page request was sent from the virtual stations inside Mininet-WiFi. The request was received by the application delivery controller, which then used round robin technique to send the request to one of the web servers on the LAMP virtual machine. The web server then returned the requested website to the requesting virtual stations using the simulated virtual network. The significance of these results is that it presents Mininet-WiFi as an emulator, which can be integrated into a real programmable networking environment offering a portable, cost effective and easily deployable testing network, which can be run on a single computer. These results are also beneficial to modern network deployments as the live network devices can also communicate with the testing environment for the data center, cloud and mobile provides. On the second test, a Software Defined Network was created in Mininet using python script. An external interface was added to enable communication with the network outside of Mininet. The amazon web services elastic computing cloud was used to host an OpenDaylight controller. This controller is used as a control plane device for the virtual switch within Mininet. In order to test the network, a webserver hosted on the Emulated Virtual Environment – Next Generation (EVENG) software is connected to Mininet. EVE-NG is the Emulated Virtual Environment for networking. It provides tools to be able to model virtual devices and interconnect them with other virtual or physical devices. The OpenDaylight controller was able to create the flows to facilitate communication between the hosts in Mininet and the webserver in the real-life network. / Electrical and Mining Engineering

Thesis aims to present the current situation of social plugins growth. It examines social plugins from users and website owner point of view. At the beginning, the work reminds of web present emergence and comes after with emergence of social plugins. Work examines also the terminology of term "social plugin". Social plugins (as is Facebook Like button) are described in chapter Type of social plugins, after this comes chapter about practical usage of social plugins. Parts of this chapter are case studies and evaluations of advantages and disadvantages. Last chapter follow social plugins from the user's point of view. The subjects of examination are motivation to share information online and present results of studies and research, which has been prepared by author of this thesis. In enclosure can be found complete list of the most exploited social plugins including their functions and possibilities of usage.

Libraries, particularly academic libraries implement technologies to enhance their services to promote teaching, learning and research. In this thesis the impact of information technologies (library technologies) on delivery of services at the Balme Library of the University of Ghana was evaluated. The researcher adopted the multi-methods approach to the research by using a semi-structured questionnaire to collect data from users (students) of the library and para-professional staff of the Balme Library of the University of Ghana who formed one group of the study. The interview was used to collect data form professional staff of the library who on the other hand formed the second group of the study. Responses of the data collected from the two groups formed the components of the study and data collected quantitatively were analysed using univariate analysis method and interpreted by the descriptive and inferential statistics method. The qualitative data, on the other hand, was analysed using the narrative analysis approach. The findings of the study reveal that a variety of IT facilities such as computers, internet, photocopiers, scanners, braille embossers, magnifiers for reading, reference management software, video conference facility, electronic theses, electronic databases, automated library system, electronic past questions and the library website are available at the library and are very accessible to all users (students) and staff of the library. Students and staff of the library have good IT skills to utilise those resources. The findings also reveal that the IT infrastructure had positive impacts on the delivery of library services ensuring that users received the appropriate services they needed at the right times and places The study found challenges of slow internet connectivity, unstable power supply, lack of IT skills, inadequate IT infrastructure among others and these hinder the maximum utilisation of IT in and out of the library and recommends periodic training of staff and users, proper maintenance of facilities, increase of internet bandwidth and better marketing of library services / Information Science / M. Inf. (Information Science)