Detecção e correção de situações de deadlock em workflow nets interorganizacionais
Autor(a) principal: | |
---|---|
Data de Publicação: | 2014 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFU |
Texto Completo: | https://repositorio.ufu.br/handle/123456789/12555 https://doi.org/10.14393/ufu.di.2014.17 |
Resumo: | 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. |
id |
UFU_1c7175f8822b77041b7996e4705b7597 |
---|---|
oai_identifier_str |
oai:repositorio.ufu.br:123456789/12555 |
network_acronym_str |
UFU |
network_name_str |
Repositório Institucional da UFU |
repository_id_str |
|
spelling |
Detecção e correção de situações de deadlock em workflow nets interorganizacionaisProcessos de negocioRedes de PetriWorkFlow net interorganizacionalSifãoDeadlockFluxo de trabalhoBusiness processPetri netsInterorganizational WorkFlow netSiphonCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOIn 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.Mestre em Ciência da ComputaçãoNeste 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.Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFUJulia, Stéphanehttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4796960H1Lopes, Carlos Robertohttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4788535Z4Dórea, Carlos Eduardo Trabucohttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784768U9Silva, Luciane de Fátima2016-06-22T18:32:29Z2014-08-192016-06-22T18:32:29Z2014-02-03info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfSILVA, 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. DOI https://doi.org/10.14393/ufu.di.2014.17https://repositorio.ufu.br/handle/123456789/12555https://doi.org/10.14393/ufu.di.2014.17porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFUinstname:Universidade Federal de Uberlândia (UFU)instacron:UFU2021-07-27T18:32:15Zoai:repositorio.ufu.br:123456789/12555Repositório InstitucionalONGhttp://repositorio.ufu.br/oai/requestdiinf@dirbi.ufu.bropendoar:2021-07-27T18:32:15Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU)false |
dc.title.none.fl_str_mv |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais |
title |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais |
spellingShingle |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais Silva, Luciane de Fátima Processos de negocio Redes de Petri WorkFlow net interorganizacional Sifão Deadlock Fluxo de trabalho Business process Petri nets Interorganizational WorkFlow net Siphon CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
title_short |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais |
title_full |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais |
title_fullStr |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais |
title_full_unstemmed |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais |
title_sort |
Detecção e correção de situações de deadlock em workflow nets interorganizacionais |
author |
Silva, Luciane de Fátima |
author_facet |
Silva, Luciane de Fátima |
author_role |
author |
dc.contributor.none.fl_str_mv |
Julia, Stéphane http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4796960H1 Lopes, Carlos Roberto http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4788535Z4 Dórea, Carlos Eduardo Trabuco http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784768U9 |
dc.contributor.author.fl_str_mv |
Silva, Luciane de Fátima |
dc.subject.por.fl_str_mv |
Processos de negocio Redes de Petri WorkFlow net interorganizacional Sifão Deadlock Fluxo de trabalho Business process Petri nets Interorganizational WorkFlow net Siphon CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
topic |
Processos de negocio Redes de Petri WorkFlow net interorganizacional Sifão Deadlock Fluxo de trabalho Business process Petri nets Interorganizational WorkFlow net Siphon CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
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. |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014-08-19 2014-02-03 2016-06-22T18:32:29Z 2016-06-22T18:32:29Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
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. DOI https://doi.org/10.14393/ufu.di.2014.17 https://repositorio.ufu.br/handle/123456789/12555 https://doi.org/10.14393/ufu.di.2014.17 |
identifier_str_mv |
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. DOI https://doi.org/10.14393/ufu.di.2014.17 |
url |
https://repositorio.ufu.br/handle/123456789/12555 https://doi.org/10.14393/ufu.di.2014.17 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal de Uberlândia BR Programa de Pós-graduação em Ciência da Computação Ciências Exatas e da Terra UFU |
publisher.none.fl_str_mv |
Universidade Federal de Uberlândia BR Programa de Pós-graduação em Ciência da Computação Ciências Exatas e da Terra UFU |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFU instname:Universidade Federal de Uberlândia (UFU) instacron:UFU |
instname_str |
Universidade Federal de Uberlândia (UFU) |
instacron_str |
UFU |
institution |
UFU |
reponame_str |
Repositório Institucional da UFU |
collection |
Repositório Institucional da UFU |
repository.name.fl_str_mv |
Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU) |
repository.mail.fl_str_mv |
diinf@dirbi.ufu.br |
_version_ |
1805569564842393600 |