Return to search

CHORD: constraint handling object-oriented rules with disjunctions

Made available in DSpace on 2014-06-12T15:53:28Z (GMT). No. of bitstreams: 2
arquivo1916_1.pdf: 1434494 bytes, checksum: 1b590044040a8dcd13c8953148aade5a (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2009 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Constraint Handling Object-oriented Rules with Disjunctions (CHORD), é uma extensão
orientada a objetos (OO) de CHRv, uma linguagem relacional baseada em regras que foi
inicialmente desenhada para a especificação em caixa branca de resolvedores de restrições mas
veio a mostrar-se uma linguagem bastante flexível. Flexibilidade esta que vêm sendo
demonstrada nos últimos anos pelo grande número de serviços de raciocínio e algoritmos que
foram descritos concisamente por meio desta linguagem.
Para definir a sintaxe de nossa extensão, nós nos baseamos na abordagem seguida na
extensão de Prolog realizada por Frame Logic que é similar à nossa, na qual, a sintaxe de frames
foi introduzida para representar construtores OO em cima dos relacionais originais. Além disso,
em vez de forçar o usuário (programador) a se adequar à uma semântica pré-definida para esses
novos construtores, nós escolhemos uma estratégia inovadora: desacoplar a sintaxe da semântica
da linguagem permitindo que o conjunto de hipóteses semânticas seja totalmente configurável.
Estes avanços claramente contribuem para o domínio do Raciocínio Automático e da
Representação do Conhecimento (AR/KR), dentro do qual CHRv é a linguagem de representa
ção do conhecimento mais versátil. Este trabalho também permite a integração dos serviços de
raciocínio já providos por CHRv ao estado da arte em linguagens orientadas a objetos reduzindo
a quebra de paradigma entre elas.
Há também contribuições a outros domínios: em programação declarativa, ao
disponibilizar a primeira linguagem a integrar as formas mais poderosas de programação
orientada a objetos, baseada em regras e baseada em restrições. No domínio da Web Semântica,
nós mostramos que nossa linguagem generaliza a semântica de três dos mais importantes padrões
de linguagem de representação do conhecimento, provendo uma solução para o problema
recorrente de integração nesta área. No domínio da engenharia guiado por modelos (MDE), este
trabalho provê o primeiro mapeamento semântico para modelos UML/OCL, MOF/OCL e
transformações de modelo explícitamente configurável e com fundamentação axiomática
declarativa e operacional em CFOL.
Neste trabalho nós apresentamos as sintaxes abstrata e contreta de CHORD, suas
semânticas operacional e declarativa em CFOL, e uma ontologia de hipóteses semânticas para
herança. Para validá-lo, nós apresentamos três estudos de caso mostrando que CHORD
generaliza UML/OCL, Frame Logic e OWL

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/1955
Date31 January 2009
CreatorsSILVA, Marcos Aurélio Almeida da
ContributorsROBIN, Jacques Pierre Louis
PublisherUniversidade Federal de Pernambuco
Source SetsIBICT Brazilian ETDs
LanguageEnglish
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0022 seconds