PDL como uma linguagem de consulta para Constraint Automata

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorLopes, Bruno-
Autor(es): dc.contributorRosseti, Isabel-
Autor(es): dc.contributorSouza, Uéverton dos Santos-
Autor(es): dc.creatorCastro, Thiago Cordeiro de-
Data de aceite: dc.date.accessioned2024-07-11T17:25:34Z-
Data de disponibilização: dc.date.available2024-07-11T17:25:34Z-
Data de envio: dc.date.issued2022-07-26-
Data de envio: dc.date.issued2022-07-26-
Data de envio: dc.date.issued2018-
Fonte completa do material: dc.identifierhttp://app.uff.br/riuff/handle/1/25835-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/750026-
Descrição: dc.descriptionNeste trabalho iremos abordar um algoritmo para codificação de Constraint Automata para um modelo da lógica proposicional dinâmica (PDL). Constraint Automata é um formalismo criado para denotar uma semântica formal para Reo, uma linguagem gráfica baseada em coordenação para a modelagem de sistemas. Seu uso possibilita a formalização por meio da composição de unidades menores, de forma a prover o reuso de componentes. PDL é um sistema formal para o raciocínio sobre programas com um amplo ferramental teórico e de software. Com esta codificação podemos utilizar por exemplos model checkers para validar especificações do componente Reo original.-
Descrição: dc.description52 p.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsOpen Access-
Direitos: dc.rightsCC-BY-SA-
Palavras-chave: dc.subjectReo-
Palavras-chave: dc.subjectLógica modal-
Palavras-chave: dc.subjectPDL-
Palavras-chave: dc.subjectEngenharia de software-
Palavras-chave: dc.subjectLinguagem de programação (Computador)-
Palavras-chave: dc.subjectAutômatos finitos-
Título: dc.titlePDL como uma linguagem de consulta para Constraint Automata-
Tipo de arquivo: dc.typeTrabalho de conclusão de curso-
Aparece nas coleções:Repositório Institucional da Universidade Federal Fluminense - RiUFF

Não existem arquivos associados a este item.