Uma ferramenta para a construção de protótipos de programas concorrentes.

Detalhes bibliográficos
Autor(a) principal: Kinoshita, Jorge
Data de Publicação: 1991
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-154048/
Resumo: O objetivo deste trabalho é o de apresentar uma ferramenta gráfica de auxílio ao projeto de programas concorrentes. Ela é executada no ambiente smalltalk. Antes da implementação (codificação e testes) de um programa concorrente, existe a fase de projeto, onde são definidos os processos que o compõem e a forma como eles se relacionam. A ferramenta é usada nesta fase. Ela permite ao usuário editar, simular e analisar protótipos de programas concorrentes. Os protótipos são descritos através de redes de processos e redes de petri. Através de redes de processos, definidas neste trabalho, é possível descrever a estrutura hierarquica dos processos (como um ativa o outro) e como eles se comunicam entre si. A cada processo da rede de processos pode-se associar uma rede de petri do tipo máquina de estados estendida. A ferramenta permite associar codigo smalltalk as transições. Através da simulação e análise pode-se prever erros tais como \"deadlocks\" ou protocolos mal definidos.
id USP_509fbc566dbaa438c39c44c35465392b
oai_identifier_str oai:teses.usp.br:tde-17122024-154048
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Uma ferramenta para a construção de protótipos de programas concorrentes.Untitled in englishProgram prototypesProtótipos de programasO objetivo deste trabalho é o de apresentar uma ferramenta gráfica de auxílio ao projeto de programas concorrentes. Ela é executada no ambiente smalltalk. Antes da implementação (codificação e testes) de um programa concorrente, existe a fase de projeto, onde são definidos os processos que o compõem e a forma como eles se relacionam. A ferramenta é usada nesta fase. Ela permite ao usuário editar, simular e analisar protótipos de programas concorrentes. Os protótipos são descritos através de redes de processos e redes de petri. Através de redes de processos, definidas neste trabalho, é possível descrever a estrutura hierarquica dos processos (como um ativa o outro) e como eles se comunicam entre si. A cada processo da rede de processos pode-se associar uma rede de petri do tipo máquina de estados estendida. A ferramenta permite associar codigo smalltalk as transições. Através da simulação e análise pode-se prever erros tais como \"deadlocks\" ou protocolos mal definidos.This work presents a graphical tool for designing concurrent programs. This tool runs on a Smalltalk environment. Before the implementation phase (coding and testing) of a concurrent program, there is a design phase where processes and their inter-relationship are defined. The tool is used in this phase. It lets the user to edit, simulate and analyse concurrent programs prototypes. These prototypes are described through processes nets and Petri nets. Using processes nets, defined in this work, it is possible to describe the hierarchical structure of processes (how one activate other) and how they communicate with each other. For each process is designated one Petri net of Extended State Machine type. The tool lets to assign Smalltalk code to transitions. Simulating and analyzing helps to prevent errors such as deadlocks or badly defined protocols.Biblioteca Digitais de Teses e Dissertações da USPJosé Neto, JoãoKinoshita, Jorge1991-04-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-154048/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/openAccesspor2024-12-20T18:32:49Zoai:teses.usp.br:tde-17122024-154048Biblioteca 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:27212024-12-20T18:32:49Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Uma ferramenta para a construção de protótipos de programas concorrentes.
Untitled in english
title Uma ferramenta para a construção de protótipos de programas concorrentes.
spellingShingle Uma ferramenta para a construção de protótipos de programas concorrentes.
Kinoshita, Jorge
Program prototypes
Protótipos de programas
title_short Uma ferramenta para a construção de protótipos de programas concorrentes.
title_full Uma ferramenta para a construção de protótipos de programas concorrentes.
title_fullStr Uma ferramenta para a construção de protótipos de programas concorrentes.
title_full_unstemmed Uma ferramenta para a construção de protótipos de programas concorrentes.
title_sort Uma ferramenta para a construção de protótipos de programas concorrentes.
author Kinoshita, Jorge
author_facet Kinoshita, Jorge
author_role author
dc.contributor.none.fl_str_mv José Neto, João
dc.contributor.author.fl_str_mv Kinoshita, Jorge
dc.subject.por.fl_str_mv Program prototypes
Protótipos de programas
topic Program prototypes
Protótipos de programas
description O objetivo deste trabalho é o de apresentar uma ferramenta gráfica de auxílio ao projeto de programas concorrentes. Ela é executada no ambiente smalltalk. Antes da implementação (codificação e testes) de um programa concorrente, existe a fase de projeto, onde são definidos os processos que o compõem e a forma como eles se relacionam. A ferramenta é usada nesta fase. Ela permite ao usuário editar, simular e analisar protótipos de programas concorrentes. Os protótipos são descritos através de redes de processos e redes de petri. Através de redes de processos, definidas neste trabalho, é possível descrever a estrutura hierarquica dos processos (como um ativa o outro) e como eles se comunicam entre si. A cada processo da rede de processos pode-se associar uma rede de petri do tipo máquina de estados estendida. A ferramenta permite associar codigo smalltalk as transições. Através da simulação e análise pode-se prever erros tais como \"deadlocks\" ou protocolos mal definidos.
publishDate 1991
dc.date.none.fl_str_mv 1991-04-26
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 https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-154048/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-154048/
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_ 1831147752802746368

Registros relacionados