In this paper we introduce a constraint-based language that has a visual syntax, and allows for the declarative speciication of the display of data. Other features of the proposed language include: (1) simplicity and genericity of the basic constructs; (2) ability to specify a variety of displays (graphs, bar charts, pie charts, etc.); (3) compatibility with the object-oriented framework of the database language doo-dle. We provide the syntax and the semantics of the language, and examples of applications that demonstrate the expressiveness of our language. 1.1 Introduction Mappings between the data domain and the visual domain are commonly used for extracting information from the data by reasoning in the visual domain 3, 12]. For example, Venn diagrams are visual representations of abstract sets and of their inclusion relationships. Other diagrams are close to the concrete entities that they represent, such as transportation and communication networks. Bar charts, pie charts, and plot charts can facilitate the comprehension of large amounts of quantitative data 20]. In this paper we present a visual constraint-based language, called U-term language , to specify the geometric layout of pictures (e.g., as displayed on a computer screen), i.e., sets of graphical objects. Syntactically, a picture is a well-formed sentence in a visual language. Pictures in the U-term language are called U-terms, and are used to specify pictures on the computer screen. We have designed the U-term language to provide: A declarative and visual speciication of pictures with simple and generic constructs. The ability to specify a variety of pictures such as graphs, bar charts, and pie charts, using Cartesian or polar coordinates. Easy integration in an object-oriented framework. This paper does not address constraint satisfaction issues, which are covered elsewhere 8], and summarized in a later section. Previous work on data display speciication includes constraint-based languages that have a textual syntax, such as TRIP 13], which uses Prolog terms and functors
[1]
T. C. Nicholas Graham,et al.
GVL: a graphical, functional language for the specification of output in programming languages
,
1990,
Proceedings. 1990 International Conference on Computer Languages.
[2]
Michael Kifer,et al.
Logical foundations of object-oriented and frame-based languages
,
1995,
JACM.
[3]
Eric J. Golin,et al.
The specification of visual language syntax
,
1990,
J. Vis. Lang. Comput..
[4]
Isabel F. Cruz,et al.
DOODLE: a visual language for object-oriented databases
,
1992,
SIGMOD '92.
[5]
Ashim Garg,et al.
Drawing Graphs by Example Efficiently: Trees and Planar Acyclic Digraphs
,
1994,
GD.
[6]
S.P. Reiss.
A framework for abstract 3D visualization
,
1993,
Proceedings 1993 IEEE Symposium on Visual Languages.
[7]
Alan Borning,et al.
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
,
1981,
TOPL.
[8]
N. Hari Narayanan,et al.
Reasoning with Diagrammatic Representations: A Report on the Spring Symposium
,
1993,
AI Mag..
[9]
Alberto L. Sangiovanni-Vincentelli,et al.
Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits
,
1993,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[10]
Ioannis G. Tollis,et al.
Algorithms for Drawing Graphs: an Annotated Bibliography
,
1988,
Comput. Geom..
[11]
Isabel F. Cruz,et al.
User-defined visual query languages
,
1994,
Proceedings of 1994 IEEE Symposium on Visual Languages.
[12]
Christopher J. Van Wyk,et al.
A High-Level Language for Specifying Pictures
,
1982,
TOGS.
[13]
Fred Lakin.
Visual Grammars for Visual Languages
,
1987,
AAAI.
[14]
Abraham Silberschatz,et al.
Database System Concepts
,
1980
.
[15]
Alberto O. Mendelson,et al.
Querying object-oriented databases with user-defined visualizations
,
1994
.
[16]
Edward Rolf Tufte,et al.
The visual display of quantitative information
,
1985
.