Detalhes bibliográficos
Ano de defesa: |
1993 |
Autor(a) principal: |
Min, Lin Tse |
Orientador(a): |
Meira, Silvio Romero de Lemos |
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 de Pernambuco
|
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: |
|
Link de acesso: |
https://repositorio.ufpe.br/handle/123456789/2548
|
Resumo: |
Este trabalho descreve uma semântica formal para MooZ, uma extensão µa linguagem Z proposta pelo Grupo de Especificações Formais do DI/UFPE. Os conceitos fundamentais de orientação a objetos foram incluídos em MooZ: abstração, encapsulamento, modularidade e hierarquia. A semântica formal é apresentada como uma extensão à semântica de variedades pro- posta por J.M. Spivey para Z. A extensão traz como vantagens um maior entendimento da facilidade de expressão de MooZ em relação à Z e a demonstração de que MooZ é uma extensão conservativa de Z. Após uma introdução informal à MooZ, os conceitos da teoria axiomática dos conjun- tos de Zermelo-Fraenkel utilizados para descrever a semântica de MooZ são apresentados e especificados em Z. O sistema de tipos de MooZ é descrito e o modelo de assinaturas, estruturas e variedades de Spivey é expandido para comportar os conceitos de MooZ. As funções semânticas que fornecem o significado de cada elemento de MooZ são definidas. Por fim, são apresentadas a importância deste trabalho, as dificuldades encontradas no seu desenvolvimento e as sugestões para a sua continuação |