Uma implementação de semântica operacional estrutural modular em Maude

• Ano de defesa: 2005
• Autor(a) principal: Rosário, Fabricio Chalub Barbosa do
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Programa de Pós-Graduação em Computação; Computação
• Palavras-chave em Português: Ciência da computação; Linguagem de programação; Algoritmo distribuído; Framework (Programa de computador); Processamento distribuído; Lógica de reescrita; Semântica modular de reescrita (mrs); Semântica operacional estrutural modular; Semântica de linguagens de programação; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO
• Link de acesso: https://app.uff.br/riuff/handle/1/17849

This dissertation presents a formal tool for Modular Structural Operational Semantics (MSOS), based on the conversion from MSOS to Rewriting Logic recently developed by Braga and Meseguer. The implementation, named Maude MSOS Tool (MMT), was written in Maude, a high-performance implementation of Rewriting Logic. The development of MMT attempts not only to provide an MSOS interpreter that uses a specification language that is closer to the domain of MSOS specifications than to Maude specifications, but also to demonstrate what can be accomplished when one develops a formal tool in the Maude environment, since it allows the use of other formal tools already available with MSDF specifications. We have demonstrated this by simulating and model checking concurrent programs and distributed algorithms. Another aim is to provide an example of a non-trivial extension of Full Maude and to create a tool that is itself extensible.