Abstract
Specifying the behavior of graphical objects, such as menus, scrollbars, etc. is not an easy task. This is because one must deal with multiple input devices such as the mouse and keyboard. This makes the specification of such objects difficult to write and hard to maintain. We consider these objects as reactive systems that receive inputs and generate output after updating their internal state. We present here how one can use the Esterel language to write efficient, clean, and modular specifications of such systems. Esterel also provides for the reuseability of such specifications.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
ADA, The Programming Language ADA Reference Manual, Lecture Notes in Computer Science, Springer-Verlag, (155), 1983.
G. Berry, P. Couronne, G. Gonthier, “Synchronous Programming of Reactive Systems: An Introduction to ESTEREL” Proceedings of the First France-Japan Symposium on Artificial Intelligence and Computer Science, Tokyo, North-Holland, October 1986. (Also as INRIA Rapport de Recherche No. 647.)
G. Berry, F. Boussinot, P. Couronne, G. Gonthier, “ESTEREL v2.2 System Manuals” Collection of Technical Reports, Ecole des Mines, Sophia Antipolis, 1986.
P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. “CENTAUR: the system”, Proceedings of ACM SIGSOFT '88: Third Symposium on Software Development Environments, Boston, November 1988. (Also as INRIA Rapport de Recherche No. 777).
L. Cardelli and R. Pike, “Squeak: a Language for Communicating with Mice”, Proceedings of SIGGRAPH 19(3), San Francisco, 1985.
L. Cardelli, “Building User Interfaces by Direct Manipulation”, Research Report #22, DEC Systems Research Center, October 1987.
J. Chailloux, et al. “LeLisp v15.2:Le Manuel de Référence, INRIA Technical Report, 1986.
D. Clément and J. Incerpi, “Graphic Objects: Geometry, Graphics, and Behavior”, Third Annual Report, Esprit Project 348, December 1987.
D. Clément and J. Incerpi, “Specifying the Behavior of Graphical Objects Using Esterel”, INRIA Rapport de Rercherche No. 836, April 1988.
M. Devin et al., “Aida: environnment de développment d'applications”, ILOG, Paris, 1987.
R. Hill, “Supporting Concurrency, Communication, and Synchronization in Human-Computer Interaction — The Sassafras UIMS” ACM Transactions on Graphics, 5(3), July 1986.
MacIntosh ToolKit Apple Computer Corp.
N. Wirth, Programming in Modula-2, Springer Verlag, 1982.
X11 Toolkit MIT project Athena, February 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Clément, D., Incerpi, J. (1989). Specifying the behavior of graphical objects using Esterel. In: Díaz, J., Orejas, F. (eds) TAPSOFT '89. TAPSOFT 1989. Lecture Notes in Computer Science, vol 352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50940-2_31
Download citation
DOI: https://doi.org/10.1007/3-540-50940-2_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50940-0
Online ISBN: 978-3-540-46118-0
eBook Packages: Springer Book Archive