|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 計 ： [けい] 1. (n,n-suf) plan ・ 計算 ： [けいさん] 1. (n,vs) (1) calculation 2. reckoning 3. count 4. (2) forecast
プロセス計算（プロセスけいさん、）またはプロセス代数（プロセスだいすう、）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述するツールである。また、プロセス記述を操作・分析可能にする代数学的規則も提供し、プロセス間の等価性について（双模倣性を使った）形式的推論を可能とする。主な具体例としては、CSP、CCS、ACP がある〔J.C.M. Baeten: ''A brief history of process algebra'' , Rapport CSR 04-02, Vakgroep Informatica, Technische Universiteit Eindhoven, 2004年〕。近年ではこれら以外に π計算(英語)、アンビエント計算、PEPA などもある。 == 基本機能 == プロセス計算には非常に様々な手法が存在するが（分子の相互作用の研究に特化し、確率論的振る舞いやタイミング情報を扱うものもある）、全てのプロセス計算に共通する機能もいくつか存在する〔Benjamin Pierce: “Foundational Calculi for Programming Languages”, The Computer Science and Engineering Handbook, pp. 2190-2207, CRC Press, ISBN 0-8493-2909-4.〕。 * 独立したプロセス間の相互作用を、共有変数の更新ではなく通信（メッセージパッシング）として表現する。 * プロセスやシステムの記述に少数のプリミティブとそれらプリミティブを組み合わせた演算子を使う。 * プロセス演算子の代数学的規則を定義し、プロセスの表現を方程式を解くように操作可能とする。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「プロセス計算」の詳細全文を読む スポンサード リンク
|