第073回ＫＡＲＣコロキウムのご案内

第073回ＫＡＲＣコロキウムは終了しました。ご参加ありがとうございました。

開催日時	2006年1月20日(金) 14:30~15:30
開催場所	KARC 第2研究棟 3階 中会議室
講演	「チーム・オートマトン:分散システムをモデル化及び検証する形式上のアプローチ」
講演者	ジョセップ・カルモナ 博士 (カタルニヤ工科大学大学院、スペイン)
講演概要	チーム・オートマトン(Ellis、97)は、分散システムおよびコンポーネント間の相互作用を仕様するそのような システムの形式モデルである。このモデルは、「協力」 及び「同期化」 のような概念を含んでいるので、 増加する興味を引き付けている。これらの概念は現代のコンピューター・システムのデザインおよび検証にだけでなく、 例えば、通常に特定のノードへファイルを送ることで協力する複数のノードを用いるインターネットのアプリケーション でのピア・ツー・ピア・ファイル転送にも重要である。チーム・オートマトンは、無制限の同期、コンポーネントの反応的な 性質、コンポーネントの協力動作および階層的で反復する構造を要求する適用において特に有用である。 この発表では、モデルを紹介し、例の提供によって使用方法に関する直観を与える目標とする。
使用言語	英語
参加費	無料
担当者	情報通信研究機構　関西先端研究センター ナノ機構グループ　　ペパー　フェルディナンド