講演抄録/キーワード |
講演名 |
2004-08-05 14:50
ペトリネットを用いたCORBAにおけるコールバック問題の解析 ○高山陽介・太田 淳・辻 孝吉(愛知県立大) |
抄録 |
(和) |
分散オブジェクトシステムにおいて発生するコールバック問題を扱う.
本研究では,分散オブジェクト技術の標準仕様であるCORBAをペトリネットを用いてモデル化し,システムからの視点とペトリネットモデルからの視点の両方から検討・解析を行うことで,新たなデッドロック回避法の提案を行なう. |
(英) |
We analyze the call-back problem generated on the distributed object system.
In this paper, we model CORBA which is the standards of distributed object technology by using Petri net.
First, we investigate and analyze Petri nets models from viewpoints of system and Petri nets models.
Next, we propose new deadlock avoiding methods. |
キーワード |
(和) |
ペトリネット / CORBA / コールバック / デッドロック / 極小サイフォン / / / |
(英) |
Petri Nets / CORBA / call-back / Deadlock / minimal siphon / / / |
文献情報 |
信学技報, vol. 104, 2004年8月. |
資料番号 |
|
発行日 |
2004-07-29 (CST) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|
|