Semântica de ações orientada a objetos

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorMusicante, Martin Alejandro-
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática-
Autor(es): dc.creatorCarvilhe, Cláudio Ricardo Vieira-
Data de aceite: dc.date.accessioned2025-09-01T12:04:06Z-
Data de disponibilização: dc.date.available2025-09-01T12:04:06Z-
Data de envio: dc.date.issued2024-10-20-
Data de envio: dc.date.issued2024-10-20-
Data de envio: dc.date.issued2002-
Fonte completa do material: dc.identifierhttps://hdl.handle.net/1884/78491-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/78491-
Descrição: dc.descriptionOrientador: Prof. Martin Musicante-
Descrição: dc.descriptionDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Curso de Pós-Graduação em Informática-
Descrição: dc.descriptionInclui referências: p. 88-90-
Descrição: dc.descriptionResumo: Neste trabalho apresentamos a Semântica de Ações Orientada a Objetos, uma nova forma de tratar alguns dos problemas relacionados ao reuso e extensão de especificações de linguagens de programação em Semântica de Ações. A partir da análise de métodos para a divisão da especificação formal em partes, propomos uma forma de organizar as especificações, baseada em uma hierarquia de classes de objetos. Os objetos, que determinam a semântica das frases da linguagem, podem ser reutilizados e adequados a novas especificações de linguagens. Uma nova notação é definida e sua semântica é apresentada. Finalmente, um estudo de caso é elaborado, considerando a especificação formal de uma linguagem imperativa simples. Este estudo nos permite avaliar a abordagem proposta.-
Descrição: dc.descriptionAbstract: In this paper we present Object-Oriented Action Semantics, as a means for handling some problems related to reuse and extension of Action Semantics specifications. Based on the analysis of formal specification parts division methods, we propose a way to organize specifications based on a class hierarchy. Objects that define languages sentences semantics can be reused and applied in new language specifications. A new notation is defined and its semantics is presented. Finally, a case study is shown by considering a small imperative language formal specification. This case study allows us to assess our proposal.-
Formato: dc.format104 p. : il.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Relação: dc.relationDisponível em formato digital-
Palavras-chave: dc.subjectLinguagem de programação (Computadores) - Semântica-
Palavras-chave: dc.subjectProgramação orientada a objetos (Computação)-
Palavras-chave: dc.subjectCiência da Computação-
Título: dc.titleSemântica de ações orientada a objetos-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.