Especificação do tipo intervalar parametrizado em CASL

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Melo, Samara Pereira da Costa
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Sistemas e Computação
Ciência da Computação
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Linguagem de programação
Intervalo parametrizado
CASL
Intervalar language
Parametrized interval
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/18057
Resumo: The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization
id UFRN_2deef26a8ff486052967faa029cf1ffd
oai_identifier_str oai:repositorio.ufrn.br:123456789/18057
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Especificação do tipo intervalar parametrizado em CASLLinguagem de programaçãoIntervalo parametrizadoCASLIntervalar languageParametrized intervalCASLCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOThe interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrizationO 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 parcialidadeUniversidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da ComputaçãoBedregal, Benjamin René Callejashttp://lattes.cnpq.br/6933781856093521http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7Campos, Marcília Andradehttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783192D1Santiago, Regivan Hugo Nuneshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4Moreira, Anamaria Martinshttp://lattes.cnpq.br/5861361541278876Melo, Samara Pereira da Costa2014-12-17T15:48:02Z2014-12-102014-12-17T15:48:02Z2006-05-19info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfMELO, Samara Pereira da Costa. Especificação do tipo intervalar parametrizado em CASL. 2006. 134 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2006.https://repositorio.ufrn.br/jspui/handle/123456789/18057porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRN2017-11-04T15:15:07Zoai:repositorio.ufrn.br:123456789/18057Repositório InstitucionalPUBhttp://repositorio.ufrn.br/oai/repositorio@bczm.ufrn.bropendoar:2017-11-04T15:15:07Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.none.fl_str_mv Especificação do tipo intervalar parametrizado em CASL
title Especificação do tipo intervalar parametrizado em CASL
spellingShingle Especificação do tipo intervalar parametrizado em CASL
Melo, Samara Pereira da Costa
Linguagem de programação
Intervalo parametrizado
CASL
Intervalar language
Parametrized interval
CASL
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
title_short Especificação do tipo intervalar parametrizado em CASL
title_full Especificação do tipo intervalar parametrizado em CASL
title_fullStr Especificação do tipo intervalar parametrizado em CASL
title_full_unstemmed Especificação do tipo intervalar parametrizado em CASL
title_sort Especificação do tipo intervalar parametrizado em CASL
author Melo, Samara Pereira da Costa
author_facet Melo, Samara Pereira da Costa
author_role author
dc.contributor.none.fl_str_mv Bedregal, Benjamin René Callejas

http://lattes.cnpq.br/6933781856093521

http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7
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/5861361541278876
dc.contributor.author.fl_str_mv Melo, Samara Pereira da Costa
dc.subject.por.fl_str_mv Linguagem de programação
Intervalo parametrizado
CASL
Intervalar language
Parametrized interval
CASL
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
topic Linguagem de programação
Intervalo parametrizado
CASL
Intervalar language
Parametrized interval
CASL
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
description The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization
publishDate 2006
dc.date.none.fl_str_mv 2006-05-19
2014-12-17T15:48:02Z
2014-12-10
2014-12-17T15:48:02Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv MELO, Samara Pereira da Costa. Especificação do tipo intervalar parametrizado em CASL. 2006. 134 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2006.
https://repositorio.ufrn.br/jspui/handle/123456789/18057
identifier_str_mv MELO, Samara Pereira da Costa. Especificação do tipo intervalar parametrizado em CASL. 2006. 134 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2006.
url https://repositorio.ufrn.br/jspui/handle/123456789/18057
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Sistemas e Computação
Ciência da Computação
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Sistemas e Computação
Ciência da Computação
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv repositorio@bczm.ufrn.br
_version_ 1855758912193560576

Registros relacionados