GRALPLA; An Algebraic Specification Language For Interactive Graphic Systems

摘要

The specification of interactive araphic 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 present an algebraic specification language which has been designed to sepcify 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 secification of dynamic changes of the graphic representations and of processes. A prototyping tool has been defiend for the lanaguage to generate C++ prototypes of the specifications.