Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z

Detalhes bibliográficos
Ano de defesa: 2015
Autor(a) principal: Klein, Mauri José
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Modelagem Matemática
Guaraná DSL
Notação Z
Tecnologia da informação
Link de acesso: https://bibliodigital.unijui.edu.br/items/2e14afe9-50aa-4290-adc0-003a27d28f58
Resumo: 157 f.
id UNIJ_8d7dc909f15c3c518efdba3954628152
oai_identifier_str oai:bibliodigital.unijui.edu.br:123456789/3071
network_acronym_str UNIJ
network_name_str Repositório Institucional da UNIJUI
repository_id_str
spelling Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação ZModelagem MatemáticaGuaraná DSLNotação ZTecnologia da informação157 f.A Tecnologia da Informação (TI) fornece suporte às organizações empresariais, proporcionando agilidade e qualidade aos seus processos de negócio. Este suporte é fornecido por aplicações que compõe o ecossistema de software que, de uma maneira geral, não apresenta as características necessárias à integração, dificultando a reutilização. Neste sentido, a Integração de Aplicações Empresariais (EAI) concentra-se na concepção e implementação de soluções de integração. A tecnologia Guaraná DSL é uma das ferramentas que fornecem este suporte, porém, ela difere das outras propostas por incluir um sistema de monitoramento que pode ser configurado usando uma linguagem baseada em regras para gerar soluções com tolerância a falhas. No entanto, Guaraná DSL ainda não está formalizado, e por esta razão, não é possível validar as regras escritas por engenheiros de software utilizando a linguagem baseada em regras. Além disso, não é possível gerar automaticamente as regras com base na semântica de uma solução de integração. Esta pesquisa propõe um estudo detalhado da tecnologia Guaraná DSL com enfase no mecanismo de tolerância a falhas, além do estudo e comparação dos métodos formais: Notação Z, B, Alloy, RSL, Redes de Petri, levando em consideração as características do Guaraná. Utilizando os metamodelos UML com restrições escritas em OCL da linguagem de domínio específico da tecnologia Guaraná encontrados na literatura, foi proposto um modelo matemático com a especificação formal da sintaxe abstrata e posterior validação. Para a especificação formal e validação utilizou-se a Notação Z por meio da ferramenta Z-EVES.2015-11-18T11:14:36Z20152015-11-18T11:14:36Z2015-11-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://bibliodigital.unijui.edu.br/items/2e14afe9-50aa-4290-adc0-003a27d28f58Klein, Mauri Joséporreponame:Repositório Institucional da UNIJUIinstname:Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI)instacron:UNIJUIinfo:eu-repo/semantics/openAccess2025-04-30T18:26:52Zoai:bibliodigital.unijui.edu.br:123456789/3071Repositório InstitucionalPUBhttps://bibliodigital.unijui.edu.br:8443/oai/requestbiblio@unijui.edu.bropendoar:2025-04-30T18:26:52Repositório Institucional da UNIJUI - Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI)false
dc.title.none.fl_str_mv Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
title Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
spellingShingle Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
Klein, Mauri José
Modelagem Matemática
Guaraná DSL
Notação Z
Tecnologia da informação
title_short Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
title_full Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
title_fullStr Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
title_full_unstemmed Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
title_sort Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
author Klein, Mauri José
author_facet Klein, Mauri José
author_role author
dc.contributor.author.fl_str_mv Klein, Mauri José
dc.subject.por.fl_str_mv Modelagem Matemática
Guaraná DSL
Notação Z
Tecnologia da informação
topic Modelagem Matemática
Guaraná DSL
Notação Z
Tecnologia da informação
description 157 f.
publishDate 2015
dc.date.none.fl_str_mv 2015-11-18T11:14:36Z
2015
2015-11-18T11:14:36Z
2015-11-18
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://bibliodigital.unijui.edu.br/items/2e14afe9-50aa-4290-adc0-003a27d28f58
url https://bibliodigital.unijui.edu.br/items/2e14afe9-50aa-4290-adc0-003a27d28f58
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UNIJUI
instname:Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI)
instacron:UNIJUI
instname_str Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI)
instacron_str UNIJUI
institution UNIJUI
reponame_str Repositório Institucional da UNIJUI
collection Repositório Institucional da UNIJUI
repository.name.fl_str_mv Repositório Institucional da UNIJUI - Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI)
repository.mail.fl_str_mv biblio@unijui.edu.br
_version_ 1841451839646597120

Registros relacionados