Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos

Detalhes bibliográficos
Ano de defesa: 2000
Autor(a) principal: Pretz, Eduardo
Orientador(a): Ribeiro, Leila
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:
Palavras-chave em Inglês:
Link de acesso: http://hdl.handle.net/10183/70704
Resumo: Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado.
id URGS_4db2658c090f80403672e4ad94c96645
oai_identifier_str oai:www.lume.ufrgs.br:10183/70704
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Pretz, EduardoRibeiro, Leila2013-04-27T01:48:25Z2000http://hdl.handle.net/10183/70704000876975Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado.Several specification methods try to realize system modeling following three visions: the functional vision, which is based on representing the information exchange among the several components of the system; the data vision, which represents the relations among the static data structures of the system; and the dynamic vision, which presents the transformations the system may endure over the time. Some models exist that try to integrate more than one of these visions, but, in general, they suffer from deficiencies when trying to represent more than one aspect of the system at the same time, in which case the use of other methods is necessary. This work presents a novel method of systems specification that attempts to integrate data modeling with functional and dynamic modelings using, for this, Graph Grammars as its formal specification method. A graph, being made of nodes, edges and labels, is appropriate for creating, easily, an abstraction layer in which the user (usually responsible for the system analysis) manipulates a specification method which is known to him, but now with a well defined formal semantics. We hope, by applying this method, to generate provable, unambiguous models which promote an increase in the quality of the generated system.application/pdfporMetodos formaisEspecificacao : SoftwareGrafosGramatica : GrafosEngenharia de softwareGraph grammarsGraph transformation systemsFormal methodsFormal specificationUma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2000mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000876975.pdf000876975.pdfTexto completoapplication/pdf389745http://www.lume.ufrgs.br/bitstream/10183/70704/1/000876975.pdff9173ff38a2fe4c57ca89d86d6523de6MD51TEXT000876975.pdf.txt000876975.pdf.txtExtracted Texttext/plain113674http://www.lume.ufrgs.br/bitstream/10183/70704/2/000876975.pdf.txtf032a66357b2276db3e77aed2e179316MD52THUMBNAIL000876975.pdf.jpg000876975.pdf.jpgGenerated Thumbnailimage/jpeg1192http://www.lume.ufrgs.br/bitstream/10183/70704/3/000876975.pdf.jpg24a142861423fc2e12c6804958937235MD5310183/707042018-10-16 08:53:33.042oai:www.lume.ufrgs.br:10183/70704Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-16T11:53:33Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
title Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
spellingShingle Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
Pretz, Eduardo
Metodos formais
Especificacao : Software
Grafos
Gramatica : Grafos
Engenharia de software
Graph grammars
Graph transformation systems
Formal methods
Formal specification
title_short Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
title_full Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
title_fullStr Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
title_full_unstemmed Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
title_sort Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
author Pretz, Eduardo
author_facet Pretz, Eduardo
author_role author
dc.contributor.author.fl_str_mv Pretz, Eduardo
dc.contributor.advisor1.fl_str_mv Ribeiro, Leila
contributor_str_mv Ribeiro, Leila
dc.subject.por.fl_str_mv Metodos formais
Especificacao : Software
Grafos
Gramatica : Grafos
Engenharia de software
topic Metodos formais
Especificacao : Software
Grafos
Gramatica : Grafos
Engenharia de software
Graph grammars
Graph transformation systems
Formal methods
Formal specification
dc.subject.eng.fl_str_mv Graph grammars
Graph transformation systems
Formal methods
Formal specification
description Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado.
publishDate 2000
dc.date.issued.fl_str_mv 2000
dc.date.accessioned.fl_str_mv 2013-04-27T01:48:25Z
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 http://hdl.handle.net/10183/70704
dc.identifier.nrb.pt_BR.fl_str_mv 000876975
url http://hdl.handle.net/10183/70704
identifier_str_mv 000876975
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:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/70704/1/000876975.pdf
http://www.lume.ufrgs.br/bitstream/10183/70704/2/000876975.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/70704/3/000876975.pdf.jpg
bitstream.checksum.fl_str_mv f9173ff38a2fe4c57ca89d86d6523de6
f032a66357b2276db3e77aed2e179316
24a142861423fc2e12c6804958937235
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810088820241072128