Exportar registro bibliográfico

Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes (1997)

  • Authors:
  • USP affiliated author: SANTOS, JOSÉ MARIA NOVAES DOS - EP
  • School: EP
  • Sigla do Departamento: PCS
  • Subject: 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

  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SANTOS, José Maria Novaes dos; JOSÉ NETO, João. Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes. 1997.Universidade de São Paulo, São Paulo, 1997.
    • APA

      Santos, J. M. N. dos, & José Neto, J. (1997). Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes. Universidade de São Paulo, São Paulo.
    • NLM

      Santos JMN dos, José Neto J. Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes. 1997 ;
    • Vancouver

      Santos JMN dos, José Neto J. Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes. 1997 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2022