UM EDITOR GRÁFICO PARA STATECHARTS

Detalhes bibliográficos
Autor(a) principal: João do Espírito Santo Batista Neto
Data de Publicação: 1991
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://doi.org/10.11606/D.55.2018.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 2721
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis UM EDITOR GRÁFICO PARA STATECHARTS A graphic Editor for Statecharts 1991-05-08Paulo Cesar MasieroMaurício Ferreira MagalhaesDaltro Jose NunesJoão do Espírito Santo Batista NetoUniversidade de São PauloCiências da Computação e Matemática ComputacionalUSPBR Não disponível Not available 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. 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. https://doi.org/10.11606/D.55.2018.tde-27112018-085808info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USP2023-12-21T20:18:58Zoai: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:27212023-12-22T13:24:58.348521Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.pt.fl_str_mv UM EDITOR GRÁFICO PARA STATECHARTS
dc.title.alternative.en.fl_str_mv A graphic Editor for Statecharts
title UM EDITOR GRÁFICO PARA STATECHARTS
spellingShingle UM EDITOR GRÁFICO PARA STATECHARTS
João do Espírito Santo Batista Neto
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 João do Espírito Santo Batista Neto
author_facet João do Espírito Santo Batista Neto
author_role author
dc.contributor.advisor1.fl_str_mv Paulo Cesar Masiero
dc.contributor.referee1.fl_str_mv Maurício Ferreira Magalhaes
dc.contributor.referee2.fl_str_mv Daltro Jose Nunes
dc.contributor.author.fl_str_mv João do Espírito Santo Batista Neto
contributor_str_mv Paulo Cesar Masiero
Maurício Ferreira Magalhaes
Daltro Jose Nunes
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.issued.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 https://doi.org/10.11606/D.55.2018.tde-27112018-085808
url https://doi.org/10.11606/D.55.2018.tde-27112018-085808
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.publisher.none.fl_str_mv Universidade de São Paulo
dc.publisher.program.fl_str_mv Ciências da Computação e Matemática Computacional
dc.publisher.initials.fl_str_mv USP
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade de São Paulo
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_ 1794503101613342720