Title :
Graph Grammar Induction on Structural Data for Visual Programming
Author :
Ates, Keven ; Kukluk, Jacek ; Holder, Lawrence ; Cook, Diane ; Zhang, Kang
Author_Institution :
Texas Univ., Dallas, TX
Abstract :
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph grammars. As graph grammars are usually constructed manually, construction can be a time-consuming process that demands technical knowledge. Therefore, a technique for automatically constructing graph grammars - at least in part - is desirable. An induction method is given to infer node replacement graph grammars. The method operates on labeled graphs of broad applicability. It is evaluated by its performance on inferring graph grammars from various structural representations. The correctness of an inferred grammar is verified by parsing graphs not present in the training set
Keywords :
formal verification; graph grammars; visual languages; visual programming; computer programs; graph grammar induction; node replacement graph grammars; parsing graphs; structural data; visual programming languages; Application software; Automatic control; Computer languages; Inference algorithms; Machine learning; Management training; Production; Tree data structures; Unified modeling language; XML;
Conference_Titel :
Tools with Artificial Intelligence, 2006. ICTAI '06. 18th IEEE International Conference on
Conference_Location :
Arlington, VA
Print_ISBN :
0-7695-2728-0
DOI :
10.1109/ICTAI.2006.61