Uma regra de sincronização baseada na lógica linear para prevenção de deadlock em workflow nets interorganizacionais

A synchronization rule based on linear logic for deadlock prevention in interorganizational workflow nets

dc.contributorPassos, Lígia Maria Soares
dc.contributorhttp://lattes.cnpq.br/6285960555725104
dc.contributorJulia, Stéphane
dc.contributorhttp://lattes.cnpq.br/6736358221140969
dc.contributorLopes, Carlos Roberto
dc.contributorhttp://lattes.cnpq.br/6737493567462425
dc.contributorVillani, Emília
dc.contributorhttp://lattes.cnpq.br/4280649883963631
dc.creatorOliveira, Vinícius Ferreira de
dc.date2018-05-03T17:29:22Z
dc.date2018-05-03T17:29:22Z
dc.date2017-08-30
dc.date.accessioned2023-09-28T21:22:01Z
dc.date.available2023-09-28T21:22:01Z
dc.identifierOLIVEIRA, Vinícius Ferreira de. Uma Regra de Sincronização Baseada na Lógica Linear para Prevenção de Deadlock em WorkFlow nets Interorganizacionais - Uberlândia, 2017. 155 f. Dissertação (Mestrado em Engenharia de Software) - Universidade Federal de Uberlândia, Uberlândia, 2018.
dc.identifierhttps://repositorio.ufu.br/handle/123456789/21273
dc.identifierhttp://dx.doi.org/10.14393/ufu.di.2018.1114
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/9068535
dc.descriptionThis work presents a prevention method for deadlock situations, through a synchronization rule, in interorganizational workflow processes that are locally sound, but not globally sound. Such a method considers the Petri net theory and is based on the analysis of Linear Logic proof trees. The work also presents a method for the qualitative and quantitative analysis of the interorganizational workflow model process, before and after the application of the synchronization rule used to remove deadlock situations. Following the application of the synchronization rule, those models that represent the interorganizational workflow processes that are not sound are transformed into sound models due to the replacement of certain asynchronous communication places by partially synchronous communication mechanisms. As a consequence of the application of the synchronization rule, the process may suffer minor delays, reducing the process performance. The use of Linear Logic has the greatest advantage the possibility of reusing fragments of the proof tree produced before the application of the synchronization rule. Consequently the analysis of the model is only performed in that part of the model responsible for the deadlock situation.
dc.descriptionCAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
dc.descriptionDissertação (Mestrado)
dc.descriptionEste trabalho apresenta um método de prevenção para situações de deadlock, por meio de uma regra de sincronização, em processos de workflow interorganizacionais que são localmente sound, porém não globalmente sound. Tal método considera a teoria das redes de Petri e é baseado na análise das árvores de prova da Lógica Linear. O trabalho apresenta também um método para análise qualitativa e quantitativa do modelo de processo de workflow interorganizacional antes e após a aplicação da regra de sincronização usada para remover situações de deadlock. Após a aplicação da regra de sincronização, modelos que representam processos de workflow interorganizacionais que não são sound se transformam em modelos sound devido à substituição de certos lugares de comunicação assíncrona por mecanismos de comunicação parcialmente síncrona. Como consequência da aplicação da regra de sincronização, o processo poderá sofrer pequenos atrasos, diminuindo o desempenho do processo. A utilização da Lógica Linear tem como vantagem a possibilidade de reutilizar fragmentos da árvore de prova produzidos antes da aplicação da regra de sincronização. Consequentemente a análise do modelo somente é realizada na parte do modelo responsável pela situação de deadlock.
dc.formatapplication/pdf
dc.languagepor
dc.publisherUniversidade Federal de Uberlândia
dc.publisherBrasil
dc.publisherPrograma de Pós-graduação em Ciência da Computação
dc.rightsAcesso Aberto
dc.subjectProcessos de negócio
dc.subjectBusiness process
dc.subjectRedes de Petri
dc.subjectPetri nets
dc.subjectLógica Linear
dc.subjectLinear Logic
dc.subjectWorkFlow net Interorganizacional
dc.subjectInterorganizational WorkFlow net
dc.subjectSoundness
dc.subjectDeadlock
dc.subjectRegra de sincronização
dc.subjectSynchronization rule
dc.subjectComputação
dc.subjectComputer Science
dc.subjectFluxo de trabalho
dc.subjectWorkflow
dc.subjectCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE
dc.titleUma regra de sincronização baseada na lógica linear para prevenção de deadlock em workflow nets interorganizacionais
dc.titleA synchronization rule based on linear logic for deadlock prevention in interorganizational workflow nets
dc.typeDissertação


Este ítem pertenece a la siguiente institución