• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
10.11606/D.55.2018.tde-23112018-163434
Documento
Autor
Nome completo
Inês Aparecida Gasparotto Boaventura
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Carlos, 1992
Orientador
Banca examinadora
Masiero, Paulo Cesar (Presidente)
Magalhaes, Maurício Ferreira
Maldonado, José Carlos
Título em português
PROPRIEDADES DINÂMICAS DE STATECHARTS
Palavras-chave em português
Não disponível
Resumo em português
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.
Título em inglês
Not available
Palavras-chave em inglês
Not available
Resumo em inglês
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.
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2018-11-23
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2019. Todos os direitos reservados.