Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts

Um algoritmo eficiente para execução de statecharts, adaptado de um proposto por Drusinsky e Harel para síntese de hardware é 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 é 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 é apresentado para ilustrar o seu uso.