Utilização de queuing statecharts em um ambiente de simulação automático (2005)
- Authors:
- Autor USP: AIZA, THAIS SOUZA - ICMC
- Unidade: ICMC
- Sigla do Departamento: SCE
- Subjects: SISTEMAS DISTRIBUÍDOS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS; PROGRAMAÇÃO CONCORRENTE
- Language: Português
- Abstract: Este trabalho apresenta a utilização de Queuing Statecharts 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ível 1 do ASDA (Ambiente de Simulação Automática Distribuída), e o desenvolvido um gerador de programas de simulação para a extensão funcional SMPL (Simulation Programming Language). Foram definidas as estruturas de dados que permitem o armazenamento, a alteração e a 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 em conjunto com o Módulo Avaliador Nivel 1 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 eresultados de programas de simulação gerador
- Imprenta:
- Publisher place: São Carlos
- Date published: 2005
- Data da defesa: 11.04.2005
-
ABNT
AIZA, Thais Souza. Utilização de queuing statecharts em um ambiente de simulação automático. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2005. . Acesso em: 12 jun. 2024. -
APA
Aiza, T. S. (2005). Utilização de queuing statecharts em um ambiente de simulação automático (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. -
NLM
Aiza TS. Utilização de queuing statecharts em um ambiente de simulação automático. 2005 ;[citado 2024 jun. 12 ] -
Vancouver
Aiza TS. Utilização de queuing statecharts em um ambiente de simulação automático. 2005 ;[citado 2024 jun. 12 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas