Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: Francês, Carlos Renato Lisboa
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: 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-24022016-110528/
Resumo: 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.
id USP_e8b7d0d9daffd53d9e74b601b976118e
oai_identifier_str oai:teses.usp.br:tde-24022016-110528
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statechartsStocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specificationNão disponívelNot availableEste 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.Biblioteca Digitais de Teses e Dissertações da USPSantana, Marcos JoséFrancês, Carlos Renato Lisboa2001-10-15info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-24022016-110528/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/openAccesspor2017-09-04T21:06:18Zoai:teses.usp.br:tde-24022016-110528Biblioteca 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:27212017-09-04T21:06:18Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
Stocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specification
title Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
spellingShingle Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
Francês, Carlos Renato Lisboa
Não disponível
Not available
title_short Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
title_full Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
title_fullStr Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
title_full_unstemmed Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
title_sort Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts
author Francês, Carlos Renato Lisboa
author_facet Francês, Carlos Renato Lisboa
author_role author
dc.contributor.none.fl_str_mv Santana, Marcos José
dc.contributor.author.fl_str_mv Francês, Carlos Renato Lisboa
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description 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.
publishDate 2001
dc.date.none.fl_str_mv 2001-10-15
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24022016-110528/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24022016-110528/
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_ 1815258485557821440