| dc.contributor | Julia, Stéphane | |
| dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4796960H1 | |
| dc.contributor | Lopes, Carlos Roberto | |
| dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4788535Z4 | |
| dc.contributor | Dórea, Carlos Eduardo Trabuco | |
| dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784768U9 | |
| dc.creator | Silva, Luciane de Fátima | |
| dc.date | 2016-06-22T18:32:29Z | |
| dc.date | 2014-08-19 | |
| dc.date | 2016-06-22T18:32:29Z | |
| dc.date | 2014-02-03 | |
| dc.date.accessioned | 2023-09-28T20:16:22Z | |
| dc.date.available | 2023-09-28T20:16:22Z | |
| dc.identifier | 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. Disponível em: https://doi.org/10.14393/ufu.di.2014.17 | |
| dc.identifier | https://repositorio.ufu.br/handle/123456789/12555 | |
| dc.identifier | https://doi.org/10.14393/ufu.di.2014.17 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/9046714 | |
| dc.description | 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. | |
| dc.description | Mestre em Ciência da Computação | |
| dc.description | 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. | |
| dc.format | application/pdf | |
| dc.format | application/pdf | |
| dc.language | por | |
| dc.publisher | Universidade Federal de Uberlândia | |
| dc.publisher | BR | |
| dc.publisher | Programa de Pós-graduação em Ciência da Computação | |
| dc.publisher | Ciências Exatas e da Terra | |
| dc.publisher | UFU | |
| dc.rights | Acesso Aberto | |
| dc.subject | Processos de negocio | |
| dc.subject | Redes de Petri | |
| dc.subject | WorkFlow net interorganizacional | |
| dc.subject | Sifão | |
| dc.subject | Deadlock | |
| dc.subject | Fluxo de trabalho | |
| dc.subject | Business process | |
| dc.subject | Petri nets | |
| dc.subject | Interorganizational WorkFlow net | |
| dc.subject | Siphon | |
| dc.subject | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | |
| dc.title | Detecção e correção de situações de deadlock em workflow nets interorganizacionais | |
| dc.type | Dissertação | |
