PROPRIEDADES DINÂMICAS DE STATECHARTS

Detalhes bibliográficos
Ano de defesa: 1992
Autor(a) principal: Boaventura, Inês Aparecida Gasparotto
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-23112018-163434/
Resumo: Os diagramas de estado, denom.in ados Statecharts (ou estadogramas; em Português) \'surgiram recentemente e se constrturrram rapidamente em uma alternativa valiosa para a especificação do aspecto comportamental de sistemas reativos. Outra alternativa, as Redes de Petri, existem há mais de vinte anos e têm incorporadas a si um conjunto volumoso de teoria, propriedades e ferramentas, desenvolvidos ao longo desses anos. Inspirado em resultados teóricos e algoritmos existentes para Redes de Petri, este trabalho define uma árvore de alcançabilidade para Statecharts e com base nela foram desenvolvidos algoritmos para verificação das seguintes propriedades dinâmicas dos Statecharts: vivacidade, sequência de eventos, alcançabilidade, reiniciabilidade e uso de transições. Diversos exemplos são apresentados e é discutida a implementação desses algoritmos dentro de um ambiente onde já existiam um editor gráfico e um simulador de Statecharts.
id USP_878943c6bd87678aaff0fa32cdc4642c
oai_identifier_str oai:teses.usp.br:tde-23112018-163434
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling PROPRIEDADES DINÂMICAS DE STATECHARTSNot availableNão disponívelNot availableOs diagramas de estado, denom.in ados Statecharts (ou estadogramas; em Português) \'surgiram recentemente e se constrturrram rapidamente em uma alternativa valiosa para a especificação do aspecto comportamental de sistemas reativos. Outra alternativa, as Redes de Petri, existem há mais de vinte anos e têm incorporadas a si um conjunto volumoso de teoria, propriedades e ferramentas, desenvolvidos ao longo desses anos. Inspirado em resultados teóricos e algoritmos existentes para Redes de Petri, este trabalho define uma árvore de alcançabilidade para Statecharts e com base nela foram desenvolvidos algoritmos para verificação das seguintes propriedades dinâmicas dos Statecharts: vivacidade, sequência de eventos, alcançabilidade, reiniciabilidade e uso de transições. Diversos exemplos são apresentados e é discutida a implementação desses algoritmos dentro de um ambiente onde já existiam um editor gráfico e um simulador de Statecharts.A new type of state diagrams, called Statecharts, were proposed recently and became an important alternative for specifying the behaviour of reactive systems. Another alternative, the Petri Nets, were proposed more than twenty years ago and a great body of theories, properties and tools associated is available to deal with dynamic properties. Inspired on the theorectical results and algorithms existing for Petri Nets, this dissertation defines a reachability tree for Statecharts. Based on it, algorithms were deveIoped for verification of the following dynamic properties: liveness, event sequence, reachability, reversibifity and transition usage. Several examples are presented and the implementation of these algoritms is discussed in an environment which already consisted of a graphical editor and a simulator for statecharts.Biblioteca Digitais de Teses e Dissertações da USPMasiero, Paulo CesarBoaventura, Inês Aparecida Gasparotto1992-04-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-23112018-163434/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-23112018-163434Biblioteca 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 PROPRIEDADES DINÂMICAS DE STATECHARTS
Not available
title PROPRIEDADES DINÂMICAS DE STATECHARTS
spellingShingle PROPRIEDADES DINÂMICAS DE STATECHARTS
Boaventura, Inês Aparecida Gasparotto
Não disponível
Not available
title_short PROPRIEDADES DINÂMICAS DE STATECHARTS
title_full PROPRIEDADES DINÂMICAS DE STATECHARTS
title_fullStr PROPRIEDADES DINÂMICAS DE STATECHARTS
title_full_unstemmed PROPRIEDADES DINÂMICAS DE STATECHARTS
title_sort PROPRIEDADES DINÂMICAS DE STATECHARTS
author Boaventura, Inês Aparecida Gasparotto
author_facet Boaventura, Inês Aparecida Gasparotto
author_role author
dc.contributor.none.fl_str_mv Masiero, Paulo Cesar
dc.contributor.author.fl_str_mv Boaventura, Inês Aparecida Gasparotto
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description Os diagramas de estado, denom.in ados Statecharts (ou estadogramas; em Português) \'surgiram recentemente e se constrturrram rapidamente em uma alternativa valiosa para a especificação do aspecto comportamental de sistemas reativos. Outra alternativa, as Redes de Petri, existem há mais de vinte anos e têm incorporadas a si um conjunto volumoso de teoria, propriedades e ferramentas, desenvolvidos ao longo desses anos. Inspirado em resultados teóricos e algoritmos existentes para Redes de Petri, este trabalho define uma árvore de alcançabilidade para Statecharts e com base nela foram desenvolvidos algoritmos para verificação das seguintes propriedades dinâmicas dos Statecharts: vivacidade, sequência de eventos, alcançabilidade, reiniciabilidade e uso de transições. Diversos exemplos são apresentados e é discutida a implementação desses algoritmos dentro de um ambiente onde já existiam um editor gráfico e um simulador de Statecharts.
publishDate 1992
dc.date.none.fl_str_mv 1992-04-06
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-23112018-163434/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23112018-163434/
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_ 1815258481660264448