MetaSketch OCL Interpreter

Matos, João Marcos Duarte

http://hdl.handle.net/10400.13/114

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
MarcosMatos - Dissertação.pdf		1.05 MB	Adobe PDF	Download

Send Feedback

Authors

Matos, João Marcos Duarte

Abstract(s)

No contexto das tecnologias propostas pela OMG, o MOF é utilizado para definir a sintaxe de linguagens de modelação, contudo, os aspectos semânticos não podem ser capturados usando esta linguagem. A descrição dos aspectos não sintácticos é realizada com recurso à linguagem OCL. Consequentemente, para uma completa definição de uma linguagem de modelação é necessário incorporar o OCL no MOF, criando uma infra-estrutura que possui a expressividade necessária para realizar esta função. Este projecto visa complementar a ferramenta de metamodelação MetaSketch Editor, introduzindo a capacidade de executar expressões em OCL e permitindo, desta forma, a verificação semântica dos modelos construídos usando o MetaSketch Editor. A gramática da linguagem OCL adoptada está de acordo com a especificação elaborada pela OMG (2006-05-01), juntando-se algumas contribuições de trabalhos existentes sobre esta linguagem. O projecto envolveu a implementação de um parser com recurso ao sistema GOLD Parser, a implementação da standard library do OCL em C# e, por último, a implementação de uma estratégia de execução das expressões em OCL.