Detalhes bibliográficos
| Ano de defesa: |
1997 |
| Autor(a) principal: |
Santos, José Maria Novaes dos |
| 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: |
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. |
