講演名 | 1998/12/3 移動性を考慮した有限状態モデルに基づく並行システムの仕様化 板橋 吾一, 高橋 薫, 加藤 靖, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 並行システムにおいては, エンティティ(システム構成要素)間の結びつきによって相互作用が行われ, 結びつきはシステム全体の構造を決定する.このような並行システムにおいては, 結びつきが静的だけではなく動的にも確立・切断され, さらにはエンティティ自身が自由に移動する場合もある.このようなシステムの挙動は一般に複雑であり, システムの設計は困難なものとなる.本稿では, エンティティを通信型有限状態機械の概念でモデル化し, エンティティの移動に伴う結びつきの動的変化を陽に考慮することによって, 並行システムのモデル化および形式的仕様の方法を提案する.エンティティ間の結びつきはチャネルによって表現される.チャネルをエンティティ間で受け渡しすることによって, エンティティ間の結びつきを柔軟に表現する. |
抄録(英) | In a distributed concurrent system, interactions take place via associations among entities (i.e.system components), and the associations determine the structure of the whole system. In such a system, an association is not only statically but also dynamically established and disconnected. Moreover, an entity itself can arbitrarily migrate over the system. The behavior of such a system is generally complicated, and thus its design becomes hard. In this paper, we propose a modeling and formal specification method. In this method, an entity is modeled using the concept of a communicating finite state machine, and it considers a dynamic change of an association involved in migration of the entity. Associations among entities are expressed by using a channel, and can be flexibly handled by passing a channel among the related entities. |
キーワード(和) | 並行システム / 移動性 / 有限状態モデル / 仕様化 |
キーワード(英) | concurrent systems / mobility / finite state model / specification |
資料番号 | SS98-30 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 1998/12/3(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 移動性を考慮した有限状態モデルに基づく並行システムの仕様化 |
サブタイトル(和) | |
タイトル(英) | Specification of a Concurrent System based on Finite State Model Considering Mobility |
サブタイトル(和) | |
キーワード(1)(和/英) | 並行システム / concurrent systems |
キーワード(2)(和/英) | 移動性 / mobility |
キーワード(3)(和/英) | 有限状態モデル / finite state model |
キーワード(4)(和/英) | 仕様化 / specification |
第 1 著者 氏名(和/英) | 板橋 吾一 / Goichi ITABASHI |
第 1 著者 所属(和/英) | 仙台電波工業高等専門学校 Sendai National College of Technology |
第 2 著者 氏名(和/英) | 高橋 薫 / Kaoru TAKAHASHI |
第 2 著者 所属(和/英) | 仙台電波工業高等専門学校 Sendai National College of Technology |
第 3 著者 氏名(和/英) | 加藤 靖 / Yasushi KATO |
第 3 著者 所属(和/英) | 仙台電波工業高等専門学校 Sendai National College of Technology |
発表年月日 | 1998/12/3 |
資料番号 | SS98-30 |
巻番号(vol) | vol.98 |
号番号(no) | 439 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |