Utilização de queuing statecharts em um ambiente de simulação automático

Detalhes bibliográficos
Ano de defesa: 2005
Autor(a) principal: Aiza, Thais Souza
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
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-14122017-102421/
Resumo: Esta trabalho apresenta a utilização de Queuing SLatecharts para a especificação de modelos de sistemas computacionais em um sistema de simulação automático. Durante o trabalho de mestrado, foi implementado o Módulo de Interface Gráfica com o Usuário e o Módulo Avaliador Nívl 1 do ASDA (Ambiente de Simulação Automática Distribuída), e o desenvolvido urri gerador de programas de simulação para a extensão funcional SMPL (Simulation Prograrnming Language). Forma definidas as estruturas de dados que permitem o armazenamento, a alteração e recuperação do modelo. O módulo de Interface com o Usuário implementado permite que o usuário defina o modelo, a parametrização e o gerenciamento das informações dos usuários do ambiente que atua cm conjunto com o Módulo Avaliador Nível I consiste na definição das regras para a verificação da consistência do modelo e a validação dos parâmetros. O gerador de programas de simulação desenvolvido possibilita que o usuário gere automaticamente seus programas de simulação a partir da especificação gráfica e dos parâmetros do modelo definidos pelo usuário de simulação. As regras para a verificação da consistência do modelo e da validação dos parâmetros foram definidas durante o desenvolvimento do Módulo Avaliador Nível 1. O gerador para programas de simulação desenvolvido neste trabalho permite ao usuário utilizar o modelo armazenado na estrutura de dados e gerar automaticamente o seu programa de simulação. São apresentados exemplos e resultados de programas de simulação gerador.
id USP_8cb4c3b3f73437bed72683e41e3deac1
oai_identifier_str oai:teses.usp.br:tde-14122017-102421
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Utilização de queuing statecharts em um ambiente de simulação automáticoNot AvailableNão disponívelNot availableEsta trabalho apresenta a utilização de Queuing SLatecharts para a especificação de modelos de sistemas computacionais em um sistema de simulação automático. Durante o trabalho de mestrado, foi implementado o Módulo de Interface Gráfica com o Usuário e o Módulo Avaliador Nívl 1 do ASDA (Ambiente de Simulação Automática Distribuída), e o desenvolvido urri gerador de programas de simulação para a extensão funcional SMPL (Simulation Prograrnming Language). Forma definidas as estruturas de dados que permitem o armazenamento, a alteração e recuperação do modelo. O módulo de Interface com o Usuário implementado permite que o usuário defina o modelo, a parametrização e o gerenciamento das informações dos usuários do ambiente que atua cm conjunto com o Módulo Avaliador Nível I consiste na definição das regras para a verificação da consistência do modelo e a validação dos parâmetros. O gerador de programas de simulação desenvolvido possibilita que o usuário gere automaticamente seus programas de simulação a partir da especificação gráfica e dos parâmetros do modelo definidos pelo usuário de simulação. As regras para a verificação da consistência do modelo e da validação dos parâmetros foram definidas durante o desenvolvimento do Módulo Avaliador Nível 1. O gerador para programas de simulação desenvolvido neste trabalho permite ao usuário utilizar o modelo armazenado na estrutura de dados e gerar automaticamente o seu programa de simulação. São apresentados exemplos e resultados de programas de simulação gerador.This inaster thesis presents a work consisting in including the Queuing Statecharts approach for specifying computational system models for performance evaluation. During this work, the User Graphic Interface Module and the Evaluation Levei 1 Module for ASDA (Automatic Distributed Simulation Environment) were impleniented and a generator of simulation programs for the functiorral extension SMPL (Simulation Programming Language) was developed. The data structure which handles the rrrodel storage, modification and recovering was also defined. The User Graphic Interface Module allows the user to define the model and parameters and to manage the information about the users in the environment, acting togethcr the Evaluation Levei 1 Module for make it possible to user to define the model and parameters without inconsistences. The development and implementation of Evaluation Levei 1 Module consisted in defiirirrg the rules for verifyirrg the rrrodel consistence and validating the parameters. The generator of simulation programs allows the user to automatically generate simulation programs from graphic specification and the model parameters defined by the simulation user. The rules for vcrifying the model consistence and validating the parameters were defined during the development of Evaluation Levei 1 Module. The generator of simulation programs developed in this work allows the user to utilize the model stored in the data structures and to generate automatically simulation programs. Examples and results of generated simulation programs are presented.Biblioteca Digitais de Teses e Dissertações da USPSantana, Regina Helena CarlucciAiza, Thais Souza2005-04-11info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-14122017-102421/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/openAccesspor2018-07-17T16:38:18Zoai:teses.usp.br:tde-14122017-102421Biblioteca 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:27212018-07-17T16:38:18Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Utilização de queuing statecharts em um ambiente de simulação automático
Not Available
title Utilização de queuing statecharts em um ambiente de simulação automático
spellingShingle Utilização de queuing statecharts em um ambiente de simulação automático
Aiza, Thais Souza
Não disponível
Not available
title_short Utilização de queuing statecharts em um ambiente de simulação automático
title_full Utilização de queuing statecharts em um ambiente de simulação automático
title_fullStr Utilização de queuing statecharts em um ambiente de simulação automático
title_full_unstemmed Utilização de queuing statecharts em um ambiente de simulação automático
title_sort Utilização de queuing statecharts em um ambiente de simulação automático
author Aiza, Thais Souza
author_facet Aiza, Thais Souza
author_role author
dc.contributor.none.fl_str_mv Santana, Regina Helena Carlucci
dc.contributor.author.fl_str_mv Aiza, Thais Souza
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description Esta trabalho apresenta a utilização de Queuing SLatecharts para a especificação de modelos de sistemas computacionais em um sistema de simulação automático. Durante o trabalho de mestrado, foi implementado o Módulo de Interface Gráfica com o Usuário e o Módulo Avaliador Nívl 1 do ASDA (Ambiente de Simulação Automática Distribuída), e o desenvolvido urri gerador de programas de simulação para a extensão funcional SMPL (Simulation Prograrnming Language). Forma definidas as estruturas de dados que permitem o armazenamento, a alteração e recuperação do modelo. O módulo de Interface com o Usuário implementado permite que o usuário defina o modelo, a parametrização e o gerenciamento das informações dos usuários do ambiente que atua cm conjunto com o Módulo Avaliador Nível I consiste na definição das regras para a verificação da consistência do modelo e a validação dos parâmetros. O gerador de programas de simulação desenvolvido possibilita que o usuário gere automaticamente seus programas de simulação a partir da especificação gráfica e dos parâmetros do modelo definidos pelo usuário de simulação. As regras para a verificação da consistência do modelo e da validação dos parâmetros foram definidas durante o desenvolvimento do Módulo Avaliador Nível 1. O gerador para programas de simulação desenvolvido neste trabalho permite ao usuário utilizar o modelo armazenado na estrutura de dados e gerar automaticamente o seu programa de simulação. São apresentados exemplos e resultados de programas de simulação gerador.
publishDate 2005
dc.date.none.fl_str_mv 2005-04-11
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14122017-102421/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14122017-102421/
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_ 1815258134999990272