Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes (1997)
- Authors:
- Autor USP: SANTOS, JOSÉ MARIA NOVAES DOS - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: ENGENHARIA ELÉTRICA
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 19.12.1997
-
ABNT
SANTOS, José Maria Novaes dos. Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes. 1997. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1997. . Acesso em: 19 abr. 2024. -
APA
Santos, J. M. N. dos. (1997). Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. -
NLM
Santos JMN dos. Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes. 1997 ;[citado 2024 abr. 19 ] -
Vancouver
Santos JMN dos. Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes. 1997 ;[citado 2024 abr. 19 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
