| 摘要 |
MECANISMO DE RESOLUçãO DE CONFLITO E GARANTIA DE DETERMINISMO PARA O PARADIGMA ORIENTADO A NOTIFICAçõES (PON). Este documento apresenta um novo mecanismo para a Identificação/Resolução de Conflitos e Garantia de Determinismo para o paradigma de programação de computadores intitulado Paradigma Orientado a Notificações (PON). O PON em si resolve problemas dos paradigmas atuais, como sintaxe inapropriada, redundâncias estruturais e temporais e, particularmente, o acoplamento forte de entidades computacionais uma vez que ele utiliza um processo alternativo de avaliação causal (ou inferência) feito por meio de entidades computacionais de pequeno porte, (re)ativas e desacopladas que colaboram por meio de notificações pontuais. No PON, as expressões causais e estruturas de dados são entidades efetivas chamadas Rules e FactBases que juntas realizam colaborativamente os ciclos de inferência por meio de notificações suas e de entidades auxiliares. Estas entidade são os Attributes das FactBases que notificam as Premises das Conditions das Rules, as quais (se aprovadas) ativam suas Actions que, por sua vez, ativam suas Instigations e conseqúentemente os Methods da FactBases permitindo o ciclo de inferência por notificações. Salienta-se que a parte lógico-causal destas entidades e as conexões para notificações/instigações são criadas automaticamente a partir do conhecimento' de regras causais. Estas regras causais contêm conhecimentos relativos à aplicação visada e também podem conter conhecimentos adicionais relativos a questões como o tratamento de conflito e o determinismo. Neste âmbito, a presente invenção constitui-se em um Mecanismo com dois objetivos sinérgicos no âmbito do PON que são implicitamente Identificar/Resolver Conflitos e implicitamente Garantir Determinismo. A Identificação e Resolução de Conflitos dos elementos envolvidos se dá por contra-notificações de Conditions aprovadas para Premises exclusivas (relativas a FactBases passiveis de conflito) que identificam um conflito caso haja mais de uma contra-notificação, resolvem tal conflito deterministicamente (usando uma da política como prioridades distintas de Conditions/Rules) e confirmam a aprovação apenas da Condition eleita. O determinismo implícito, por sua vez, é garantido primeiramente estabelecendo contra-notificações das Conditions às Premises e das Premises aos Attributes, sendo cada contra-notificação a confirmação da notificação prévia recebida, e garantido subsequentemente pela notificação final dos Attributes às Conditions. Isto garante que todos os elementos envolvidos no processo de inferência tenham oportunidades iguais de avaliações bem como evoluções determinísticas. Em suma, é apresentado este duplo-mecanismo que se dá por meio de colaborações adicionais das entidades existentes no PON, sendo tais colaborações também orientadas a notificações, normalmente aplicadas sinergicamente e potencialmente/normalmente tratadas por meio de mecanismos de herança. Enfim, apresenta-se um novo mecanismo que melhora as capacidades das inferências determinadas pelo PON, úteis a várias classes de software, facilitando seu emprego uma vez que o mecanismo também emerge implicitamente a partir do 'conhecimento' das regras.
|
