Statecharts: their use in specifying and dealing with performance models.

Detalhes bibliográficos
Ano de defesa: 1999
Autor(a) principal: Nandamudi Lankalapalli Vijaykumar
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Instituto Tecnológico de Aeronáutica
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.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2658
Resumo: O objetivo do trabalho é mostrar que a ferramenta de especificação Statecharts, criada para representar o comportamento de sistemas complexos que reagem a eventos, pode também ser utilizada para representar o comportamento dos modelos de desempenho. Um sistema complexo dado será modelado usando as características de Statecharts e através de uma reação a eventos estimulados todas as possíveis configurações do sistema serão geradas. Com este conjunto de todas as possíveis configurações do sistema complexo uma matriz de transições é criada. Esta matriz é a base para calcular probabilidades limite a partir das quais é possível determinar medidas de performance.