Navegando por Autor "Melo, Samara Pereira da Costa"
Agora exibindo 1 - 1 de 1
- Resultados por página
- Opções de Ordenação
Dissertação Especificação do tipo intervalar parametrizado em CASL(Universidade Federal do Rio Grande do Norte, 2006-05-19) Melo, Samara Pereira da Costa; Bedregal, Benjamin René Callejas; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7; ; http://lattes.cnpq.br/6933781856093521; Campos, Marcília Andrade; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783192D1; Santiago, Regivan Hugo Nunes; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4; Moreira, Anamaria Martins; ; http://lattes.cnpq.br/5861361541278876O uso do tipo intervalar em várias áreas favorece a idéia de se ter uma estrutura básica reutilizável, ou seja, um construtor intervalar que seja aplicado a um tipo de dados para se obter os intervalos desse tipo. Como um intervalo, intuitivamente é o conjunto de elementos que estão entre dois extremos, sua construção presupõe a noção de ordem, e portanto é razoável que este construtor trabalhe sobre tipos munidos de uma ordem parcial. Por outro lado, como o que se quer é operar com intervalos de objetos de um certo tipo como se opera com esses objetos, então também é razoável querer que as propriedades algébricas desses objetos sejam preservadas no seu tipo intervalar. Assim, o construtor intervalar fornece uma fundamentação teórica para o tipo intervalo parametrizado, ou seja, intervalos cujo parâmetro é generalizado podendo ser, por exemplo, números reais, complexos, etc. A aplicação do intervalo em certas estruturas algébricas nem sempre garante a preservação de suas características, por exemplo, quando se trabalha com intervalos de números reais, seria conveniente que estes pudessem se comportar como se fossem os reais. Isto não acontece pois os reais satisfazem as propriedades algébricas de corpo, já os intervalos de reais não (por exemplo, não suporta a propriedade distributiva). Para superar esta dificuldade Santiago introduziu a teoria da igualdade local numa forma de enfraquecer a noção de igualdade forte fazendo com que propriedades satisfeitas localmente sejam relevantes, propriedades estas que antes poderiam ser descartadas. A generalização da aritmética intervalar propõe a aplicação do construtor intervalar em estruturas algébricas ordenadas e enfraquecidas pela igualdade local, objetivando a manutenção de suas propriedades algébricas. Como os intervalos são importantes em aplicações que trabalhem com dados contínuos, é interessante descrever esta teoria usando uma linguagem de especificação que permita o desenvolvimento de sistemas computacionais que usem tipos intervalares de modo disciplinado, confiável e seguro. Atualmente, as linguagens de especificações algébricas, que se baseiam em modelos matemáticos, têm sido muito usadas para este proposito. Dentre as várias linguagens deste tipo existentes, foi escolhida CASL (Common Algebraic Specification Language) por conter diversas características relevantes para especificação do tipo intervalar parametrizado como, por exemplo, admitir parametrização e parcialidade