Abstract
The specification of interactive graphic systems involves the use of formal methods to describe the synchronization restrictions and graphic information. Several proposals have been made trying to join formalisms for the specification of concurrent systems with some methods to describe the graphic component. This paper presents an algebraic specification language which has been designed to specify interactive graphic systems. The language is founded on the use of a mathematical formalism to describe the graphic component, with an extension of algebraic specification language to describe synchronization, using guarded operations. The language is an extension of the previous Gralpla language, to which new features have been added to allow the specification of dynamic changes of the graphic representations and of processes. A prototyping tool has been defined for the language to generate C++ prototypes of the specifications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Faconti, G.; Paterno, F.: An Approach to the Formal Specification of the Components of an Interaction. EUROGRAPHICS 1990
Paterno, Fabio; Faconti, G.: On the use of LOTOS to describe Graphical Interaction. HCI, 1992
Duce, D.A.: Formal Specification of Graphics Software. NATO ASI Series. Theoretical Foundations of Computer Graphics and CAD. Springer Verlag, 1988
J.C. Torres; B. Clares: Using an Abstract Model for the Specification of Interactive Graphics Systems. F. Paterno (Ed.): Design, Specification and Verification of Interactive Graphic Systems. Springer Verlag, 1994.
J.C. Torres; B. Clares: Graphic Objects: A Mathematical Abstract Model For Computer Graphics. Computer Graphic Forum, Vol. 12, N.5, 1993.
Torres, J.C; Clares, B.: A Formal Approach to the Specification of Graphic Object Functions, Proceedings Eurographics 1994
M. Gea; J.C. Torres: Object Oriented Prototyping of Graphic Application from Algebraic Specification. Fourth Eurographics Workshop on Object Oriented Graphics, Sintra, Portugal, 9–11 May 1994.
Gutierrez, F.L.; Gea, M: Especificacion Formal de sistemas interactivos basados en interadorcs. Proceedings CEIG, 1995
J.C. Torres; M. Gea; F.L. Gutierrez, M. Cabrera; M. Rodriguez: The Gralpla Specification Language. Dpt. Lengunjes y Sistemas Informáticos, Universidad de Granada, Spain. Report 96–1, 1996.
R. Duke; P. King; G. Rose; G. Smith: The Object-Z Specification Language. Version 1. Sot ware Verification Research Centre. Deparment of Computer Science. University of Queensland. Australia. Technical Report N.91–1. May 1991.
J.A. Goguen; J.J. Tardo: An introduction to OBJ: a language for writing and testing formal algebraic Program Specifications. Software Specification Techniques. Addison Wesley, 1986.
G.P. Faconti; A. Fornari; N. Zani: Visual Representation of Formal Specification: An Application to hierarchical Logical Input Devices. DSVIS’94. Pisa. June 1994.
P.A. Palanque; R. Bastide: Petri Net Based Design of User-Driven Interfaces Using Interactive Cooperative Objects Formalism. DSVIS’94. Pisa. June 1994.
W. Mallgren: Formal Specification of Interactive Graphic Programming Languages. ACM Press. 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag/Wien
About this paper
Cite this paper
Torres, J.C., Gea, M., Gutierrez, F.L., Cabrera, M., Rodriguez, M. (1996). GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems. In: Bodart, F., Vanderdonckt, J. (eds) Design, Specification and Verification of Interactive Systems ’96. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7491-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7491-3_14
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82900-4
Online ISBN: 978-3-7091-7491-3
eBook Packages: Springer Book Archive