Return to search

A semântica formal de MooZ

Made available in DSpace on 2014-06-12T15:59:11Z (GMT). No. of bitstreams: 2
arquivo4936_1.pdf: 1288760 bytes, checksum: e9b38bddcefdbcf94c0812a3c4d81dc1 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 1993 / 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

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2548
Date January 1993
CreatorsMin, Lin Tse
ContributorsMeira, Silvio Romero de Lemos
PublisherUniversidade Federal de Pernambuco
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.002 seconds