GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems

  • J. C. Torres
  • M. Gea
  • F. L. Gutierrez
  • M. Cabrera
  • M. Rodriguez
Conference paper
Part of the Eurographics book series (EUROGRAPH)


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.


Object State Specification Language High Level Language Block Function Graphic Object 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Faconti, G.; Paterno, F.: An Approach to the Formal Specification of the Components of an Interaction. EUROGRAPHICS 1990Google Scholar
  2. 2.
    Paterno, Fabio; Faconti, G.: On the use of LOTOS to describe Graphical Interaction. HCI, 1992Google Scholar
  3. 3.
    Duce, D.A.: Formal Specification of Graphics Software. NATO ASI Series. Theoretical Foundations of Computer Graphics and CAD. Springer Verlag, 1988Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    J.C. Torres; B. Clares: Graphic Objects: A Mathematical Abstract Model For Computer Graphics. Computer Graphic Forum, Vol. 12, N.5, 1993.Google Scholar
  6. 6.
    Torres, J.C; Clares, B.: A Formal Approach to the Specification of Graphic Object Functions, Proceedings Eurographics 1994Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    Gutierrez, F.L.; Gea, M: Especificacion Formal de sistemas interactivos basados en interadorcs. Proceedings CEIG, 1995Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    G.P. Faconti; A. Fornari; N. Zani: Visual Representation of Formal Specification: An Application to hierarchical Logical Input Devices. DSVIS’94. Pisa. June 1994.Google Scholar
  13. 13.
    P.A. Palanque; R. Bastide: Petri Net Based Design of User-Driven Interfaces Using Interactive Cooperative Objects Formalism. DSVIS’94. Pisa. June 1994.Google Scholar
  14. 14.
    W. Mallgren: Formal Specification of Interactive Graphic Programming Languages. ACM Press. 1982.Google Scholar

Copyright information

© Springer-Verlag/Wien 1996

Authors and Affiliations

  • J. C. Torres
    • 1
  • M. Gea
    • 1
  • F. L. Gutierrez
    • 1
  • M. Cabrera
    • 1
  • M. Rodriguez
    • 1
  1. 1.Dpt. Lenguajes y Sistemas InformáticosUniv. Granada. E.T.S.I. InformáticaGranadaSpain

Personalised recommendations