Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts
Resumo
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.
Palavras-chave:
Sistemas Reativos, Statecharts, Occam, Gerador de Código
Referências
ALLWORTH, S.T. - Introduction to Real-time Software Design. London, McMillan, 1981.
COLEMAN, D.; HAYES, F.; BEARS, S. - Introducing Objectcharts or How to Use Objectcharts in Object-Oriented Design. IEEE Transactions on Software Vol. 18 (1):9-18,1992.
DRUSINSKY, D.; HAREL, D. - Using Statechrts for Hardware Description and Syntesis, IEEE Transactions on Computer-Aided Design, Vol. 8 (7): 798:806, July 1989.
DAVIS, A. M. - A comparison of Techniques for the Specification of External System Behavior. Communications of the ACM, 31 (9):1098-115, 1988.
FAISON, T. - Object-Oriented State Machines, Software Development, 1(3) : 37-50, September 1993.
FIGUEIREDO Fo., A. G.; LIESENBERG, H. K. E. - Geração de Gerenciadores de Sistemas Reativos, V Simpósio Brasileiro de Engenharia de Software, Ouro Preto:31-44, 23 a 25 de Outubro de 1991.
GABRIELIAN, A.; FRANKLIN, M. K. - Multi-level Specification of Real-Time Software, Communications of the ACM, 33 (5):50-60, May 1991.
HAREL, D. - STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987.
HAREL,D. et all - On the Formal Semantics of Statecharts, Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, Ithaca, N.Y., 1987.
HAREL, D. - STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, 16 (4):403-14, 1990.
MASIERO, P.C.; FORTES, R.P.de M.; BATISTA NETO, J. do E.S. - Edição e Simulação do Aspecto Comportamental de Sistemas de Tempo Real, XVII SEMISH, Santos:45-61, 5 a 9 de Setembro de 1991.
MASIERO,P.C. ; MEIRA, C.A. - Development and Instantiation of a Generic Application Generator, The Journal of Systems and Software, 23 (1):27-38, October 1993.
MASIERO, P.C.; MALDONADO, J.C.; BOAVENTURA, I.G. - A Reachability Tree for Statecharts and Analysis of Some Properties. Information and Software Technology (aceito para publicação), 1994.
RUMBAUGH, J. et alli - Object-Oriented Modeling and Design. Englewood Cliffs, NJ, Prentice-Hall, 1991.
PETERSON, J. L. - Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ, Prentice-Hall, 1991.
SHIBUYA, R. - Geração de Código em Occam para Núcleos de Sistemas Reativos. Relatório Técnico, ICMSC-USP, 1994.
TUTUME, R.; YSHIY, S. - Implementação de um Editor Gráfico para Diagrama de Atividades. Relatório de IC-CNPq, ICMSC-USP, 1992.
WARD, P. T. - The Transformation Schema: an Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transactions on Software Engineering, 12 (2):198-210, 1986.
COLEMAN, D.; HAYES, F.; BEARS, S. - Introducing Objectcharts or How to Use Objectcharts in Object-Oriented Design. IEEE Transactions on Software Vol. 18 (1):9-18,1992.
DRUSINSKY, D.; HAREL, D. - Using Statechrts for Hardware Description and Syntesis, IEEE Transactions on Computer-Aided Design, Vol. 8 (7): 798:806, July 1989.
DAVIS, A. M. - A comparison of Techniques for the Specification of External System Behavior. Communications of the ACM, 31 (9):1098-115, 1988.
FAISON, T. - Object-Oriented State Machines, Software Development, 1(3) : 37-50, September 1993.
FIGUEIREDO Fo., A. G.; LIESENBERG, H. K. E. - Geração de Gerenciadores de Sistemas Reativos, V Simpósio Brasileiro de Engenharia de Software, Ouro Preto:31-44, 23 a 25 de Outubro de 1991.
GABRIELIAN, A.; FRANKLIN, M. K. - Multi-level Specification of Real-Time Software, Communications of the ACM, 33 (5):50-60, May 1991.
HAREL, D. - STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987.
HAREL,D. et all - On the Formal Semantics of Statecharts, Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, Ithaca, N.Y., 1987.
HAREL, D. - STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, 16 (4):403-14, 1990.
MASIERO, P.C.; FORTES, R.P.de M.; BATISTA NETO, J. do E.S. - Edição e Simulação do Aspecto Comportamental de Sistemas de Tempo Real, XVII SEMISH, Santos:45-61, 5 a 9 de Setembro de 1991.
MASIERO,P.C. ; MEIRA, C.A. - Development and Instantiation of a Generic Application Generator, The Journal of Systems and Software, 23 (1):27-38, October 1993.
MASIERO, P.C.; MALDONADO, J.C.; BOAVENTURA, I.G. - A Reachability Tree for Statecharts and Analysis of Some Properties. Information and Software Technology (aceito para publicação), 1994.
RUMBAUGH, J. et alli - Object-Oriented Modeling and Design. Englewood Cliffs, NJ, Prentice-Hall, 1991.
PETERSON, J. L. - Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ, Prentice-Hall, 1991.
SHIBUYA, R. - Geração de Código em Occam para Núcleos de Sistemas Reativos. Relatório Técnico, ICMSC-USP, 1994.
TUTUME, R.; YSHIY, S. - Implementação de um Editor Gráfico para Diagrama de Atividades. Relatório de IC-CNPq, ICMSC-USP, 1992.
WARD, P. T. - The Transformation Schema: an Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transactions on Software Engineering, 12 (2):198-210, 1986.
Publicado
26/10/1994
Como Citar
SHIBUYA, Rosemeire; PENTEADO, Rosângela D.; MASIERO, Paulo Cesar.
Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 8. , 1994, Curitiba/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1994
.
p. 253-267.
DOI: https://doi.org/10.5753/sbes.1994.24471.
