Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.

Detalhes bibliográficos
Autor(a) principal: Santos, José Maria Novaes dos
Data de Publicação: 1997
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-03102024-140530/
Resumo: Este trabalho apresenta uma contribuição para especificação de um conjunto de sistemas reativos complexos, sincronizados entre si. Esse formalismo, chamado Stad-Sinc se baseia numa composição das notações Rede de Petri, Statechart convencional e Statechart Adaptativo, e é representado por um diagrama que explicita os mecanismos de sincronização. Desenvolve-se uma ferramenta para desenvolvimento e análise, chamado SAS, constituído de um editor de Statecharts e um simulador de Statecharts sincronizados. Utilizando o Stad-Sinc um sistema pode ser considerado de diversos pontos de vista: nos aspectos de hieraquia e concorrência, usam-se as características do Statechart; nos aspectos de sicronização, são utilizados os mecanismos das Redes de Petri, e; nos aspectos de aprendizagem, os mecanismos de auto-modificação dos Statecharts Adaptativo. Com isso o formalismo permmite a representação de cada um desses aspectos isoladamente, bastando omiti-lo se for desnecessário. Isso permite utilizar apenas os recursos estritamente necessários em cada aplicação, proporcionando maior clareza na notação, e portanto facilitando a sua utilização e manutenção.
id USP_dba25ab7633fd4f72a519af84c7d5329
oai_identifier_str oai:teses.usp.br:tde-03102024-140530
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.Untitled in englishPetri netRede de PetriEste trabalho apresenta uma contribuição para especificação de um conjunto de sistemas reativos complexos, sincronizados entre si. Esse formalismo, chamado Stad-Sinc se baseia numa composição das notações Rede de Petri, Statechart convencional e Statechart Adaptativo, e é representado por um diagrama que explicita os mecanismos de sincronização. Desenvolve-se uma ferramenta para desenvolvimento e análise, chamado SAS, constituído de um editor de Statecharts e um simulador de Statecharts sincronizados. Utilizando o Stad-Sinc um sistema pode ser considerado de diversos pontos de vista: nos aspectos de hieraquia e concorrência, usam-se as características do Statechart; nos aspectos de sicronização, são utilizados os mecanismos das Redes de Petri, e; nos aspectos de aprendizagem, os mecanismos de auto-modificação dos Statecharts Adaptativo. Com isso o formalismo permmite a representação de cada um desses aspectos isoladamente, bastando omiti-lo se for desnecessário. Isso permite utilizar apenas os recursos estritamente necessários em cada aplicação, proporcionando maior clareza na notação, e portanto facilitando a sua utilização e manutenção.In this work we propose a formal notation for specifying a set of complex reactive systems with synchronization. This notation is based on a combination of notations used on Petri Nets, conventional Statecharts and Adaptive Statecharts, and it is represented by a diagram where the synchronization mechanisms are explicit. We develop a design and analysis tool, named SAS, composed by a Statechart editor and a synchronized Statechart simulator. Different aspects of a system can be described using Stad-Sinc. Hierarchy and concurrency are described using Statechart notation; synchronization using Petri Nets notation, and learning using the auto-modification mechanisms of Adaptive Statecharts. The notation allows us to represent each of these aspects isolated from the others and omit any one of them when necessary. This allows us to use only the required resources for each application, having a clearer notation, which is easier to use and maintain.Biblioteca Digitais de Teses e Dissertações da USPJosé Neto, JoãoSantos, José Maria Novaes dos1997-12-19info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-03102024-140530/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-10-03T17:10:02Zoai:teses.usp.br:tde-03102024-140530Biblioteca 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-10-03T17:10:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
Untitled in english
title Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
spellingShingle Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
Santos, José Maria Novaes dos
Petri net
Rede de Petri
title_short Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
title_full Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
title_fullStr Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
title_full_unstemmed Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
title_sort Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
author Santos, José Maria Novaes dos
author_facet Santos, José Maria Novaes dos
author_role author
dc.contributor.none.fl_str_mv José Neto, João
dc.contributor.author.fl_str_mv Santos, José Maria Novaes dos
dc.subject.por.fl_str_mv Petri net
Rede de Petri
topic Petri net
Rede de Petri
description Este trabalho apresenta uma contribuição para especificação de um conjunto de sistemas reativos complexos, sincronizados entre si. Esse formalismo, chamado Stad-Sinc se baseia numa composição das notações Rede de Petri, Statechart convencional e Statechart Adaptativo, e é representado por um diagrama que explicita os mecanismos de sincronização. Desenvolve-se uma ferramenta para desenvolvimento e análise, chamado SAS, constituído de um editor de Statecharts e um simulador de Statecharts sincronizados. Utilizando o Stad-Sinc um sistema pode ser considerado de diversos pontos de vista: nos aspectos de hieraquia e concorrência, usam-se as características do Statechart; nos aspectos de sicronização, são utilizados os mecanismos das Redes de Petri, e; nos aspectos de aprendizagem, os mecanismos de auto-modificação dos Statecharts Adaptativo. Com isso o formalismo permmite a representação de cada um desses aspectos isoladamente, bastando omiti-lo se for desnecessário. Isso permite utilizar apenas os recursos estritamente necessários em cada aplicação, proporcionando maior clareza na notação, e portanto facilitando a sua utilização e manutenção.
publishDate 1997
dc.date.none.fl_str_mv 1997-12-19
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-03102024-140530/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-03102024-140530/
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_ 1815256484729061376

Registros relacionados