Detecção de conflitos em contratos multilaterais

Página do item simplificado
dataload.collectionmapped02 - Mestrado - Ciência da Computaçãopt_BR
dataload.filenamenourau4783.pdfpt_BR
dataload.handlemapped123456789/50pt_BR
dataload.idpergamum160532pt_BR
dataload.idvirtuanourauvtls000208834pt_BR
dataload.idvirtuapergamumvtls000208834pt_BR
dataload.idvirtuapergamum.sameurlnourauSIMpt_BR
dataload.linknourauhttp://www.bibliotecadigital.uel.br/document/?code=vtls000208834pt_BR
dataload.linknourau.regularSIMpt_BR
dataload.linknourau.retificadohttp://www.bibliotecadigital.uel.br/document/?code=vtls000208834pt_BR
dataload.linknourau.size64.00pt_BR
dc.contributor.advisorBonifácio, Adilson Luiz [Orientador]pt_BR
dc.contributor.authorDella Mura, Wellington Aparecidopt_BR
dc.contributor.bancaSimão, Adenilso da Silvapt_BR
dc.contributor.bancaKaster, Daniel dos Santospt_BR
dc.contributor.bancaBaccarin, Evandropt_BR
dc.coverage.spatialLondrinapt_BR
dc.date.accessioned2024-05-01T14:18:59Z
dc.date.available2024-05-01T14:18:59Z
dc.date.created2016.00pt_BR
dc.date.defesa21.09.2016pt_BR
dc.description.abstractResumo: 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 di?culdades surgiram para se garantir a con?abilidade entre as partes interessadas na realização das negociações Uma forma de se garantir propriedades e acordos em contratos eletrônicos é veri?caçã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 representacão de contratos eletrônicos Modelos formais com suporte computacional permitem alcançar resultados mais precisos na veri?cação desses contratos Em decorrência de tal êxito, estudos sobre contratos eletrônicos têm sido amplamente abordados na literatura No entanto, novos desa?os surgem nesse contexto, como por exemplo, a detecção de con?itos 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 veri?car automaticamente propriedades em contratos dessa natureza Neste sentido, o trabalho apresenta a ferramenta RECALL – um veri?cador automático para detecção de con?itos em contratos multilaterais Além disso, um estudo de caso real de venda de produtos via Internet, caracterizado por aspectos multilaterais, é modelado e veri?cado 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 desenvolvidapt_BR
dc.description.abstractother1Abstract: The notion of contracts has played an important role in business where trade relationships between di?erent parties are dictated by legal rules This concept has been used increasingly by electronic transactions due to technological advances and globalization Therefore, new challenges have emerged to guarantee the reliability among stakeholders in electronic negotiations Automatic veri?cation based on formalisms lays the foundations to guarantee properties and agreements on electronic contracts Some formalisms, such as deontic and dynamic logics, are used to represent electronic contracts Formal models and computational support allow to attain more precise results on checking electronic contracts The automatic veri?cation of electronic contracts has arisen as a new challenge especially in the task of detecting con?icts in multi-party contracts The problem of checking contracts has been largely addressed in the literature, but only few works have dealt with multi-party ones This work proposes an approach to represent appropriately multi-party contracts by means of suitable formalisms and also to automatically verify properties in contracts of this nature We present the RECALL tool, an automatic checker for ?nding con?icts on multi-party contracts A real world case study characterized by multilateral aspects is also modeled and veri?ed using the RECALL tool Further, the practical application of our tool in a real world problem provides a proof of concept upon their functionalitiespt_BR
dc.description.notesDissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Londrina, Centro de Ciências Exatas, Programa de Pós-Graduação em Ciência da Computaçãopt_BR
dc.identifier.urihttps://repositorio.uel.br/handle/123456789/13799
dc.languagepor
dc.relation.coursedegreeMestradopt_BR
dc.relation.coursenameCiência da Computaçãopt_BR
dc.relation.departamentCentro de Ciências Exataspt_BR
dc.relation.ppgnamePrograma de Pós-Graduação em Ciência da Computaçãopt_BR
dc.subjectContratos eletrônicospt_BR
dc.subjectArquitetura de computadorpt_BR
dc.subjectLógica deônticapt_BR
dc.subjectContratos eletrônicospt_BR
dc.subjectConflitospt_BR
dc.subjectEletronic contractspt_BR
dc.subjectComputer architecturept_BR
dc.subjectDeontic logicpt_BR
dc.subjectEletronic contractspt_BR
dc.subjectComputer logicpt_BR
dc.subjectDetectionpt_BR
dc.subjectConflictpt_BR
dc.titleDetecção de conflitos em contratos multilateraispt_BR
dc.typeDissertaçãopt_BR

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
4783.pdf
Tamanho:
1.31 MB
Formato:
Adobe Portable Document Format
Baixar

Coleções

02 - Mestrado - Ciência da Computação