Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Braga, Christiano de Oliveira | - |
Autor(es): dc.contributor | CPF:31080751222 | - |
Autor(es): dc.contributor | http://lattes.cnpq.br/0535266455387139 | - |
Autor(es): dc.contributor | Haeusler, Edward Hermann | - |
Autor(es): dc.contributor | CPF:31205398922 | - |
Autor(es): dc.contributor | http://lattes.cnpq.br/6075905438020841 | - |
Autor(es): dc.contributor | Mosses, Peter D. | - |
Autor(es): dc.contributor | CPF:31120909822 | - |
Autor(es): dc.creator | Rosário, Fabricio Chalub Barbosa do | - |
Data de aceite: dc.date.accessioned | 2024-07-11T18:29:28Z | - |
Data de disponibilização: dc.date.available | 2024-07-11T18:29:28Z | - |
Data de envio: dc.date.issued | 2021-03-10 | - |
Data de envio: dc.date.issued | 2008-03-26 | - |
Data de envio: dc.date.issued | 2021-03-10 | - |
Data de envio: dc.date.issued | 2005-05-27 | - |
Fonte completa do material: dc.identifier | https://app.uff.br/riuff/handle/1/17849 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/771602 | - |
Descrição: dc.description | 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. | - |
Descrição: dc.description | Conselho Nacional de Desenvolvimento Cientifico e Tecnológico | - |
Descrição: dc.description | Esta 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.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Programa de Pós-Graduação em Computação | - |
Publicador: dc.publisher | Computação | - |
Direitos: dc.rights | Acesso Aberto | - |
Direitos: dc.rights | CC-BY-SA | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Palavras-chave: dc.subject | Linguagem de programação | - |
Palavras-chave: dc.subject | Algoritmo distribuído | - |
Palavras-chave: dc.subject | Framework (Programa de computador) | - |
Palavras-chave: dc.subject | Processamento distribuído | - |
Palavras-chave: dc.subject | Lógica de reescrita | - |
Palavras-chave: dc.subject | Semântica modular de reescrita (mrs) | - |
Palavras-chave: dc.subject | Semântica operacional estrutural modular | - |
Palavras-chave: dc.subject | Semântica de linguagens de programação | - |
Palavras-chave: dc.subject | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO | - |
Título: dc.title | Uma implementação de semântica operacional estrutural modular em Maude | - |
Tipo de arquivo: dc.type | Dissertação | - |
Aparece nas coleções: | Repositório Institucional da Universidade Federal Fluminense - RiUFF |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: