文献

J-GLOBAL ID：201902269877572442   整理番号：19A1786465

プロセス抽象化によるグラフ書き換えシステムへの対称性の導入【JST・京大機械翻訳】

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

著者 (3件)： Tomioka Taichi (Waseda University, Tokyo, Japan) ,  Tsunekawa Yutaro (Waseda University, Tokyo, Japan) ,  Ueda Kazunori (Waseda University, Tokyo, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11629  ページ： 3-20  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： モデル検査における対称性低減は,モデルの固有の対称性,すなわちそれらのサブコンポーネントの互換性を利用することにより,状態空間を低減するための技術である。モデルの詳細を抽出するモデル抽象化は,しばしばモデルの対称性を強化する。グラフ書換えシステムは,固有の対称性が状態のグラフ同形写像でそれ自身を明示するような方法でモデルを表現することを可能にする。グラフ書換えにおいて,対称性縮小とモデル抽象化の相乗効果をグラフ同形写像の下で得た。本論文では,階層的グラフ書換え言語LMNalで記述された抽象化プログラムのための方法を提案した。この方法は,モデル検査の結果に無関係なグラフ書換えシステムのサブグラフを自動的に発見し,抽象化する。全体のフレームワークは,新しいドメインまたは言語を導入することなく,モデリング言語LMNalの構文と形式的意味論の中で開発される。モデル検査の健全性を保存しながら,対称性低減と組み合わせた提案した抽象化法は状態空間を低減することを示した。LTLモデルチェッカーによるLMNalの実装,SLIMに関する方法を実装し,種々の同時アルゴリズムにより試験し,モデルの対称性をうまく抽出することにより状態数を自動的に低減することを確認した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *対称性 ,  部分グラフ ,  モデル検査 ,  アルゴリズム ,  言語 ,  相乗作用 ,  健全性 ,  互換性
準シソーラス用語： 形式的意味論 ,  構文 ,  モデリング言語 ,  グラフ同型 ,  状態空間 ,  *グラフ書換え , 【Automatic Indexing@JST】

著者キーワード (5件)： LMNTAL ,  グラフ書き換えシステム ,  モデル検査 ,  対称性の低減 ,  抽象化

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： プロセス ,  抽象化 ,  グラフ書き換え ,  対称性