Este trabalho apresenta unia nova abordagem para a avaliação de desempenho, inserindo-se nesse contexto a especificação Statecharts. Essa inserção está devidamente associada a uma solução viável para o modelo. São formalizadas duas extensões aos Statecharts: (1) os Statecharts Estocásticos, os quais utilizam a notação original dos Statecharts, modificando-se somente a semântica formal, e (2) os Queuing Statecharts, que não possuem a notação Statecharts pura, mas sim uma aglutinação entre a representação Statecharts e a de redes de filas. Na formalização proposta, são redefinidos alguns ,elementos básicos dos Statecharts, tais como eventos e condições, além de alguns conceitos da dinâmica do sistema, por exemplo, passos e configurações. As especificações propostas descrevem o funcionamento básico de um sistema de filas genérico, através de tempiates e eventos-padrão. A esses eventos estão associadas tanto uma solução analítica quanto uma solução por simulação sm p1 (iMulation Erogramming Language). Com o intuito de demonstrar a aplicabilidade das especificações propostas, é desenvolvido um estudo de caso referente à programação distribuída baseada em PVM (Para/lei Virtual Machire). Com os parâmetros obtidos empiricamente, os modelos em Statecharts Estocásticos, Queuing Statecharts e redes de Petri estocásticas generalizadas (GSPN) são alimentados e resolvidos tanto através da solução da análise do valor médio (AVM) quanto por simulação smpl. Inicialmente, a análise é feita conforme o esquema realizado pelo PVM e, posteriormente, é .acrescentado um mecanismo de escalonamento que leva em consideração o tempo médio de serviço das máquinas. Há uma discussão sobre os resultados obtidos a partir dos mecanismos adotados para realizar o escalonamento. Por fim, são expostas algumas ponderações sobre as idéias apresentadas nos capítulos componentes desta tese, além de serem apresentadas as contribuições provenientes desta pesquisa e alguns trabalhos futuros propostos a partir desta tese.

This work presents a new approach to performance evaluation, introducing Statecharts in this context. That addition is associated with a viable solution for the model. Two extensions for Statecharts have been forma Iized: (1) Stochastic Statecharts, which use the original notation, with a simple modification in the formal semantics, and (2) Queuing Statecharts, which do not have the pure Statecharts notation, but a join between Statecharts and queuing network representations. In the proposed formalization, some basic elements of Statecharts are redefined, such as events and conditions, besides some concepts referring to the dynamic system behavior, e.g. steps and configurations. The proposed specifications show the basic behavior of a generic queuing isystem, by means of templates and standard events. There are solutions, both analytical methods and a smpl1 simulation, associated with each standard event. Aiming at demonstrating the applicability of the specifications proposed, a case study referring to distributed programming (based on PVM - ParalIel Virtual Machine) has been developed. Using the parameters empirically obtained, the models specified in Stochastic Statecharts, Queuing Statecharts and generalized stochastic Petri nets (GSPN) have been solved both by the Mean Value Analysis (MVA) and a smpl simulation. At the beginning, the mechanism of PVM for process scheduling is used. Afterwards, a scheduling scheme that considers the mean service time of each machine is added. A discussion about the results is carried out and some conclusions are presented. At the end, some questions about the ideas presented are exposed, along with some contributions from this thesis and some proposed future lines of research.