Diagrammatic spreadsheet

• Autorzy: Le T. L. , Kulpa Z.
• Języki publikacji: EN

Abstrakty

EN

The diagramatic spreadsheet concept to develop a fully interactive animated diagrammatic system in which the transformation and animation of the diagram is interactively avaible to the user in a click-and-drag mode, and the description of what elements can move, and in what way (according to the required constraints between their components) can be also easily and interactively defined by the user. A constraint is used here like a formula in a spreadsheet, which is employed to automatically recompute the value of a cell whenever any other cells bound to it by the constraint undergo change. The graphical elements of the diagram play the role of spreadsheet cells, and their various attributes constitute the cell contents. The system may be used by human users for interactive exploration of diagrammatic representation and reasoning problems, or as a front-end to a more automatic diagrammatic inference system. In the paper, an overview of this concept and general construction principles of the system are described.

Słowa kluczowe

EN

diagrams; diagrammatic representation; diagrammatic reasoning; graph transformation; diagrammatic speadsheed; CP -graphs

• Wydawca: Institute of Information Technology of the Warsaw University of Life Sciences – SGGW
• Czasopismo: Machine Graphics and Vision
• Rocznik: 2003
• Tom: Vol. 12, No. 1
• Strony: 133--146
• Opis fizyczny: Bibliogr. 11 poz., rys.

Twórcy

autor

Le T. L.

• Polish-Japanes Institute of Information Technology, ul. Koszykowa 86, 02-008 Warsaw, Poland

autor

Kulpa Z.

• Institute of Fundamental Technological Research PAS, ul. Świętokrzyska 21, 00-049 Warsaw, Poland

Bibliografia

• [1] Arnheim R.: Visual Thinking. University of California Press, Berkeley, CA. 1969.
• [2] Borning A.: The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Trans.on Programming Languages and Systems, 3(4), 353-387. 1981.
• [3] Grabska E.: Theoretical concepts of graphical modeling. Part one: realization of CP-graphs. MG&V, 2(1), 3-38. 1993.
• [4] Gleicher M., Witkin A.: Drawing with constraints. The Visual Computer, 11, 39-51. 1994.
• [5] Kulpa Z.: Diagrammatic representation for a space of intervals. MG&V, 6(1), 5-24. 1997.
• [6] Kulpa Z., Le T.L.: Characterization of convex and pointisable interval relations by diagrammatic methods. MG&V, 9(1/2), 221-231. 2000.
• [7] Lindsay R. K.: Playing with diagrams. Anderson M., Cheng P., Haarslev V. (Eds.): Theory and Application of Diagrams: Proc. First Int. Conf., Diagrams. LNAI, 1889:J, S-V, 300-313. 2000.
• [8] Kulpa Z.: Diagrammatic representation for interval arithmetic. Linear Algebra and Its Applicaions, 324, 55-80. 2001.
• [9] Winterstein D., Bundy A., Gurr C., Jamnik M.: Using animation in diagrammatic theorem proving. Hegarty M., Meyer B., Narayanan H. (Eds.): Theory and Application of Diagrams: Proc. Second Int. Conf. Diagrams, LNAI, 2317, S-V, 46-60. 2002.
• [10] Kulpa Z. Diagrammatic analysis of interval linear equations. Part 1: Basic notions and the one-dimensional case. Reliable Computing, 9(1), 1-20. 2003.
• [11] Kulpa Z. Diagrammatic analysis of interval linear equations. Part 2: The two-dimensional case and generalization to n dimensions. Reliable Computing, 9(3), 205-228. 2003.