Geração de Gerenciadores de Sistemas Reativos
Resumo
Este artigo apresenta um gerador de programas adequados para implementar o controle de sistemas reativos complexos. A ferramenta utiliza estadogramas, uma extensão de diagramas de estados convencionais suportando conceitos de hierarquia, concorrência e comunicação. A sua entrada se constitui de uma descrição textual de um estadograma e produz como saída um programa funcionalmente equivalente em C. Em particular, trata-se de uma ferramenta útil para o desenvolvimento de gerenciadores de diálogos em interfaces homem-máquina. No final deste trabalho é descrita a utilização da ferramenta desenvolvida na construção de um editor topológico.
Referências
Drummond, R. e Liesenberg, H. A_HAND: Ambiente de Desenvolvimento de software baseado em Hierarquia de Abstração em Níveis Diferenciados, IV Encontro do Projeto ETHOS, abr 1987, pp. 313-322.
Drummond, R. e Liesenberg, H. Requisitos para um Ambiente de Desenvolvimento de PROGRAMAS, I Encontro IBM de Ciência e Tecnologia em Informática, nov 1987.
Drunsinsky, D. & Harel, D., Using Statecharts for Hardware Description, Technical Report CS85-06, Dept. of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, December 1985.
Drunsinsky, D. & Harel, D., Statecharts as an Abstract Model for Digital Control Units, Technical Report CS86-12, Dept. of Applied Mathematics & Computer Science, The Weizmann Institute of Science, Rehovot, Israel, May 1986.
Drunsinsky, D. & Harel, D., Using Statecharts for Hardware Description and Synthesis, IEEE Trans. on Computer-Aided Design, Vol. 8, No. 7, July 1989, pp. 798-807.
Figueiredo Filho, A. G. e Liesenberg, H. K. E., Geração de Gerenciadores de Sistemas Reativos, Relatório Técnico, DCC-IMECC-UNICAMP, No. 20, maio 90.
Green, M., Report on Dialogue Specification Tools, in User-Interface Management System, Gunther E. Pfaff, ed., Springer-Verlag, New York, 1985, pp. 9-20.
Green, M., A Survey of Three Dialogue Models, ACM Trans. on Graphics, Vol. 5, No. 3, July 1986, pp. 244-275.
Harel, D. & Pnueli, A., On the Development of Reactive Systems, in: K. R. Apt., Ed., Logics and Models of Concurrent Systems (Springer, New York, 1985), pp. 477-498.
Harel, D., STATECHARTS: A Visual Formalism for Complez Systems, Science of Computer Programming, Vol. 8, No: 3, June 1987, pp. 231-274.
Harel, D. & Kahana, C.-A., On Statecharts with Overlapping, Technical Report CS89-05, Dept. of Applied Mathematics & Computer Science, The Weizmann Institute of Science, Rehovot, Israel, April 1989.
Harel, D., On Visual Formalisms, Comm. ACM, Vol. 31, No. 5, May 1987, pp. 514-530.
Hartson, R., User-Interface Management Control and Communication, IEEE Software, January 1989, pp. 62-70.
Hartson, R. and Hix, D., Human-Computer Interface Development: Concepts and Systems for its Management, ACM Computing Surveys, Vol. 21, No. 1, March 1989, pp. 5-92.
Jacob, R.J. K., Using Formal Specifications in the Design of a Human-Computer Interface, Comm. ACM, 26 (1983), pp. 259-264.
Jacob, R.J. K., A State Transition Diagram Language for Visual Programming, Computer, August 1985, pp: 51-59.
Meyers, B. A., User-Interface Tools: Introduction and Surveys, IEEE Software, January 1989, pp. 15-23.
Piñón A., H., Editor Topológico para a Linguagem de Especificação de Computações LegoShell, Tese de Mestrado, DCC-IMECC-UNICAMP, Campinas, SP, dez 1990.
Pnueli, A., Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, In Current Trends in Concurrency, Bakker, J. W. et al., Lecture Notes in Computer Sciences, Vol. 224, Springer-Verlag, New York, (1986), pp. 510-584.
Sunshine, C. A., et al., Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models, IEEE Trans. Soft. Eng., 8 (1982), pp. 460-489.
Tenenbaum, A. S., Computer Networks, Prentice-Hall, Englewood Cliffs, NJ, 1981.
Drummond, R. e Liesenberg, H. Requisitos para um Ambiente de Desenvolvimento de PROGRAMAS, I Encontro IBM de Ciência e Tecnologia em Informática, nov 1987.
Drunsinsky, D. & Harel, D., Using Statecharts for Hardware Description, Technical Report CS85-06, Dept. of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, December 1985.
Drunsinsky, D. & Harel, D., Statecharts as an Abstract Model for Digital Control Units, Technical Report CS86-12, Dept. of Applied Mathematics & Computer Science, The Weizmann Institute of Science, Rehovot, Israel, May 1986.
Drunsinsky, D. & Harel, D., Using Statecharts for Hardware Description and Synthesis, IEEE Trans. on Computer-Aided Design, Vol. 8, No. 7, July 1989, pp. 798-807.
Figueiredo Filho, A. G. e Liesenberg, H. K. E., Geração de Gerenciadores de Sistemas Reativos, Relatório Técnico, DCC-IMECC-UNICAMP, No. 20, maio 90.
Green, M., Report on Dialogue Specification Tools, in User-Interface Management System, Gunther E. Pfaff, ed., Springer-Verlag, New York, 1985, pp. 9-20.
Green, M., A Survey of Three Dialogue Models, ACM Trans. on Graphics, Vol. 5, No. 3, July 1986, pp. 244-275.
Harel, D. & Pnueli, A., On the Development of Reactive Systems, in: K. R. Apt., Ed., Logics and Models of Concurrent Systems (Springer, New York, 1985), pp. 477-498.
Harel, D., STATECHARTS: A Visual Formalism for Complez Systems, Science of Computer Programming, Vol. 8, No: 3, June 1987, pp. 231-274.
Harel, D. & Kahana, C.-A., On Statecharts with Overlapping, Technical Report CS89-05, Dept. of Applied Mathematics & Computer Science, The Weizmann Institute of Science, Rehovot, Israel, April 1989.
Harel, D., On Visual Formalisms, Comm. ACM, Vol. 31, No. 5, May 1987, pp. 514-530.
Hartson, R., User-Interface Management Control and Communication, IEEE Software, January 1989, pp. 62-70.
Hartson, R. and Hix, D., Human-Computer Interface Development: Concepts and Systems for its Management, ACM Computing Surveys, Vol. 21, No. 1, March 1989, pp. 5-92.
Jacob, R.J. K., Using Formal Specifications in the Design of a Human-Computer Interface, Comm. ACM, 26 (1983), pp. 259-264.
Jacob, R.J. K., A State Transition Diagram Language for Visual Programming, Computer, August 1985, pp: 51-59.
Meyers, B. A., User-Interface Tools: Introduction and Surveys, IEEE Software, January 1989, pp. 15-23.
Piñón A., H., Editor Topológico para a Linguagem de Especificação de Computações LegoShell, Tese de Mestrado, DCC-IMECC-UNICAMP, Campinas, SP, dez 1990.
Pnueli, A., Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, In Current Trends in Concurrency, Bakker, J. W. et al., Lecture Notes in Computer Sciences, Vol. 224, Springer-Verlag, New York, (1986), pp. 510-584.
Sunshine, C. A., et al., Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models, IEEE Trans. Soft. Eng., 8 (1982), pp. 460-489.
Tenenbaum, A. S., Computer Networks, Prentice-Hall, Englewood Cliffs, NJ, 1981.
Publicado
23/10/1991
Como Citar
FIGUEIREDO FILHO, Antonio G.; LIESENBERG, Hans K. E..
Geração de Gerenciadores de Sistemas Reativos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 5. , 1991, Ouro Preto/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1991
.
p. 31-44.
DOI: https://doi.org/10.5753/sbes.1991.24256.
