2024-03-29T21:26:08Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000335002024-03-29T05:26:34Z01164:02735:02778:02783
Prologプログラム図の属性グラフ文法に基づく定式化Formalization of Prolog Program Diagrams on the Basis of an Attribute Graph Grammarjpnhttp://id.nii.ac.jp/1001/00033500/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=33500&item_no=1&attribute_id=1&file_no=1Copyright (c) 2001 by the Information Processing Society of Japan東洋大学工学部安達, 由洋プログラムやその仕様を可視化したプログラム図は,ソフトウェアの開発や教育のための役立つ道具である.我々はPrologプログラムの実行過程を判りやすく可視化するプログラム図を開発してLogichartを名づけた.本論文では,Logichartの生成規則を定式化したLogichart属性グラフ文法について論じる.この文法はLogichart図のグラフ構文規則を定式化したedNCEグラフ文法と,Logichart図を描画するために必要な情報を属性値として計算する意味規則の集合からなる.そして,この意味規則にはある描画制約条件のもとで面積最小となるLogichart図のレイアウト規則が埋め込まれている.Logichart属性グラフ文法に基づいてPrologプログラムの実行過程を可視化するL-VISシステムを実現して,本文法の有効性を確認している.Program diagrams visualizing programs or program specifications are very useful in software development and education. We have developed an intelligible program diagram called Logichart for Prolog visualization. Its syntax rules and layout rules are formalized as a Logichart attribute graph grammar. This grammar is underlain by an NCE graph grammar whose productions are defined to formalize the graph-syntax rules of Logichart diagrams. Semantic rules attached to the grammar's productions are defined in such a way that they can extract the layout information needed to display a Logichart diagram by means of attributes atttached to the nodes of graphs derived by the grammar. The semantic rules are formalized so as to get Logichart diagrams of the least area under a specific drawing condition. We have implemented our Prolog visualization system (called L-VIS) on the basis of the Logichart attribute graph grammar.AN10505667情報処理学会研究報告数理モデル化と問題解決(MPS)200127(2000-MPS-033)13162001-03-152009-06-30