Programação por restrições distribuídas em Java

Abstract

Após uma breve introdução à problemática da resolução de sistemas de restrições de domínios finitos e da apresentação das mais conhecidas (hoje) implementações de domínios finitos na linguagem Java, são apresentadas nesta tese, duas abordagens possíveis e duas implementações em Java para resolvedores de restrições sobre domínios finitos. As principais contribuições originais desta tese são: • Uma abordagem orientada a objectos à implementação dum resolvedor de restrições com iteração de variáveis, o GC. Este resolvedor é providenciado como uma biblioteca Java. • Uma abordagem baseada em múltiplos estados independentes, o AJACS. Tal como a abordagem anterior, o AJACS é facultado numa biblioteca Java, que pode ser extendida. A resolução dum sistema de restrições com esta abordagem, passa por gerar novos estados em que a partilha com os estados anteriores, se a houver, é só em leitura. • Vários modelos concorrentes para a exploração do espaço de estados anterior. • Uma implementação paralela com threads Java, que implementa estes modelos. • Uma implementação distribuída, assente num sistema DSM, do modelo de estados múltiplos. • Uma aplicação da implementação distribuída a problemas de construção de horários.