Utilização de queuing statecharts em um ambiente de simulação automático
Ano de defesa: | 2005 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
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 |