Ferramentas para linguagem de especificação LOTOS

AUTOR(ES)

Hunberto Maia Lima

DATA DE PUBLICAÇÃO

1992

RESUMO

Este trabalho propõe a implementação de um ambiente de auxílio ao desenvolvimento de especificações de sistema que utilizam LOTOS como linguagem. Tal ambiente é formado de um conjunto integrado de ferramentas composto de um editor de texto, um analisador sintático e semântico e um simulador para LOTOS. Diferente de outras implementações descritas na literatura, é proposta a implementação do simulador LOTOS em uma linguagem orientada para objetos utilizando um mapeamento da semântica dos operadores LOTOS para classes C++

ASSUNTO(S)

linguagem orientada a objetos linguagem de programação (computadores)

Documentos Relacionados

• E-dart : um ambiente de especificação e-lotos
• Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
• FIG : uma linguagem para especificação de figuras
• Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
• Uma linguagem de especificação de aspectos para o desenvolvimento orientado a serviços