Apresentação da linguagem reativa síncrona RS
Resumo
O artigo introduz a linguagem reativa sincrona RS, a qual é apropriada para a programação de sistemas que devem responder, de forma eficiente, a sinais provenientes de um ambiente externo. Os programas são formados por regras de reação do tipo condição => ação que são postas em execução por sinais vindos do exterior. A linguagem origina programas concorrentes claros e concisos, os quais são compilados para autômatos finitos determinísticos. Os problemas de escalonamento e sincronização são resolvidos em tempo de compilação.
Referências
G. Berry. "Real Time Programming: Special Purpose or General Purpose Languages". Research Report 1065, INRIA, 1989.
G. Berry. "Programming a Digital Watch in Esterel V3". Research Report 1032. INRIA, 1989.
G. Berry and G. Gonthier. "The Esterel Synchronous Programming Language: Design, Semantics, Implementation". Science of Computer Programming, 19(2):87-152. 1992.
G. Berry, P. Couronné and G. Gonthier. "Synchronous Programming of Reactive Systems: an Introduction to Esterel". Research Report 647, INRIA, 1987.
E. M. Clarke, E. A. Emerson and A. P. Sistla. "Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach". Carnegie-Mellon University, 1983.
P. Le Guernic. M. Le Borgne, T. Gauthier and C, Le Maire. "Programming real time applications with SIGNAL". Research Report 1446, INRIA, 1991.
N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud. "The Synchronous dataflow programming Language LUSTRE. In Proceedings IEEE, volume 79, pages 1305-1320, September, 1991.
D. Harel, "Statecharts: A Visual Formalism for Complex Systems". Science of Computer Programming, Vol 8, 1987, 231-274.
D. Harel and A. Pnueli, "On the Development of Reactive Systems". In: Logics and Models of Concurrent Systems, NATO ASI Series, Vol F13, Edited by K. R. Apt, Springer-Verlag Berlin Heidelberg, 1985.
M. Hennessy. The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley Press, 1990.
J. Peterson. "Petri Nets". Computing Surveys, Vol. 9, No. 3, September 1977, pages 223-252.
G. D. Plotkin. "A Structural Approach to Operational Semantics". Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, 1981.
J-P. Queile and J. Sifakis. "Specification and Verification of Concurrent Systems in CESAR". In Proceedings International Symposium on Programming, Lecture Notes in Computer Systems 137, Springer-Verlag, New York, 1982.
S. S. Toscani. "RS: Uma Linguagem para Programação de Núcleos Reactivos". Tese de doutoramento, Depto de Informática da UNL, Portugal, 1993.
D. Vergamini. "Verification by Means of Observational Equivalence on Automata". Research Report 501, INRIA, 1986.
G. Berry. "Programming a Digital Watch in Esterel V3". Research Report 1032. INRIA, 1989.
G. Berry and G. Gonthier. "The Esterel Synchronous Programming Language: Design, Semantics, Implementation". Science of Computer Programming, 19(2):87-152. 1992.
G. Berry, P. Couronné and G. Gonthier. "Synchronous Programming of Reactive Systems: an Introduction to Esterel". Research Report 647, INRIA, 1987.
E. M. Clarke, E. A. Emerson and A. P. Sistla. "Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach". Carnegie-Mellon University, 1983.
P. Le Guernic. M. Le Borgne, T. Gauthier and C, Le Maire. "Programming real time applications with SIGNAL". Research Report 1446, INRIA, 1991.
N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud. "The Synchronous dataflow programming Language LUSTRE. In Proceedings IEEE, volume 79, pages 1305-1320, September, 1991.
D. Harel, "Statecharts: A Visual Formalism for Complex Systems". Science of Computer Programming, Vol 8, 1987, 231-274.
D. Harel and A. Pnueli, "On the Development of Reactive Systems". In: Logics and Models of Concurrent Systems, NATO ASI Series, Vol F13, Edited by K. R. Apt, Springer-Verlag Berlin Heidelberg, 1985.
M. Hennessy. The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley Press, 1990.
J. Peterson. "Petri Nets". Computing Surveys, Vol. 9, No. 3, September 1977, pages 223-252.
G. D. Plotkin. "A Structural Approach to Operational Semantics". Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, 1981.
J-P. Queile and J. Sifakis. "Specification and Verification of Concurrent Systems in CESAR". In Proceedings International Symposium on Programming, Lecture Notes in Computer Systems 137, Springer-Verlag, New York, 1982.
S. S. Toscani. "RS: Uma Linguagem para Programação de Núcleos Reactivos". Tese de doutoramento, Depto de Informática da UNL, Portugal, 1993.
D. Vergamini. "Verification by Means of Observational Equivalence on Automata". Research Report 501, INRIA, 1986.
Publicado
26/10/1994
Como Citar
TOSCANI, S. S.; MONTEIRO, L. F..
Apresentação da linguagem reativa síncrona RS. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 8. , 1994, Curitiba/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1994
.
p. 63-77.
DOI: https://doi.org/10.5753/sbes.1994.24460.
