Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/12555
metadata.dc.type: Dissertação
metadata.dc.rights: Acesso Aberto
Title: Detecção e correção de situações de deadlock em workflow nets interorganizacionais
metadata.dc.creator: Silva, Luciane de Fátima
metadata.dc.contributor.advisor1: Julia, Stéphane
metadata.dc.contributor.referee1: Lopes, Carlos Roberto
metadata.dc.contributor.referee2: Dórea, Carlos Eduardo Trabuco
metadata.dc.description.resumo: Neste trabalho e proposta uma abordagem baseada na prevenção de deadlocks em WorkFlow nets Interorganizacionais para lidar com situações dessa natureza. Processos de negocio interorganizacionais são modelados por work ows interorganizacionais. Situações de deadlock nos processos de negocio interorganizacionais geralmente estão relacionadas a perdas durante trocas de mensagens entre varios processos de negocio. Dentro da teoria das redes de Petri, uma situação de deadlock e caracterizada pela presenca de um sifão que pode car vazio. Depois de detectar e controlar as estruturas de sifão que levam as situações de deadlock nas WorkFlow nets Interorganizacionais, e proposta uma arquitetura distribuda para modelar as WorkFlow nets Interorganizacionais livre de deadlock. Em particular, o princpio basico consiste em denir novas WorkFlow nets compartilhadas entre os work ows originais que permitem remover os cenarios responsaveis pelos deadlocks.
Abstract: In this work, an approach based on Deadlock avoidance of Interorganizational Work-Flow nets is proposed to deal with these situations. Interorganizational business processes are modeled by Interorganizational WorkFlow nets. Deadlock situations in interorganizational business processes come generally related to losses during message exchanges between several business processes. Within the Petri net theory, a Deadlock situation is characterized by the presence of a siphon that can be empty. After detecting and controlling the Siphon structures that lead to Deadlock situations in Interorganizational WorkFlow nets, a method for the design of Interorganizational WorkFlow nets free of Deadlock is proposed. In particular, the basic principle is to dene new Work- Flow nets shared among the original work ow processes that allow one to remove the scenarios responsible for the Deadlocks.
Keywords: Processos de negocio
Redes de Petri
WorkFlow net interorganizacional
Sifão
Deadlock
Business process
Petri nets
Interorganizational WorkFlow net
Siphon
Fluxo de trabalho
metadata.dc.subject.cnpq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
metadata.dc.language: por
metadata.dc.publisher.country: BR
Publisher: Universidade Federal de Uberlândia
metadata.dc.publisher.initials: UFU
metadata.dc.publisher.department: Ciências Exatas e da Terra
metadata.dc.publisher.program: Programa de Pós-graduação em Ciência da Computação
Citation: SILVA, Luciane de Fátima. Detecção e correção de situações de deadlock em workflow nets interorganizacionais. 2014. 185 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2014.
URI: https://repositorio.ufu.br/handle/123456789/12555
Issue Date: 3-Feb-2014
Appears in Collections:PPGCC - Mestrado em Ciência da Computação

Files in This Item:
File Description SizeFormat 
DeteccaoCorrecaoSituacoes.pdf4.64 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.