Business processes form the backbone of all business operations, and workflow technology has enabled companies to gain significant productivity benefits through the automatic enactment of routine, repetitive processes. Process automation can be achieved by encoding the business rules and procedures into the applications, but capturing the process logic in a graphical workflow model allows the process to be specified, validated and ultimately maintained by business analysts with limited technical knowledge. The process models can also be automatically verified at design-time to detect structural issues such as deadlock and ensure correct data flow during process execution. These benefits have resulted in the success of workflow technology in a variety of industries, although workflows are often criticised for being too rigid, particularly in light of their recent deployment in collaborative applications such as e-business. Generally, many events can impact on the execution of a workflow process. Initially, the workflow is triggered by an external event (for example, receipt of an order). Participants then interact with the workflow system through the worklist as they perform constituent tasks of the workflow, driving the progression of each process instance through the model until its completion. For traditional workflow processes, this functionality was sufficient. However, new generation 'responsive' workflow technology must facilitate interaction with the external environment during workflow execution. For example, during the execution of an 'order to cash' process, the customer may attempt to cancel the order or update the shipping address. We call these events 'interruptions'. The potential occurrence of interruptions can be anticipated but, unlike the other workflow events, they are never required to occur in order to successfully execute any process instance. Interruptions can also occur at any stage during process execution, and may therefore be considered as 'expected, asynchronous exceptions' during the execution of workflow processes. Every interruption must be handled, and the desired reaction often depends on the situation. For example, an address update may not be permitted after a certain point, where this point depends on the customer type, and a shipping charge or refund may be applicable, depending on the original and new delivery region. Therefore, a set of rules is associated with each interruption, such that if a condition is satisfied when the event occurs, a particular action is to be performed. This set of rules forms a policy to handle each interruption. Several workflow systems do facilitate the automatic enforcement of 'exception handling' rules and support the reuse of code fragments to enable the limited specification and maintenance of rules by non-technical users. However, this functionality is not represented in a formal, intuitive model. Moreover, we argue that inadequate consideration is given to the verification of the rules, with insufficient support provided for the detection of issues at design-time that could hinder effective maintenance of the process logic or interfere with the interruption handling functionality at run-time. This thesis presents a framework to capture, analyse and enforce interruption process logic for highly responsive processes without compromising the benefits of workflow technology. We address these issues in two stages. In the first stage, we consider that the reaction to an interruption event is dependent on three factors: the progress of the process instance with respect to the workflow model, the values of the associated case data variables at the time at which the event occurs, and the data embedded in the event. In the second stage, we consider that the reaction to each interruption event may also depend on the other events that have also been detected, that is, we allow interruptions to be defined through event patterns or complex events. We thus consider the issues of definition, analysis and enactment for both 'basic' and 'extended' interruption policy models. First, we introduce a method to model interruption policies in an intuitive but executable manner such that they may be maintained without technical support. We then address the issue of execution, detailing the required system functionality and proposing a reference architecture for the automatic enforcement of the policies. Finally, we introduce a set of formal, generic correctness criteria and a verification procedure for the models. For extended policy models, we introduce and compare two alternative execution models for the evaluation of logical expressions that represent interruption patterns. Finally, we present a thorough analysis of related verification issues, considering both the system and user perspectives, in order to ensure correct process execution and also provide support for the user in semantic validation of the interruption policies.

Thesis (Ph. D.)--University of Hong Kong, 2007. / Title proper from title frame. Also available in printed format.

Thesis (M.S.)--Rochester Institute of Technology, 2008. / Typescript. Includes bibliographical references (leaves 54-57).

Univ., Diss.--Bamberg,, 2003.

Thesis--University of Pittsburgh. / Bibliography: p. 198-205.

Thesis (M.S. in Biomedical Informatics)--Vanderbilt University, Dec. 2006. / Title from title screen. Includes bibliographical references.

A utilização da Web com objetivos educacionais e de treinamento, vem se caracterizando como uma das grandes áreas de pesquisa e aplicação da informática no dia-a-dia das pessoas e empresas. A tecnologia de workflow poderá contribuir decisivamente para a qualidade dos cursos na Web, permitindo que a informação seja apresentada de maneira interativa conduzindo o aprendiz a uma atitude dinâmica, transformando-o num elemento ativo que manipula os recursos na seqüência e velocidade desejados, o que contribui para um aprendizado mais eficiente. A utilização de workflow associada a tecnologia de Agentes fornece o potencial de uma navegação não-linear, onde o usuário dispõe de flexibilidade para determinar o fluxo de apresentação das informações, não vinculado a uma cadeia seqüencial de conteúdos que foram hierarquicamente construídos. Neste contexto, o presente trabalho, apresenta um modelo de aluno especificado através de um modelo de Workflow. Este modelo foi alcançado por meio da análise das interações de uma amostra de alunos em um curso na Web, observando a Teoria Cognitiva dos Estilos de Aprendizagem e a ordem de execução das atividades do curso pelos alunos. A finalidade desta modelagem por workflow tem como objetivo contribuir nas atividades de execução, coordenação, monitoramento e adaptação em cursos na Internet. / The use of the Web with educational and training objectives may be identified as one of the great research and application areas of computer science today. The workflow technology will be able to contribute decisively for the quality of the Web courses, allowing the information to be presented in interactive way leading the apprentice to a dynamic attitude, transforming the content management into an active element that manipulates the resources in the desired sequence and speed, contributing for a more efficient learning. The use of dynamic workflows associated the agent technology supplies the potential of a nonlinear navigation, where the user takes profit of system flexibility to determine the flow of presentation of the information, not tied with a sequential chain of contents or a hierarchical structure as they have being constructed. In this context, the present work, develop a student model specified through a workflow model. This model was reached by the analysis of the interactions of a sample of students in a Web course. The Cognitive Theory of the Styles of Learning and the order of execution of the activities of the course for the students have being considered in the model development. The purpose of this workflow modelling was to contribute in the development of a comprehensive model of activities execution, coordination, monitoring and adaptation in courses in the Internet.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-22T18:29:47Z (GMT). No. of bitstreams: 1 231356.pdf: 3662382 bytes, checksum: d3916857c3599fc01eb17504f760c7fd (MD5) / Grandes instituições de saúde têm uma notada carência em conseguir manter o controle de seus fluxos de informação internos. Os processos médicos e hospitalares são extremamente complexos, envolvem risco humano e necessitam que a tomada de decisões seja exercida de forma rápida e precisa. Apesar disso, têm recursos limitados que devem ser utilizados da forma mais racional e eficiente possível. Tendo em vista que os profissionais envolvidos têm por prioridade a realização de suas funções técnicas é imperativa a necessidade de prover ferramentas adequadas para garantir o gerenciamento deste processo. Porem manter todos estes dados disponíveis, atualizados e confiáveis, além de coordenar a escala de serviço ou de atividades dos profissionais médicos e técnicos responsáveis por sua execução, representa um grande desafio. Para tanto, faz-se necessário o emprego de tecnologias, ferramentas e equipamentos que possam resolver o problema da demanda de trabalho, considerável volume de papéis e as possíveis perdas de informações além de possibilitar uma distribuição dinâmica e confortável de tarefas entre os profissionais da equipe do hospital responsáveis por sua execução. Este trabalho apresenta o resultado de pesquisa e desenvolvimento junto ao projeto Cyclops no intuito da elaboração de uma solução para a elicitação, documentação e gerenciamento do processo médico hospitalar. Como sub-produto deste trabalho desenvolveu-se um set de ferramentas computacionais, aplicáveis aos ambientes clínicos hospitalares, com o intuito de auxiliar os médicos radiologistas no processo de atendimento e disseminação do conhecimento de sua área.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação / Made available in DSpace on 2012-10-22T23:46:37Z (GMT). No. of bitstreams: 1 242963.pdf: 1538614 bytes, checksum: 5b7becee02e088bd20c866cf550c555e (MD5) / A utilização de dispositivos móveis em ambientes de grid computacional tem sido explorada para aplicações técnico-científicas, que muitas vezes podem se beneficiar do poder computacional e mobilidade desses ambientes. Todavia, a integração dos dispositivos móveis requer um tratamento mais criterioso de algumas de suas limitações. Uma das vulnerabilidades existentes em uma configuração móvel é a sua imprevisibilidade quanto às suas conexões, assim, desconexões são usualmente freqüentes em ambientes móveis. Esta dissertação apresenta uma pesquisa sobre o tratamento das desconexões de dispositivos móveis utilizados pelos usuários para submissão e monitoração de aplicações em ambientes de grids computacionais. O conceito de workflow foi empregado para a submissão e monitoração de aplicações com várias tarefas para solução de um único problema. A abordagem proposta é constituída por um mecanismo de tratamento de falhas que possui três componentes: o observador, o analisador e o adaptador. Nos casos de desconexão, o mecanismo desenvolvido adapta o fluxo de execução das aplicações considerando a natureza da aplicação e as configurações prévias do usuário. Com a execução dos testes experimentais observou-se que o mecanismo proposto atua na verificação do status de conexão e, quando necessário, procede ao ajuste na execução da aplicação. Em adição, a abordagem possibilita o reinício de aplicações não finalizadas, sem perder o processamento já realizado. Neste contexto, o mecanismo garante a consistência das aplicações de maneira transparente para o usuário, bem como evita o desperdício dos recursos do ambiente grid. Desta forma, a abordagem atingiu com sucesso o objetivo de uma melhor utilização de um ambiente de grid computacional, através de um dispositivo móvel, considerando-se suas eventuais desconexões.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Gestão do Conhecimento / Made available in DSpace on 2012-10-24T02:06:43Z (GMT). No. of bitstreams: 0 / O objetivo desta dissertação é analisar a possibilidade de aplicação sistemas de workflow para a automatização de processos judiciais que tramitam em meio eletrônico. As duas primeiras etapas do estudo pretendem esclarecer de forma geral os dois principais assuntos abordados: o processo judicial e os fluxos de trabalho. Esta etapa é feita por meio de uma revisão bibliográfica sobre os dois assuntos, e visa trabalhar de forma conceitual os temas tratados. Depois, a análise volta-se para a integração entre a área jurídica e a tecnológica. Nesta etapa é ressaltado o aspecto multidisciplinar da proposta, demonstrando como surgiu e como se desenvolve tal integração. Ainda nesta fase será abordado o conceito e a atual situação do processo judicial eletrônico no Brasil, demonstrando o potencial que tal ferramenta possui para melhorar a tramitação dos processos. O último capítulo tem por objetivo demonstrar que processos judiciais são uma espécie de processos de negócio, consequentemente entidades passíveis de automação por um sistema de workflow. Por fim, demonstra-se através de três exemplos como é possível a automatização de determinadas fases processuais com a utilização de workflow. This study analyzes the possibility to use workflow applications in the automatization of electronic judicial procedures. The two first steps of the study approach the two main themes: judicial procedures and workflow. This part is constructed with a literature review of both themes, and aim to work with the involved concepts. Afterwards, the analysis focus on the integration between the juridical and technological areas. In this moment the multidisciplinary aspect is studied, demonstrating how the integration began and its development. This part will treat the concept and the situation of electronic judicial proceedings in Brazil, demonstrating the potential the this feature have to improve the course of proceedings. The objective of the last chapter is to demonstrate that judicial proceedings are some kind of business processes, consequently entities that can be automated by a workflow system. In the end, three examples will show how to make possible the automatization of some judicial procedures using workflow systems.