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 | Lopes, Bruno | - |
Autor(es): dc.contributor | Oliveira, Daniel Cardoso Moraes de | - |
Autor(es): dc.contributor | Santos, Jeferson de Barros | - |
Autor(es): dc.creator | Ferreira, Mariana de Freitas | - |
Data de aceite: dc.date.accessioned | 2024-07-11T17:28:14Z | - |
Data de disponibilização: dc.date.available | 2024-07-11T17:28:14Z | - |
Data de envio: dc.date.issued | 2022-07-26 | - |
Data de envio: dc.date.issued | 2022-07-26 | - |
Data de envio: dc.date.issued | 2021 | - |
Fonte completa do material: dc.identifier | http://app.uff.br/riuff/handle/1/25849 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/750947 | - |
Descrição: dc.description | Sistemas críticos estão presentes em diversas aplicações e exigem alta confiabilidade. No entanto, ainda existem desafios para a verificação e certificação desses sistemas. A linguagem gráfica Reo é baseada em coordenação e se propõe a modelar a comunicação de componentes de software. Um conjunto de ferramentas já existentes ofertam compiladores e raciocinadores baseados em assistentes de provas e verificadores de modelos para sistemas especificados em Reo. Este projeto propõe a integração desses compiladores por meio de uma interface que permite construir circuitos Reo, converter o modelo para a linguagem de entrada dos compiladores, simplificando o uso do ferramental lógico e permitindo a criação de novos conectores além dos canônicos. A teoria utilizada, as ferramentas integradas, as funcionalidades da interface e alguns exemplos de uso são apresentados neste trabalho. | - |
Descrição: dc.description | Critical systems are present in many applications and require high reliability. However, there are still challenges for the verification and certification of these systems. The graphical language Reo is based on coordination and proposes to model the communication of software components. A set of existing tools offers compilers and reasoners based on proof assistants and model checkers for Reo-specified systems. This project proposes the integration of these compilers through an interface that allows building Reo circuits, converting the model to the compilers’ input language, simplifying the use of logic tools and allowing the creation of new connectors in addition to the canonical ones. The theory used, the integrated tools, the features of the interface and some examples of use are presented in this work. | - |
Descrição: dc.description | 47 p. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Direitos: dc.rights | Open Access | - |
Direitos: dc.rights | CC-BY-SA | - |
Palavras-chave: dc.subject | Reo | - |
Palavras-chave: dc.subject | Assistentes de provas | - |
Palavras-chave: dc.subject | Verificação de modelos | - |
Palavras-chave: dc.subject | Linguagem de programação (Computador) | - |
Palavras-chave: dc.subject | Integração de sistemas | - |
Palavras-chave: dc.subject | Engenharia de software | - |
Título: dc.title | Integração de ferramentas para raciocínio sobre conectores Reo | - |
Tipo de arquivo: dc.type | Trabalho de conclusão de curso | - |
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: