Execução Exaustiva de Statecharts
Resumo
Os Statecharts, devido a sua definição formal, permitem que os sistemas especificados com eles sejam validados de diversas maneiras. Neste trabalho, mostra-se como pode ser construída uma árvore de alcançabilidade para Statecharts que permite a simulação exaustiva de todos os possíveis estados alcançáveis, considerando toda a semântica dos Statecharts, inclusive história. Mostram-se os algoritmos desenvolvidos para avaliação de propriedades dinâmicas dos Statecharts, tais como alcançabilidade, reiniciabilidade, deadlock, seqüência válida de eventos e uso de transições. Apresentam-se também exemplos de execução desses algoritmos.
Referências
Boaventura, I. A. G. Propriedades Dinâmicas de Statecharts. Dissertação de Mestrado, ICMSC-USP, São Carlos, 1992.
Bochmann, G.; Sunshine, C.A. Formal Methods in Communication Protocol Design. IEEE Trans. Comm., vol. COM-28(4), pp. 624-631, 1980.
Harel, D. STATECHARTS: a visual formalism for complex systems. Science of Comp. Programming, 8, pp.231-274, 1987.
Harel, D. STATECHARTS: on the formal semanties os Statecharts. IN Proceedings of the 2nd IEEE Symposium on Logie in Computer Science. Ithaca, New York, 1987.
Harel, D. et al STATEMATE: a working environment for the development of complex reactive systems. IN Proceedings of the Tenth International Conference on Software Engineering. (Singapure, April), Washington D.C., IEEE, 1988.
Marel, D. Biting the Silver Bullet: toward a brighter future for system development. IEEE Computer, pp.08-20, January 1992.
i-LOGIX. The STATEMATE Aproach to Complex Systems. 1989.
Leveson, N. G.,Stolzy J. L. Safety Analysis using Petri nets. IEEE Transactions on Software Engineering, SE(13(3)), pp-386-397, 1987.
Masiero, P.C.; Fortes, R.P. de M.; Batista Neto, J.E.S. Edição e Simulação do Aspecto Comportamental de Sistemas de Tempo-Real. Anais do XVIII Seminário Integrado de Hardware e Software, SBC, Santos-SP, pp.45-61, 1991.
Masiero, P.C.; Boaventura, L.A.G.; Maldonado, J.C. Dynamic Properties of Statecharts: A Reachability Tree and Analysis of some Properties. PANEL'92 XVIII Conferencia Latinoamericana de Informática, Las Palmas de Gran Canaria, Espanha, 1992.
Peterson, J. L. Petri Net Theory and The Modeling of Systems. Prentice-Hall, Inc. Englewood Cliffs, N.J., 1981.
Bochmann, G.; Sunshine, C.A. Formal Methods in Communication Protocol Design. IEEE Trans. Comm., vol. COM-28(4), pp. 624-631, 1980.
Harel, D. STATECHARTS: a visual formalism for complex systems. Science of Comp. Programming, 8, pp.231-274, 1987.
Harel, D. STATECHARTS: on the formal semanties os Statecharts. IN Proceedings of the 2nd IEEE Symposium on Logie in Computer Science. Ithaca, New York, 1987.
Harel, D. et al STATEMATE: a working environment for the development of complex reactive systems. IN Proceedings of the Tenth International Conference on Software Engineering. (Singapure, April), Washington D.C., IEEE, 1988.
Marel, D. Biting the Silver Bullet: toward a brighter future for system development. IEEE Computer, pp.08-20, January 1992.
i-LOGIX. The STATEMATE Aproach to Complex Systems. 1989.
Leveson, N. G.,Stolzy J. L. Safety Analysis using Petri nets. IEEE Transactions on Software Engineering, SE(13(3)), pp-386-397, 1987.
Masiero, P.C.; Fortes, R.P. de M.; Batista Neto, J.E.S. Edição e Simulação do Aspecto Comportamental de Sistemas de Tempo-Real. Anais do XVIII Seminário Integrado de Hardware e Software, SBC, Santos-SP, pp.45-61, 1991.
Masiero, P.C.; Boaventura, L.A.G.; Maldonado, J.C. Dynamic Properties of Statecharts: A Reachability Tree and Analysis of some Properties. PANEL'92 XVIII Conferencia Latinoamericana de Informática, Las Palmas de Gran Canaria, Espanha, 1992.
Peterson, J. L. Petri Net Theory and The Modeling of Systems. Prentice-Hall, Inc. Englewood Cliffs, N.J., 1981.
Publicado
04/11/1992
Como Citar
BOAVENTURA, Inês A. G.; MASIERO, Paulo C..
Execução Exaustiva de Statecharts. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 6. , 1992, Gramado/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1992
.
p. 143-150.
DOI: https://doi.org/10.5753/sbes.1992.25180.
