Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Musicante, Martin Alejandro | - |
Autor(es): dc.contributor | Guedes, Andre Luiz Pires, 1966- | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Maidl, André Murbach | - |
Data de aceite: dc.date.accessioned | 2025-09-01T13:11:21Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T13:11:21Z | - |
Data de envio: dc.date.issued | 2024-10-16 | - |
Data de envio: dc.date.issued | 2024-10-16 | - |
Data de envio: dc.date.issued | 2007 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/12005 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/12005 | - |
Descrição: dc.description | Orientador: Martin A. Musicante | - |
Descrição: dc.description | Coorientador: Andre Luiz Pires Guedes | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2007 | - |
Descrição: dc.description | Inclui bibliografia | - |
Descrição: dc.description | Resumo: Nesta dissertação apresentamos Maude Object-Oriented Action Tool, um ambiente executável para a Semântica de Ações Orientada a Objetos, escrito como uma extensão conservativa de Full Maude e Maude MSOS Tool. A Notação de Ações foi implementada usando as transições MSOS disponibilizadas por Maude MSOS Tool, enquanto a Notação de Classes foi implementada usando Full Maude. A sintaxe criada pela ferramenta é bastante similar a do formalismo. Além da ferramenta, também apresentamos a Language Features Library versão 2, uma nova versão da biblioteca de classes para a Semântica de Ações Orientada a Objetos. Esta nova versão resolve alguns dos problemas encontrados na versão anterior, basicamente pelo uso de abstrações de ações em vez de passagem de parâmetros entre classes. Além disso, mostramos a Semântica de Ações Orientada a Objetos Construtiva, uma combinação entre a Semântica de Ações Orientada a Objetos e a Semântica de Ações Construtiva. Esta é a primeira implementação da Semântica de Ações Orientada a Objetos, a qual usamos para testar e comparar o uso da biblioteca e da abordagem construtiva no formalismo orientado a objetos. | - |
Descrição: dc.description | Abstract: In this dissertation we present Maude Object-Oriented Action Tool, an executable environment for Object-Oriented Action Semantics implemented as a conservative extension of Full Maude and Maude MSOS Tool. The Modular SOS of Action Notation has been implemented using MSOS transitions provided by Maude MSOS Tool and Full Maude has been used to implement the Classes Notation. The syntax created by the tool is fairly similar to the formalism one. Furthermore, we also present Language Features Library version 2, a new version for the Object-Oriented Action Semantics library of classes. The new library solves some problems found on the previous one, basically by using abstraction of actions instead of passing parameters among classes. Moreover, we show how Constructive Object-Oriented Action Semantics might be achieved as a combination between Object-Oriented Action Semantics and Constructive Action Semantics. This is the first implementation of Object-Oriented Action Semantics, which has been used to test and compare the use of the library and the constructive approach in the object-oriented formalism. | - |
Formato: dc.format | 177 f. : il. ; 30 cm. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Informática | - |
Palavras-chave: dc.subject | Linguagem orientada a objetos (Computação) | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Título: dc.title | Uma implementação da semântica de ações orientada a objetos em maude | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
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: