プロセス合成のための支援環境に関する研究

書誌事項

タイトル別名
  • A Synthesizer for Algebraic Processes

この論文をさがす

説明

プロセスの代数的計算システムとしてMilnerのCCSなどが代表的であり,通信プロセスや並行プログラムなどを形式的に記述するために利用される他,検証問題などにも応用できる.その反面,プロセス計算は読解性や記述のし易さに難点がある.そこで筆者らは,μ-calculusによる論理式をプロセスの性質とみなし,与えられた性質からそれらを全て満たすプロセスを合成するアルゴリズムを提案した.本稿では,実用的なプロセス合成へのアプローチとして,このアルゴリズムを用いて実際にプロセスを合成するための支援環境を構築し,試作システムによって実際にプロセスを合成した例を示す.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1572261552100915840
  • NII論文ID
    110002929445
  • NII書誌ID
    AN10464060
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ