UM EDITOR GRÁFICO PARA STATECHARTS

Detalhes bibliográficos
Ano de defesa: 1991
Autor(a) principal: Batista Neto, João do Espírito Santo
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: 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