This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Parsing Methodology for the Implementation of Visual Systems
December 1997 (vol. 23 no. 12)
pp. 777-799

Abstract—The Visual Language Compiler-Compiler (VLCC) is a grammar-based graphical system for the automatic generation of visual programming environments. In this paper the theoretical and algorithmic issues of VLCC are discussed in detail. The parsing methodology we present is based on the "positional grammar" model. Positional grammars naturally extend context-free grammars by considering new relations in addition to string concatenation. Thanks to this, most of the results from LR parsing can be extended to the positional grammars inheriting the well known LR technique efficiency. In particular, we provide algorithms to implement a YACC-like tool embedded in the VLCC system for automatic compiler generation of visual languages described by positional grammars.

[1] A.V. Aho, R. Sethi, and J.D. Ullman, Compilers, Principles, Techniques and Tools.New York: Addison-Wesley, 1985.
[2] S.-K. Chang, G. Costagliola, G. Pacini, G. Tortora, M. Tucci, B. Yu, and J.S. Yu, "A Visual-Language System for User Interfaces," IEEE Software, vol. 12, no. 2, pp. 33-44, Mar. 1995.
[3] S.S. Chok and K. Marriot, "Automatic Construction of User Interfaces from Constraint Multiset Grammars," V. Haarslev, ed., Proc. IEEE Symp. Visual Languages, pp. 242-249, Sept. 1995.
[4] S.S. Chok and K. Marriot, "Parsing Visual Languages," Proc. 18th Australian Computer Science Conf., Australian Computer Science Comm., vol. 17, no. 1, pp. 90-98, Feb. 1995.
[5] G. Costagliola and S.-K. Chang, "Parsing Linear Pictorial Languages by Syntax-Directed Scanning," Languages of Design, vol. 2, no. 3, pp. 229-248. Elsevier Science, Oct. 1994.
[6] G. Costagliola, A. De Lucia, and S. Orefice, "Towards Efficient Parsing of Diagrammatic Languages," Proc. 1994 Int'l Workshop Advanced Visual Interfaces, pp. 162-171.New York: ACM Press, 1994.
[7] G. Costagliola, G. Tortora, S. Orefice, and A. De Lucia, "Automatic Generation of Visual Programming Environments," Computer, vol. 28, no. 3, pp. 56-66, Mar. 1995.
[8] G. Costagliola, A. De Lucia, S. Orefice, and G. Tortora, "Efficient Parsing of Data-Flow Graphs," Proc. Seventh Int'l Conf. Software Eng. and Knowledge Eng., (SEKE '95),Rockville, Md., pp. 226-233, June 1995.
[9] C. Crimi, A. Guercio, G. Pacini, G. Tortora, and M. Tucci, "Automating Visual Language Generation," IEEE Trans. Software Eng., vol. 16, no. 10, pp. 1,122-1,135, Oct. 1990.
[10] C. Crimi, A. Guercio, G. Nota, G. Pacini, G. Tortora, and M. Tucci, "Relation Grammars and Their Application to Multi-Dimensional Languages," J. Visual Languages and Computing, vol. 2, pp. 333-346.London: Academic Press, 1991.
[11] M. Erwig and V. Meyer, "Heterogeneous Visual Languages—Integrating Visual and Textual Programming," V. Haarslev, ed., Proc. IEEE Symp. Visual Languages, Sept. 1995.
[12] J. Feder, "Plex Languages," Information Science, vol. 3, pp. 225-241, 1971.
[13] F. Ferrucci, G. Pacini, G. Tortora, M. Tucci, and G. Vitiello, "Efficient Parsing of Multi-Dimensional Structures," Proc. IEEE Workshop Visual Languages, pp. 105-110, 1991.
[14] E.J. Golin and T. Magliery, "A Compiler Generator for Visual Languages," Proc. IEEE Workshop Visual Languages, pp. 314-321. IEEE CS Press, 1993.
[15] E.J. Golin, "Parsing Visual Languages with Picture Layout Grammars," J. Visual Languages and Computing, vol. 2, pp. 1-23.London: Academic Press, 1991.
[16] R. Helm and K. Marriott, "Declarative Specification of Visual Languages," Proc. IEEE Workshop Visual Languages, pp. 98-103. IEEE CS Press, 1990.
[17] R. Helm, K. Marriott, and M. Odersky, "Building Visual Language Parsers," S.P. Robertson, G.M. Olson, and G.S. Olson, eds., Human Factors in Computing Systems: CHI'91 Conf. Proc., pp. 105-112,Amsterdam: Addison-Wesley, 1991.
[18] S.C. Johnson, "YACC: Yet Another Compiler Compiler,"Murray Hill, N.J.: Bell Laboratories.
[19] R. Lutz, "Chart Parsing of Flowgraphs," Proc. 11th Int'l Joint Conf. on Artificial Intelligence, pp. 116-121, 1989.
[20] R. Lutz, "Chart Parsing of Attributed Structure-Sharing Flowgraphs with Tie-Point Relationships," Proc. Third Int'l Workshop Parsing Technologies, pp. 145-158, 1989.
[21] K. Marriott, "Constraint Multiset Grammars," Proc. IEEE Symp. Visual Languages, pp. 118-125. IEEE CS Press, 1994.
[22] R.V. Rubin, J. Walker II, and E.J. Golin, "Early Experience with the Visual Programmers Workbench," IEEE Trans. Software Eng., vol. 16, no. 10, pp. 1,107-1,121, Oct. 1990.
[23] M. Tucci, G. Vitiello, and G. Costagliola, "Parsing Nonlinear Languages," IEEE Trans. Software Eng., vol. 20, no. 9, Sept. 1994.
[24] M. Tucci, F. Ferrucci, G. Pacini, G. Satta, M.I. Sessa, G. Tortora, and G. Vitiello, "Symbol-Relation Grammars: A Formalism for Graphical Languages," Information and Computation, to appear.
[25] L.M. Wills, "Automated Program Recognition by Graph Parsing," PhD thesis, Boston: MIT, 1992.
[26] K. Wittenburg, "Earley-Style Parsing for Relational Grammars," Proc. 1992 IEEE Workshop on Visual Languages, pp. 192-199. IEEE CS Press, 1992.
[27] "Special Issue on Visual Programming," Computer, vol. 28, no. 3, Mar. 1995.

Index Terms:
Visual programming environments, multidimensional grammars, visual parser generation, pLR parsing, flow-graph languages.
Citation:
Gennaro Costagliola, Andrea De Lucia, Sergio Orefice, Genoveffa Tortora, "A Parsing Methodology for the Implementation of Visual Systems," IEEE Transactions on Software Engineering, vol. 23, no. 12, pp. 777-799, Dec. 1997, doi:10.1109/32.637392
Usage of this product signifies your acceptance of the Terms of Use.