WEKO3
アイテム
A Characterization of Inter-Object Behavior for High Reliability Systems
http://hdl.handle.net/10445/4351
http://hdl.handle.net/10445/4351399f0504-994f-4ff0-b98f-5dabc2358fc1
| Item type | 会議発表論文 / Conference Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2010-11-12 | |||||
| タイトル | ||||||
| タイトル | A Characterization of Inter-Object Behavior for High Reliability Systems | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| アクセス権 | ||||||
| アクセス権 | metadata only access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
| 著者 |
伊藤, 恵
× 伊藤, 恵 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 高信頼性システムの開発に用いられているオブジェクト指向方法論において、システムに含まれるオブジェクト間の相互作用の表現方法として、非本質的な順序関係が含まれない本質的なふるまいのみを記述するためのイベント依存グラフを提案する。イベント依存グラフではオブジェクト間通信や相互作用の特徴付けや記述が行える。 本論文ではイベント依存グラフを用いて、Statechart式通信モデルと呼ばれる通信モデルの特徴付けを行い、またこの通信モデルとある種の非同期的通信モデルの比較を行う。 |
|||||
| 書誌情報 |
Proc. of SCI'99 and ISAS'99 号 1, p. 554-561, 発行日 1999-07-01 |
|||||
| 査読有無 | ||||||
| 値 | あり/yes | |||||
| 研究業績種別 | ||||||
| 値 | 国際会議/International Conference | |||||
| 単著共著 | ||||||
| 値 | 単著/solo | |||||
