Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
Ano de defesa: | 2000 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
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 |