Especificação do tipo intervalar parametrizado em CASL

AUTOR(ES)

Samara Pereira da Costa Melo

DATA DE PUBLICAÇÃO

2003

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 its 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. its 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 doesnt guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesnt 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, its 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

ASSUNTO(S)

casl sistemas de computacao parametrized interval intervalo parametrizado intervalar language linguagem de programação casl

Documentos Relacionados

• Sistema de detecção e isolamento de falhas em sistemas dinâmicos baseado em identificação paramétrica
• Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões
• Geração genética de classificador fuzzy intervalar do tipo-2
• Clonagem de um gene do tipo osmotina em cacau (Theobroma cacao L.).
• Arquitetura de um controlador Fuzzy tipo-2 intervalar em hardware analógico