Detecção de conflitos em contratos multilaterais

• Autor(a) principal: Wellington Aparecido Della Mura
• Data de Publicação: 2016
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UEL
• Texto Completo: http://www.bibliotecadigital.uel.br/document/?code=vtls000208834

O conceito de contrato desempenha um papel importante no mundo dos negócios em que relações comerciais entre diferentes partes são ditadas por normas legais. Esse método de negociação tem sido cada vez mais utilizado por meio de transações eletrônicas, devido aos avanços tecnológicos e à globalização. Com isso, algumas dificuldades surgiram para se garantir a confiabilidade entre as partes interessadas na realização das negociações. Uma forma de se garantir propriedades e acordos em contratos eletrônicos é verificação automática e rigorosa com base em formalismos matemáticos. Alguns formalismos, como as lógicas de ôntica e dinâmica, são empregados na representação de contratos eletrônicos. Modelos formais com suporte computacional permitem alcançar resultados mais precisos na verificação desses contratos. Em decorrência de tal êxito, estudos sobre contratos eletrônicos têm sido amplamente abordados na literatura. No entanto, novos desafios surgem nesse contexto, como por exemplo, a detecção de conflitos em contratos multilaterais, porém, poucos trabalhos têm lidado com essa forma contratual. Devido a isso, este trabalho propõe uma forma de representar adequadamente os contratos multilaterais por meio de formalismos e verificar automaticamente propriedades em contratos dessa natureza. Neste sentido, o trabalho apresenta a ferramenta RECALL – um verificador automático para detecção de conflitos em contratos multilaterais. Além disso, um estudo de caso real de venda de produtos via Internet, caracterizado por aspectos multilaterais, é modelado e verificado usando a ferramenta RECALL. Com a aplicacão prática no contrato de vendas é possível fornecer uma prova de conceito sobre as funcionalidades da ferramenta desenvolvida.