01202naa a2200157 a 450000100080000000500110000800800410001910000160006024500930007626000090016930000150017852006270019370000200082070000190084077301850085910031212007-09-28       1994    bl uuuu     u00u1 u    #d1 aSHIBUYA, R.  aGeração de código a partir de modelos comportamentais especificados por estatecharts.  c1994  ap.253-267.  aUm algoritmo eficiente para execução de statecharts, adaptação de um proposto por Drusinsky e Harel para sintese de hardware e apresentado. Esse algoritmo decompõe um statechart em um conjunto de máquinas de estados finito executando concorrentemente e comunicando-se entre si. Mostra-se também como o algoritmo e usado genericamente para, dentro do ambiente StatSim, gerar código em Occam para núcleos de sistemas reativos especificados por statecharts. Diferenças, vantagens e desvantagens deste algoritmo em relação ao de Drusinsky e Harel são discutidas e um exemplo e apresentado para ilustrar o seu uso.1 aPENTEADO, R. D.1 aMASIERO, P. C.  tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994.