UM EDITOR GRÁFICO PARA STATECHARTS
Ano de defesa: | 1991 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | por |
Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
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: | |
Link de acesso: | http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-085808/ |
Resumo: | Uma técnica para especificação de Sistemas Reativos são os Statecharts, que são uma extensão dos Diagramas de Transição de Estados (DTEs), incorporando aspectos de hierarquia, paralelismo e comunicação entre processos. O aspecto visual da técnica baseia-se no conceito de Higraphs. Nesta dissertação apresenta-se um tutorial da técnica Statechart, mostrando-se com detalhes as suas principais características visuais, bem como o seu aspecto semântico. Apresenta-se, também, uma revisão bibliográfica\'de várias técnicas desenvolvidas com a mesma finalidade dos statecharts, isto é, representar o aspecto comportamental de Sistemas Reativos. Complementa-se a revisão bibliográfica com uma avaliação de algumas ferramentas de apoio ao uso dessas técnicas, com ênfase no aspecto gráfico e formal. Apresentam-se os requisitos para um Editor Gráfico de Statecharts (EGS) e discutem-se aspectos da implementação realizada. Ilustra-se o uso da ferramenta, destacando-se a sua interface gráfica com manipulação direta de objetos na tela, através de um exemplo abrangente. Discute-se, também, o que deveria ser feito para generalizar esse editor, tornando-o um editor de Higraphs, permitindo o apoio à edição de outros tipos de diagramas. |
id |
USP_9e16f8ecd771d2b25e313d4272638a85 |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-27112018-085808 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
|
spelling |
UM EDITOR GRÁFICO PARA STATECHARTSA graphic Editor for StatechartsNão disponívelNot availableUma técnica para especificação de Sistemas Reativos são os Statecharts, que são uma extensão dos Diagramas de Transição de Estados (DTEs), incorporando aspectos de hierarquia, paralelismo e comunicação entre processos. O aspecto visual da técnica baseia-se no conceito de Higraphs. Nesta dissertação apresenta-se um tutorial da técnica Statechart, mostrando-se com detalhes as suas principais características visuais, bem como o seu aspecto semântico. Apresenta-se, também, uma revisão bibliográfica\'de várias técnicas desenvolvidas com a mesma finalidade dos statecharts, isto é, representar o aspecto comportamental de Sistemas Reativos. Complementa-se a revisão bibliográfica com uma avaliação de algumas ferramentas de apoio ao uso dessas técnicas, com ênfase no aspecto gráfico e formal. Apresentam-se os requisitos para um Editor Gráfico de Statecharts (EGS) e discutem-se aspectos da implementação realizada. Ilustra-se o uso da ferramenta, destacando-se a sua interface gráfica com manipulação direta de objetos na tela, através de um exemplo abrangente. Discute-se, também, o que deveria ser feito para generalizar esse editor, tornando-o um editor de Higraphs, permitindo o apoio à edição de outros tipos de diagramas.The Statechart are a technique for specifying Reactive Systems. They are an extension of the State Transition Diagrams and embody the concepts of hierarchy, parâelism and process communication. The visual aspects of this technique is based on the Higraphs. In this dissertation a Statechart tutorial is shown, focusing in its main visual caracteristics. It is also shown a bibliographic revision of several techniques developed for reactive systems specification. This revision is completed with an evaluation of some tools available to support these techniqués. The graphical and formal aspects are emphasized. The requirements for a Statechart Graphical Editor are\' presented and the implementation done is discussed. The tool\'s use is demonstrated through an example, emphasizing the graphical interface with direct object manipulation. The necessary steps to generalize the editor is also discussed. This would allow the editor to support the creation of other diagrams.Biblioteca Digitais de Teses e Dissertações da USPMasiero, Paulo CesarBatista Neto, João do Espírito Santo1991-05-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-085808/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2019-04-10T00:06:19Zoai:teses.usp.br:tde-27112018-085808Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212019-04-10T00:06:19Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
UM EDITOR GRÁFICO PARA STATECHARTS A graphic Editor for Statecharts |
title |
UM EDITOR GRÁFICO PARA STATECHARTS |
spellingShingle |
UM EDITOR GRÁFICO PARA STATECHARTS Batista Neto, João do Espírito Santo Não disponível Not available |
title_short |
UM EDITOR GRÁFICO PARA STATECHARTS |
title_full |
UM EDITOR GRÁFICO PARA STATECHARTS |
title_fullStr |
UM EDITOR GRÁFICO PARA STATECHARTS |
title_full_unstemmed |
UM EDITOR GRÁFICO PARA STATECHARTS |
title_sort |
UM EDITOR GRÁFICO PARA STATECHARTS |
author |
Batista Neto, João do Espírito Santo |
author_facet |
Batista Neto, João do Espírito Santo |
author_role |
author |
dc.contributor.none.fl_str_mv |
Masiero, Paulo Cesar |
dc.contributor.author.fl_str_mv |
Batista Neto, João do Espírito Santo |
dc.subject.por.fl_str_mv |
Não disponível Not available |
topic |
Não disponível Not available |
description |
Uma técnica para especificação de Sistemas Reativos são os Statecharts, que são uma extensão dos Diagramas de Transição de Estados (DTEs), incorporando aspectos de hierarquia, paralelismo e comunicação entre processos. O aspecto visual da técnica baseia-se no conceito de Higraphs. Nesta dissertação apresenta-se um tutorial da técnica Statechart, mostrando-se com detalhes as suas principais características visuais, bem como o seu aspecto semântico. Apresenta-se, também, uma revisão bibliográfica\'de várias técnicas desenvolvidas com a mesma finalidade dos statecharts, isto é, representar o aspecto comportamental de Sistemas Reativos. Complementa-se a revisão bibliográfica com uma avaliação de algumas ferramentas de apoio ao uso dessas técnicas, com ênfase no aspecto gráfico e formal. Apresentam-se os requisitos para um Editor Gráfico de Statecharts (EGS) e discutem-se aspectos da implementação realizada. Ilustra-se o uso da ferramenta, destacando-se a sua interface gráfica com manipulação direta de objetos na tela, através de um exemplo abrangente. Discute-se, também, o que deveria ser feito para generalizar esse editor, tornando-o um editor de Higraphs, permitindo o apoio à edição de outros tipos de diagramas. |
publishDate |
1991 |
dc.date.none.fl_str_mv |
1991-05-08 |
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://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-085808/ |
url |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-085808/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1815258519062970368 |