Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts
Abstract
An efficient algorithm for statecharts execution, adapted from one proposed by Drusinsky and Harel for hardware synthesis is shown. This algorithm decomposes a statechart in a set of finite state machines running concurrentiy and communicating among themselves. It is also shown how the algorithm is used generically to generate code in Occam for reactive systems’ kernels within the StatSim environment. Differences, pros and cons of this algorithm compared to the one presented by Drusinsky and Harel are discussed and an example is shown to illustrate its use.
References
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.
Published
1994-10-26
How to Cite
SHIBUYA, Rosemeire; PENTEADO, Rosângela D.; MASIERO, Paulo Cesar.
Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts.
Proceedings of the Brazilian Symposium on Software Engineering (SBES), [S.l.], p. 253-267, oct. 1994.
ISSN 0000-0000.
Available at: <https://sol.sbc.org.br/index.php/sbes/article/view/24471>. Date accessed: 18 may 2024.
doi: https://doi.org/10.5753/sbes.1994.24471.
Section
Full Papers
