Semântica de ações orientada a objetos

Abstract

Resumo: 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.

Abstract: 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.