Using Visitor Patterns in Object-Oriented Action Semantics

Andre Murbach MaidlMartin MusicanteClaudio Carvilhe

Object-Oriented Action Semantics incorporates some object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Furthermore, it supports syntax-independent specifications due to the way classes are written. In a previous work, a library of classes (called LFL) was developed to improve specification reuse and to provide a way to describe semantics concepts, independent from the syntax of the programming language. This paper aims to address some problematic aspects of LFL, as well as a case study, where a specification is built by using the Visitor Pattern technique. The use of this pattern allows a clear separation between the syntax of a programming language and its different semantic aspects.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: