DSpace

Future University Hakodate Academic Archive >
研究者 >
情報アーキテクチャ学科 >
伊藤 恵 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10445/4351

タイトル: A Characterization of Inter-Object Behavior for High Reliability Systems
著者: Ito, Kei
アブストラクト: 高信頼性システムの開発に用いられているオブジェクト指向方法論において、システムに含まれるオブジェクト間の相互作用の表現方法として、非本質的な順序関係が含まれない本質的なふるまいのみを記述するためのイベント依存グラフを提案する。イベント依存グラフではオブジェクト間通信や相互作用の特徴付けや記述が行える。 本論文ではイベント依存グラフを用いて、Statechart式通信モデルと呼ばれる通信モデルの特徴付けを行い、またこの通信モデルとある種の非同期的通信モデルの比較を行う。
研究業績種別: 国際会議/International Conference
資料種別: Conference Paper
査読有無: なし/no
単著共著: 単著/solo
発表雑誌名,発表学会名など: Proc. of SCI'99 and ISAS'99
号: 1
開始ページ: 554
終了ページ: 561
年月日: 1999年7月1日
出現コレクション:伊藤 恵

ファイルダウンロード:

このコンテンツにファイルはありません。

このアーカイブに登録されているコンテンツはすべて著作権により保護されています。
著作権を遵守の上、ご利用ください。

 

Copyright © 2010-2012 FUTURE UNIVERSITY HAKODATE.
Powered by DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard