abstract: When scientific software is written to specify processes, it takes the form of a workflow, and is often written in an ad-hoc manner in a dynamic programming language. There is a proliferation of legacy workflows implemented by non-expert programmers due to the accessibility of dynamic languages. Unfortunately, ad-hoc workflows lack a structured description as provided by specialized management systems, making ad-hoc workflow maintenance and reuse difficult, and motivating the need for analysis methods. The analysis of ad-hoc workflows using compiler techniques does not address dynamic languages - a program has so few constrains that its behavior cannot be predicted. In contrast, workflow provenance tracking has had success using run-time techniques to record data. The aim of this work is to develop a new analysis method for extracting workflow structure at run-time, thus avoiding issues with dynamics. The method captures the dataflow of an ad-hoc workflow through its execution and abstracts it with a process for simplifying repetition. An instrumentation system first processes the workflow to produce an instrumented version, capable of logging events, which is then executed on an input to produce a trace. The trace undergoes dataflow construction to produce a provenance graph. The dataflow is examined for equivalent regions, which are collected into a single unit. The workflow is thus characterized in terms of its treatment of an input. Unlike other methods, a run-time approach characterizes the workflow's actual behavior; including elements which static analysis cannot predict (for example, code dynamically evaluated based on input parameters). This also enables the characterization of dataflow through external tools. The contributions of this work are: a run-time method for recording a provenance graph from an ad-hoc Python workflow, and a method to analyze the structure of a workflow from provenance. Methods are implemented in Python and are demonstrated on real world Python workflows. These contributions enable users to derive graph structure from workflows. Empowered by a graphical view, users can better understand a legacy workflow. This makes the wealth of legacy ad-hoc workflows accessible, enabling workflow reuse instead of investing time and resources into creating a workflow. / Dissertation/Thesis / Masters Thesis Computer Science 2015

Made available in DSpace on 2013-08-07T18:43:42Z (GMT). No. of bitstreams: 1 000407757-Texto+Completo-0.pdf: 1892544 bytes, checksum: 1bac1747159590e341299a53c6807c04 (MD5) Previous issue date: 2008 / Testing of a workflow management system is necessary when there is a need for error detection in the execution of systems which support business processes. Since it is not possible to carry out exhausting tests, this research uses statistical tests in order to have an acceptable reliability with a smaller testing set. Besides making the representation of statistical information possible, Petri nets provide a formalism very suitable to describe business processes. The information relevant to the workflow statistical test is represented by using Petri nets in order to generate test cases from a net. This dissertation aims at presenting a solution for test case generation of workflow management systems. The object of these test cases is to interact with the user interface. Thus, in this work, a description of workflow automation and the testing of these systems is provided. The requirements for the formalization of a Petri net dialect are determined from this description. The formalization of the dialect used in the research is presented soon afterward. Furthermore, the application of this solution is illustrated. Due to the similar needs verified in the performance test in relation to the workflow management system test, a study of the application of this research solution to the performance test is conducted. / O teste de um sistema de gerenciamento de workflow se faz necessário no momento em que há a necessidade de detecção de erros na execução de sistemas que apóiam processos de negócio. Como não é viável a realização de testes exaustivos, esta pesquisa faz uso de teste estatístico para que se tenha uma confiabilidade aceitável com um conjunto de testes menor. Sabe-se que as redes de Petri, além de possibilitarem a representação de informações estatísticas, são um formalismo muito indicado para descrever processos de negócio. As informações relevantes ao teste estatístico de workflow são representadas utilizando redes de Petri, para então gerar casos de teste a partir de uma rede. Este trabalho tem o objetivo de apresentar uma solução para a geração de casos de teste para sistemas de gerenciamento de workflows. Estes casos de teste visam a interação com a interface de usuário. Assim, neste trabalho, é apresentada uma descrição referente à automação de workflows e ao teste destes sistemas. A partir desta descrição, são determinados os requisitos para a formalização de um dialeto de redes de Petri, para então ser apresentada a formalização do dialeto utilizado na pesquisa. Além disso, é ilustrada a aplicação desta solução. Devido às similares necessidades verificadas no teste de desempenho em relação ao teste de sistemas de gerenciamento de workflows, um estudo da aplicação da solução desta pesquisa ao teste de desempenho é realizado

This paper gives an overview of workflow management systems (WfMSs) and their security requirements with focus on access mechanisms. It is a descriptive paper in which we examine the state of the art of workflow systems, describe what security risks affect WfMSs in particular, and how these can be diminiuished. WfMSs manage, illustrate and support business processes. They contribute to the performance, automation and optimization of processes, which is important in the global economy today. The security of process flows is important, since the sensitive business data need to be protected to inhibit illegal activities, such as blackmailing, imitation and fraud and to provide for good customer service. This paper focuses on access mechanisms, because they are basic security mechanisms used by WfMSs assuring that only authorized users are provided access to data and resources. Also because of the unsecurity of the Internet, which is commonly used as infrastructure of Workflow systems, additional security mechanisms, such as PKIs, digital signatures and SSL have to be used to provide secure workflows. Depending on the particular requirements in workflow systems, different extensional access control (AC) mechanisms have been developed to maintain security. But when it comes to commercially used WfMSs, the availability of the system is of utmost importance. It is the prerequisite for the system to be employed by companies. The problem is that there is always a trade-off between availability of the system and security. Because this trade off is generally solved in favor of availability, a major part of the developed AC mechanisms are not used in commercially used WfMS. After the first part of this paper which is rather theoretical, we examine a commercial WfMS, namely IBM's MQ Workflow , and its security mechanisms. We show vulnerabilities of the system that could be abused by attackers. Afterwards, we show which security mechanisms, in particular, AC mechanisms are provided to secure against threats. We conclude with a summary, which highlights the difference between security concepts developed in the research area and those really implemented by the commercially used WfMS.

A scene containing dynamic fluids can be created in a number of ways. There are two approaches that will highlight the problems and obstacles that might occur. Today’s leading fluid simulator, RealFlow, simulates the fluid dynamics. A comparison between the two approaches will be made and are analyzed. Through experimentation, one of the approaches fails to produce the set requirements in the experiment and furthermore the two approaches differ in efficiency.

A tecnologia de workflow encontra-se atualmente ainda em fase inicial, porém, apresentando um grande crescimento nos últimos anos. Negócios em todo mundo estão usando o suporte automatizado do workflow para tornar suas ilhas de automação administrativas em eficiente e efetivos instrumentos com conseqüências comerciais importantes. Esta tecnologia facilita, através de softwares e metodologias, a modelagem do processo de negócio como uma especificação de workflow, a reengenharia de processos especificados e, finalmente, a automação do processo de negócio. Porém, não existe uma padronização para esta tecnologia. Uma atenção especial está sendo dada por parte dos pesquisadores no intuito de padronizar conceitos que sejam aceitos pela comunidade em geral, ou seja, usuários, desenvolvedores e os próprios pesquisadores. Este trabalho tem como finalidade apresentar e discutir esta tecnologia, mais especificamente sobre uma de suas funcionalidades, a alocação de atividades. A alocação de atividades é responsável pela distribuição das atividades às pessoas aptas por sua execução. Os principais conceitos envolvidos na tecnologia são citados e comentados. O problema da alocação é apresentado, discutido e soluções são propostas. Finalmente, é implementado um protótipo para avaliar e validar as idéias apresentadas. / The workflow technology is in an initial phase, however, it has been growing in the last years. Business all over the world are using automated support of workflow to turn their islands of automated administrations into an efficient and effective instrument with important commercial consequences. This technology makes easy the business process modeling as a workflow specification, the process specification reengineering and, last, the business process automation, by the use of software and methodologies. However, a standard for this technology does not exist. A special attention has been giving by the academic community to obtain a standard, which will be accepted by the users, the developers and the academic comunity. This work has the goal of presenting and discussing this techonology, more specifically about the problem of activities allocation in a workflow system. The activities allocation is responsible for the distribution of an activity to the right person. The main concepts related to workflow are presented and discussed. The allocation problem is presented, discussed and solutions are suggested. A prototype is implemented to evaluate the presented ideas.

Submitted by Etelvina Domingos (etelvina.domingos@ufpe.br) on 2015-03-11T19:21:28Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) paulo_perris.pdf: 3226477 bytes, checksum: 8491a6532e86869e3aa3b014f9ca649e (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:12:49Z (GMT) No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) paulo_perris.pdf: 3226477 bytes, checksum: 8491a6532e86869e3aa3b014f9ca649e (MD5) / Made available in DSpace on 2015-03-13T13:12:49Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) paulo_perris.pdf: 3226477 bytes, checksum: 8491a6532e86869e3aa3b014f9ca649e (MD5) Previous issue date: 2013-03 / CAPES / Nos ambientes de aprendizado colaborativo apoiados por computador (do inglês Computer-Supported Colaborative Learning, ou apenas CSCL) a percepção que os usuários têm do ambiente e das suas atividades favorece o aprendizado dos grupos. Há hoje esforços de pesquisa e desenvolvimento para dar suporte às diversas interações, à colaboração e ao compartilhamento de informações entre membros de um grupo em ambientes LMS (Learning Management System), com o objetivo de melhorar a coordenação das atividades dos alunos pelo professor. A adaptação destes ambientes às necessidades particulares de novos contextos pode significar um aumento relevante no potencial de inserção de novas formas de interação. Por isso, a construção de ferramentas que possam tornar o fluxo das atividades (Workflow Educativo) perceptível ao ambiente, podem atender de maneira satisfatória a estas novas necessidades. Este trabalho apresenta o resultado da aplicação de percepção das atividades desenvolvidas por pequenos grupos no LMS Amadeus para melhorar a coordenação destas pelo professor, a qualquer momento. Apresenta também a possibilidade de utilização dos logs dos eventos como scripts para a resolução de atividades por outros discentes, corroborando com o aprendizado colaborativo. Para atingir o objetivo proposto, utilizamos a literatura de Interação Humano-computador, especificadamente o método de design de interação. O processo foi composto por quatro atividades básicas: (1) revisão da literatura, (2) analise de contexto (necessidade do usuário), (3) storyboard, prototipagem e avaliação heurística e (4) concepção e avaliação da usabilidade. Foi considerado no método o foco no usuário, a avaliação da eficácia e a prototipagem evolutiva. Foram ainda utilizadas as técnicas de observação e entrevista para a construção dos primeiros protótipos e futuros storyboards usados na avaliação da eficácia das soluções. A partir das especificações e prototipagem definidas, foi implementada a solução no ambiente de LMS Amadeus, seguindo todas as regras de layout padrão. Por último foi feito um teste de usabilidade com usuários que teve como meta avaliar a eficácia de uso da solução desenvolvida.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T12:45:31Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Paulo Perris.pdf: 3226477 bytes, checksum: 8491a6532e86869e3aa3b014f9ca649e (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T12:53:17Z (GMT) No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Paulo Perris.pdf: 3226477 bytes, checksum: 8491a6532e86869e3aa3b014f9ca649e (MD5) / Made available in DSpace on 2015-03-13T12:53:17Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Paulo Perris.pdf: 3226477 bytes, checksum: 8491a6532e86869e3aa3b014f9ca649e (MD5) Previous issue date: 2013-03-21 / CAPES / Nos ambientes de aprendizado colaborativo apoiados por computador (do inglês Computer-Supported Colaborative Learning, ou apenas CSCL) a percepção que os usuários têm do ambiente e das suas atividades favorece o aprendizado dos grupos. Há hoje esforços de pesquisa e desenvolvimento para dar suporte às diversas interações, à colaboração e ao compartilhamento de informações entre membros de um grupo em ambientes LMS (Learning Management System), com o objetivo de melhorar a coordenação das atividades dos alunos pelo professor. A adaptação destes ambientes às necessidades particulares de novos contextos pode significar um aumento relevante no potencial de inserção de novas formas de interação. Por isso, a construção de ferramentas que possam tornar o fluxo das atividades (Workflow Educativo) perceptível ao ambiente, podem atender de maneira satisfatória a estas novas necessidades. Este trabalho apresenta o resultado da aplicação de percepção das atividades desenvolvidas por pequenos grupos no LMS Amadeus para melhorar a coordenação destas pelo professor, a qualquer momento. Apresenta também a possibilidade de utilização dos logs dos eventos como scripts para a resolução de atividades por outros discentes, corroborando com o aprendizado colaborativo. Para atingir o objetivo proposto, utilizamos a literatura de Interação Humano-computador, especificadamente o método de design de interação. O processo foi composto por quatro atividades básicas: (1) revisão da literatura, (2) analise de contexto (necessidade do usuário), (3) storyboard, prototipagem e avaliação heurística e (4) concepção e avaliação da usabilidade. Foi considerado no método o foco no usuário, a avaliação da eficácia e a prototipagem evolutiva. Foram ainda utilizadas as técnicas de observação e entrevista para a construção dos primeiros protótipos e futuros storyboards usados na avaliação da eficácia das soluções. A partir das especificações e prototipagem definidas, foi implementada a solução no ambiente de LMS Amadeus, seguindo todas as regras de layout padrão. Por último foi feito um teste de usabilidade com usuários que teve como meta avaliar a eficácia de uso da solução desenvolvida.

Orientador: Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T23:12:01Z (GMT). No. of bitstreams: 1 Cruz_Jacksonda_M.pdf: 1632620 bytes, checksum: 90b31a8eef56393c12b07ecca68fc8c9 (MD5) Previous issue date: 2005 / Resumo: Processos de negócio de uma organização, normalmente, sofrem mudanças freqüentes resultantes de aspectos como a consolidação de seus sistemas e procedimentos, o melhoramento do processo de negócio, a necessidade de obedecer novas leis ou regimentos e reestruturação. Para acomodar tais mudanças, os módulos de especificação e execução de um sistema de gerenciamento de workflow devem estar estreitamente ligados. Por esses motivos, novos mecanismos de controle se fazem necessários, a fim de que o SGWf comporte todas as mudanças que o processo organizacional de uma empresa exija, sem comprometer a execução correta do processo. Estes mecanismos devem ser simples de forma a não causar grandes custos à empresa e permitir a rápida readequação de processos. Nesta dissertação apresentamos o WorkToDo Flex, um SGWf para workflows flexíveis que provê estes mecanismos de mudança através de dois tipos de flexibilidade: por adaptação e por seleção. A flexibilidade por adaptação é fornecida por um conjunto de operações realizadas em instâncias de processo em execução. A flexibilidade por seleção é obtida pela especificação e execução de tarefas de construção / Abstract: Business processes of an organization may suffer many changes due to the consolidation of its systems and procedures, the improvement of the business process, the necessity to obey to new laws or regiments and reorganization. To accomodate such changes, the specification and execution modules of the WfMS must be linked. For this reason, new mechanisms of control are necessary, so that the WfMS supports all the changes that a business process of an organization demands, without compromising the correct execution of the process. These mechanisms must be simple so that cause great costs are avoided and fast reorganization of processes are allowed. In this dissertation we present the WorkToDo Flex, a WfMS for flexible workflows that provides two types of flexibility: adaptation and selection. Flexibility by adaptation is supplied by a set of change operations applied in process instances. Flexibility by selection is supplied by the specification and execution of task builders / Mestrado / Mestre em Ciência da Computação

Orientadores: João Carlos Setubal, Claudia Bauzer Medeiros / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-08T21:21:44Z (GMT). No. of bitstreams: 1 Digiampietri_LucianoAntonio_D.pdf: 2647979 bytes, checksum: cb55c9b2b4185459d26541f301c5dd5b (MD5) Previous issue date: 2007 / Resumo: Atividades em bioinformática estão crescendo por todo o mundo, acompanhadas por uma proliferação de dados e ferramentas. Isto traz novos desafios, por exemplo, como entender e organizar esses recursos, como compartilhar e re-usar experimentos bem sucedidos (ferramentas e dados), e como prover interoperabilidade entre dados e ferramentas de diferentes locais e utilizados por usuários com perfis distintos. Esta tese propõe uma infra-estrutura computacional para resolver tais problemas. A infra-estrutura permite projetar, re-usar, anotar, validar, compartilhar e documentar experimentos de bioinformática. Workflows científicos são os mecanismos utilizados para representar tais experimentos. Combinando pesquisa em bancos de dados, workflows científicos, inteligência artificial e Web semântica, a infra-estrutura se beneficia do uso de ontologias para permitir a especificação e anotação de workflows de bioinformática e para servir como base aos mecanismos de rastreabilidade. Além disso, ela usa técnicas de planejamento em inteligência artificial para prover as composições automática, iterativa e supervisionada de tarefas para satisfazer as necessidades dos diferentes tipos de usuários. Os aspectos de integração de dados e interoperabilidade são resolvidos combinando o uso de ontologias, mapeamento entre estruturas e algoritmos de casamento de interfaces. A infra-estrutura foi implementada em um protótipo e validada com dados reais de bioinformática / Abstract: Bioinformatics activities are growing all over the world, following a proliferation of data and tools. This brings new challenges, such as how to understand and organize these resources, how to exchange and reuse successful experimental procedures (tools and data), and how to provide interoperability among data and tools across different sites, and used for users with distinct profiles. This thesis proposes a computational infrastructure to solve these problems. The infrastructure allows to design, reuse, annotate, validate, share and document bioinformatics experiments. Scientific workflows are the mechanisms used to represent these experiments. Combining research on databases, scientific workflows, artificial intelligence and semanticWeb, the infrastructure takes advantage of ontologies to support the specification and annotation of bioinformatics workflows and, to serve as basis for traceability mechanisms. Moreover, it uses artificial intelligence planning techniques to support automatic, iterative and supervised composition of tasks to satisfy the needs of the different kinds of user. The data integration and interoperability aspects are solved combining the use of ontologies, structure mapping and interface matching algorithms. The infrastructure was implemented in a prototype and validated on real bioinformatics data / Doutorado / Sistemas de Informação / Doutor em Ciência da Computação

Context. There are several workflows for texturing 3D models. 3D models will often have to be constructed and textured before they can be viewed in a game engine. Files would have to be exported and imported in order to view the result. This thesis will look at the usability of having the programs that are used to construct and texture assets connected with each other. In other words, a program would send and receive data in real-time which can be used to avoid the exporting and importing of assets. Objectives. Define a better workflow for texturing models that will be used for games. Compare the usability in terms of speed and the bother of managing asset files. Methods. This work utilizes a comparative experiment were subjects get to test and evaluate two workflows, the traditional workflow which the subjects should already be familiar with, and the prototype system that allows subjects texture painting in real-time. Results. Results showed that all participants conducted the experiment faster using the proposed workflow rather than using the traditional one. According to the questionnaire, participants preferred the proposed workflow and did not mind having multiple application windows open simultaneously. Conclusions. The results of both questionnaire and the time correlation data were positive, suggesting that using real-time viewing when texturing assets can enhance efficiency.