有限状態モデルに基づくモバイルシステムの仕様化
スポンサーリンク
概要
- 論文の詳細を見る
並行システムにおいては,エンティティ(システム構成要素)間の結びつきによって相互作用が行なわれ,結びつきはジステム全体の構造を決定する.この並行システムの1つとしてモバイルシステムが挙げられる.モバイルシステムにおいて,エンティティはシステム内を自由に移動し,結びつきは静的なだけでなく動的にも確立・切断されている.このようなシステムの挙動は一般に複雑であり,システムの設計も難しくなる.本稿では,まずエンティティの存在する場を導入し相互作用を局所的なものとして扱う.そしてエンティティを通信型有限状態機械の概念でモデル化し,エンティティの移動と結びつきの動的変化を陽に考慮することによって,モバイルシステムのモデル化及び形式的仕様化法を提案する.
- 一般社団法人情報処理学会の論文
- 1999-07-15
著者
-
板橋 吾一
(株)サイエンティア
-
加藤 靖
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校
-
板橋 吾一
株式会社サイエンティア
-
高橋 薫
仙台高等専門学校
-
加藤 靖
仙台電波工業高等専門学校情報工学科
-
板橋 吾一
仙台電波工業高等専門学校
関連論文
- 4H-5 遠隔型健康福祉サービスによる生活習慣の継続的モニタリングに関する実践研究(医療分野への応用(3),一般セッション,コンピュータと人間社会)
- 4H-4 生活習慣の継続的モニタリングと行動変容に応じた健康改善サービスの実践的検証 : 健康モデルに基づいた個人に適した健康改善サービスの構築を目指す(医療分野への応用(3),一般セッション,コンピュータと人間社会)
- 生活習慣病に対する疾病予防システムの設計開発 : 今後の研究実施計画とこれまでの成果を中心に(セッション6: 災害時通信・ヘルスケア)
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 共生コンピューティングに基づく利用者にやさしい見守り支援システムの提案(ユビキタスネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化
- オントロジーに基づいた暗号学習用のe-Learningシステム(e-Learning教育システムの成果と目指すべきもの/一般)
- オートマトンモデルに基づいたディジタルロジックの仕様化と検証
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- エージェントによるファイル交換システム
- エージェントによるアプリケーション共有
- 種々の手法によるディジタルロジックの仕様記述とそれらの比較
- 複数グループ間におけるスケジュール調整支援システムの開発
- オブジェクト指向を導入した状態マシン記述
- A State Machine with Time Constraint
- エージェントフレームワークDASHを用いたスケジュール管理システムノ設計ト実装
- 契約ネットプロトコルの形式的仕様化と解析
- 状態マシンモデルに基づいた並行システムの複合的仕様化手法
- 命題論理に基づいた並行システムの制約付き仕様記述
- 2G-2 中山間地を対象とした次世代ヘルスケアシステムを基盤とする地域振興に関する研究(地域情報システム,一般セッション,コンピュータと人間社会)
- F-026 健康福祉に関する領域オントロジの構築(F分野:人工知能・ゲーム)
- 場と有限状態機械の概念に基づいたモバイル並行システムの仕様化手法とその適用(マルチメディアコミュニケーションシステム)
- 有限状態モデルに基づくモバイルシステムの仕様化
- 移動性を考慮した有限状態モデルに基づく並行システムの仕様化
- 動的再構成システムの仕様化と検証
- (41) マルチタスクOS教育用マイクロコンピュータシステムの開発(第2セッション 教材の開発-II)
- (40) スパイラル方式に基づくマイクロコンピュータ応用技術教育の実践方式(第2セッション 教材の開発-II)
- (39) 基礎原理の理解を目指した論理回路実習用ボードの開発(第1セッション 教材の開発-I)
- (38) 高専における体系的ディジタル技術教育の実践(第1セッション 教材の開発-I)
- 高専における実践的マイクロコンピュ-タ教育の一方法
- Composition Method of Service and protocol Specifications
- 並行計算πFを用いたモバイルシステム管理
- 動的再構成システム仕様の挙動検証
- 地理的制約を考慮した並行計算
- 位相的観点に基づく段階的仕様記述
- 位相的観点からの仕様記述
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- μITRONに準拠した16ビットボ-ドコンピュ-タシステムの開発
- セル構造オ-トマンの様相集合の特性化
- 一次元一様構造オ-トマトンの安定様相について-2-安定様相の個数及び増加率
- 一次元一様構造オ-トマトンの安定様相について-1-安定様相の生成能力に関する関数の類別と等価変換
- 形式的手法によるWebアプリケーションのモデル化と検証
- オブジェクト指向を導入した状態マシン記述
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 並行計算πFを用いたモバイルシステム管理
- 有限状態モデルに基づくモバイルシステムの仕様化
- 相互接続試験系列生成システム : TESGEN
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- LOTOSグラフィックエディタの構成
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- K-006 生活習慣の継続的モニタリングと行動変容に応じた健康改善サービスの実践的検証 : 健康モデルに基づいた個人に適した健康改善サービスの構築を目指す(教育工学・福祉工学・マルチメディア応用,一般論文)
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- 命題論理に基づく要求仕様の詳細化とその支援
- LOTOS仕様の実装法に関する一考察
- 携帯電話向けWWWページ作成の実習授業への導入
- (71)Webページ作成による教育事例 : 携帯電話向けWebページの作成(マルチメディア(I),第17セッション)
- オブジェクト指向に基づいた分散処理OSの設計と実現
- ピアエンティティ生成に基づくプロトコル合成法
- 通信システムのサービス仕様の変更に基づくプロトコル仕様の自動変更法とその応用
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- 相互運用性試験アーキテクチャに関する一考察
- SDL仕様のLOTOSによる解釈
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について
- SAL : LOTOS仕様の意味解析支援システム : 実現方式
- SAL : LOTOS仕様の意味解析支援システム : 目的と概要
- 自学型習熟度別プログラミング教育について
- 通信システム仕様の合成支援環境の設計と実現
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- 高度化再編による仙台高専の誕生