Return to search

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

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.

Identiferoai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2658
Date00 December 1999
CreatorsNandamudi Lankalapalli Vijaykumar
ContributorsSolon Venâncio de Carvalho, Vakulathil Abdurahiman
PublisherInstituto Tecnológico de Aeronáutica
Source SetsIBICT Brazilian ETDs
LanguageEnglish
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.002 seconds