A semÃntica formal de MooZ

AUTOR(ES)

Lin Tse Min

DATA DE PUBLICAÇÃO

1993

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 proposta 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 Âa Z e a demonstraÃÃo de que MooZ à uma extensÃo conservativa de Z. ApÃs uma introduÃÃo informal Âa MooZ, os conceitos da teoria axiomÃtica dos conjuntos 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

ASSUNTO(S)

ciÃncia da computaÃÃo â mÃtodos formais â linguagem de especificaÃÃo mooz semÃntica formal â orientaÃÃo a objetos ciencia da computacao

Documentos Relacionados

• Uma linguagem para modelagem de processos baseada em semÃntica de aÃÃes
• ClassificaÃÃo supervisionada usando dados simbÃlicos de semÃntica modal
• Um sistema de recuperaÃÃo e extraÃÃo de informaÃÃo utilizando conceitos da web semÃntica
• A luta da legalidade pela determinaÃÃo semÃntica nos tipos penais: possibilidades de um enfrentamento jurÃdico-discursivo
• Uma arquitetura para sistemas tutores inteligentes apoiada por fundamentos de Web semÃntica.