| 摘要 |
MECANISMO DE INFERêNCIA OTIMIZADO DE PARADIGMA ORIENTADO A NOTIFICAçõES (PON) E MECANISMOS DE RESOLUçãO DE CONFLITOS PARA AMBIENTES MONOPROCESSADOS E MULTIPROCESSADOS APLICADOS AO PON. Este documento apresenta inovações no mecanismo de inferência e novos mecanismos para resolução de conflitos 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, reativas 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 Rufes e FactBases que juntas realizam colaborativamente os ciclos de inferência por meio de notificações suas e de entidades auxiliares. Estas entidades são os Attributes das FactBases que notificam as Premises das Canditions das Rufes, 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. Certamente, um diferencial de um mecanismo de inferência é a sua eficiência de execução. Neste contexto, mesmo o PON apresentando melhor mecanismo de inferência do que as materializações dos atuais paradigmas, o mecanismo de inferência por notificações pode ainda apresentar melhores resultados por meio de mudanças precisas. Justamente, este pedido de patente apresenta inovações que evitam notificações desnecessárias e conseqúentemente contribuem para a melhor utilização dos recursos computacionais. Um exemplo de inovação é o uso de uma tabela hash para otimizar o fluxo de notificações entre Attributes e Premises ou a expansão de utilização de diferentes operadores lógicos nas Conditions. Da mesma forma que as inovações no mecanismo de inferência são necessários para o melhoramento do PON, os mecanismos de resolução de conflitos também são importantes para prover melhorias e facilitar o uso do paradigma. Assim sendo, este pedido de patente apresenta novos mecanismos de resolução de conflitos neste contexto. Primeiramente são apresentados dois mecanismos úteis a ambientes monoprocessados não concorrentes, sendo um baseado em escalonador de Rules e outro na execução de cada Rule assim que ela seja aprovada. Subsequentemente, é proposto ainda um mecanismo para ambientes concorrentes monoprocessados ou multiprocessados. Este mecanismo é baseado em contra-notificações dos elementos e em acessos exclusivos.
|
