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

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorBraga, Christiano de Oliveira-
Autor(es): dc.contributorCPF:31080751222-
Autor(es): dc.contributorhttp://lattes.cnpq.br/0535266455387139-
Autor(es): dc.contributorHaeusler, Edward Hermann-
Autor(es): dc.contributorCPF:31205398922-
Autor(es): dc.contributorhttp://lattes.cnpq.br/6075905438020841-
Autor(es): dc.contributorMosses, Peter D.-
Autor(es): dc.contributorCPF:31120909822-
Autor(es): dc.creatorRosário, Fabricio Chalub Barbosa do-
Data de aceite: dc.date.accessioned2024-07-11T18:29:28Z-
Data de disponibilização: dc.date.available2024-07-11T18:29:28Z-
Data de envio: dc.date.issued2021-03-10-
Data de envio: dc.date.issued2008-03-26-
Data de envio: dc.date.issued2021-03-10-
Data de envio: dc.date.issued2005-05-27-
Fonte completa do material: dc.identifierhttps://app.uff.br/riuff/handle/1/17849-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/771602-
Descrição: dc.descriptionThis 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.-
Descrição: dc.descriptionConselho Nacional de Desenvolvimento Cientifico e Tecnológico-
Descrição: dc.descriptionEsta dissertação apresenta uma ferramenta formal para Semântica Estrutural Operacional Modular (MSOS, na sigla em inglês), utilizando-se da conversão de MSOS para Lógica de Reescrita recentemente desenvolvida por Braga e Meseguer. A implementação, denominada Maude MSOS Tool (MMT), foi desenvolvida em Maude, uma implementação de Lógica de Reescrita de alta performance. O desenvolvimento de MMT objetiva não somente desenvolver uma ferramenta que utiliza uma linguagem de especificação que está mais próxima do domínio MSOS do que da Lógica de Reescrita, como também demonstrar o que ganhamos ao desenvolver um ambiente completamente formal em Maude, uma vez que isto possibilita o uso de outras ferramentas formais disponíveis para especificações MSDF. Demonstramos isto através de simulação e verificaçãoo de algoritmos distribuídos e programas concorrentes. Outro objetivo é exemplificar uma extensão não-trivial de Full Maude.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherPrograma de Pós-Graduação em Computação-
Publicador: dc.publisherComputação-
Direitos: dc.rightsAcesso Aberto-
Direitos: dc.rightsCC-BY-SA-
Palavras-chave: dc.subjectCiência da computação-
Palavras-chave: dc.subjectLinguagem de programação-
Palavras-chave: dc.subjectAlgoritmo distribuído-
Palavras-chave: dc.subjectFramework (Programa de computador)-
Palavras-chave: dc.subjectProcessamento distribuído-
Palavras-chave: dc.subjectLógica de reescrita-
Palavras-chave: dc.subjectSemântica modular de reescrita (mrs)-
Palavras-chave: dc.subjectSemântica operacional estrutural modular-
Palavras-chave: dc.subjectSemântica de linguagens de programação-
Palavras-chave: dc.subjectCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO-
Título: dc.titleUma implementação de semântica operacional estrutural modular em Maude-
Tipo de arquivo: dc.typeDissertação-
Aparece nas coleções:Repositório Institucional da Universidade Federal Fluminense - RiUFF

Não existem arquivos associados a este item.