文献

J-GLOBAL ID：201102213044175413   整理番号：11A1198297

成分動的進化に基づく挙動コンシステンシー検証方法

Behavior Consistency Verification Method Based on Component Dynamic Evolution

著者 (3件)： MA Chuan (Coll. of Information Sci. and Engineering,Yanshan Univ., Hebei, Qinhuangdao) ,  SHEN Li-min (Coll. of Information Sci. and Engineering,Yanshan Univ., Hebei, Qinhuangdao) ,  WANG Tao (E&A Coll.,Hebei Normal Univ. of Sci. & Technol., Hebei, Qinhuangdao)
資料名： Jisuanji Gongcheng  (Jisuanji Gongcheng)
巻： 36  号： 6  ページ： 80-83  発行年： 2010年 
JST資料番号： C2532A  ISSN： 1000-3428  CODEN： JISGEV  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 動的発展の間の成分の挙動コンシステンシーを確認して,違法な発展を避けるために,本論文は,プロセス代数に基づく成分モデルを提案した。それは成分とそれらの相互作用プロトコルを正式に記述するために,このモデルに開始要求ポートと内部結合を導入して,いくつかの理論と検証アルゴリズムを与えた。用例は,本成分モデルが動的発展の成分インタフェイス適合性,外部の双方向の行動コンシステンシーおよび実行時行動インテグリティを実証することができるということを証明した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *コンシステンシー【計算機】 ,  *生物進化 ,  検証 ,  インタフェイス ,  インテグリティ ,  アルゴリズム ,  プロトコル ,  相互作用
準シソーラス用語： *進化【生物】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 進化 ,  挙動 ,  コンシステンシー ,  検証