複雑な接続関係とその変化をグラフ構造とその書換え作業として表現する能力は，プログラミング言語とモデリング言語の双方にとって重要である．しかしこれまでの言語では，リストや木構造よりも複雑な構造の簡潔な表現と安全な操作，それらを支える型体系の開拓が不十分であった．

本研究では，グラフ書換え言語LMNtalのためのグラフ型概念およびグラフ型検査の枠組みを構築して，その性質を多角的に検討した．最大の特徴は，グラフの型を表現する生成文法をLMNtalの書換え規則の形で表現する点にある．構築した型検査アルゴリズムを実装して，さまざまなグラフ構造に対する実際的な操作の型検査が可能であることを示した．