構造を持ったプロセス仕様の分割法
スポンサーリンク
概要
- 論文の詳細を見る
本稿では構造を持ったプロセス仕様の分割法を提案する.分割法は,情報通信システムに代表される大規模・複雑なシステムをトップダウンアプローチを用いて構成する上で,重要な役割をはたす.本稿で提案する分割法は,並列合成に代表される構造を持ったプロセス仕様を,そのプロセスを構成するアクション集合の分割をもとに分割する.分割後のプロセスの並行動作が,分割前のプロセスの動作と何らかの等価性を持つことが要求される.そのため,提案する分割法は,分割後のプロセスの並行動作を,分割前の動作と観測等価にするための同期アクションで構成された付加プロセスを自動合成する.
- 一般社団法人情報処理学会の論文
- 1995-05-25
著者
関連論文
- 事例ベースを用いたやわらかいビデオ会議システムの構成
- ヒューマンインタフェースシンポジウム2009報告
- マルチメディア教材を用いた対話的教授のためのシナリオに基づく教授設計手法
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- マルチモーダルユーザインターフェースを備えた高次コミュニケーション空間の構築に関する研究開発通信放送機構委託研究(1997-2001)
- WWW利用者特性を反映したディレクトリサービスに関する一考察
- 分散環境を用いた研究活動支援システム
- 分散環境を用いた研究活動支援システム
- 分散発想支援でのコミュニケーションにおけるマルチメディアの利用の有用性に関する実験的考察
- マイクロシナリオ分析ツール
- 教師の対話的な教授行動に着目したDouble Loop教授設計プロセスモデル
- CHI 2001参加報告 : Conference on Human Factors in Computing Systems
- ネットワーク社会を目指した拡張現実感技術による情報提示法と情報操作法
- ネットワークミドルウェアの運用支援システムの設計
- ズーム情報を利用した適応型遠隔カメラ制御法(マルチメディアコミュニケーションシステム)
- 分散協調型通信ソフトウェア開発支援システムの構成(その2)
- 分散協調型通信ソフトウェア開発支援システムの構成(その1)
- メタファーネットワークにおけるサービス記述環境の構築
- マルチメディア教材を用いた対話的な遠隔授業のための教授設計手法とそのための教授システム(セッション4: ミドルウェア・アプリケーション)
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- RIDEE-SPS:リアルタイム双方向遠隔教育環境のプレゼンテーションシステム(高速ネットワークとマルチメディアアプリケーション)
- J-059 視覚的探索タスクにおける触力覚効果の検証(J分野:ヒューマンコミュニケーション&インタラクション,一般論文)
- 忠実度の異なる素材の再利用性を考慮したプロトタイプ構築支援(ソフトウェア開発環境・開発支援システム, システム開発論文)
- A Framework and System for Scenario-Based Instructional Design and Implementation
- Professional vs. Non-Professional Designer's Ideas Generated using Photo Essays and Scenarios (第30回ヒューマンインタフェース研究会 ウェアラブル&ユーザビリティ)
- Double Loop: A Model of Scenario-Based Instructional Design and Implementation
- シナリオの系統的な発展・分析作業による参加型の要求獲得
- 情報ネットワーク上の遠隔ユーザビリティ評価システム開発 : 仮想テストルームの開発
- シナリオにもとづく設計法の現状分析
- ユーザの視点を取り入れる技術 : システム開発におけるシナリオの役割
- 情報ネットワーク上の遠隔ユーザビリティ評価システム開発--仮想テストルームの開発 (第6回ヒューマンインタフェース学会研究会 ギガビットネットワーク/インターネットとマルチメディア)
- 命題論理に基づく要求仕様の詳細化とその支援
- プロセス仕様の等価性に基づく分割法の拡張
- 相互関係を利用した取引相手情報の獲得支援
- 相互関係を利用した取引相手情報の獲得支援
- WWW利用者特性を反映したディレクトリサービスに関する一考察
- 研究活動支援システムにおける研究情報の蓄積機構
- 研究活動支援システムにおける研究情報の蓄積機構
- LOTOS仕様の再利用性に基づくプロトコル仕様の系統的生成法
- 研究活動支援における個人情報再利用エージェント
- 研究活動支援における個人情報の蓄積・管理とその再利用法に関する考察
- 研究活動支援における個人情報の蓄積・管理とその再利用法に関する考察
- 研究活動支援における個人情報の蓄積・管理とその再利用法に関する考察
- やわらかいビデオ会議システムにおけるエージェントの協調戦略知識の構成
- やわらかいビデオ会議システムにおけるエージェントの協調戦略知識の構成
- やわらかいビデオ会議システムにおけるn者間会議サービスの実現法
- やわらかいビデオ会議における利用者指向インタフェース
- やわらかいビデオ会議システムのn者間協調プロトコル
- やわらかいビデオ会議における利用者指向インタフェース
- やわらかいビデオ会議システムのn者間協調プロトコル
- やわらかいビデオ会議における利用者指向インタフェース
- やわらかいビデオ会議システムのn者間協調プロトコル
- 構造化シナリオ手法の提案
- マルチエージェントに基づく情報検索システム
- マルチメディアGUI開発支援環境における事例再利用機構の実現について
- マルチエージェントシステムの実装方法に関する一考察
- 事例再利用に基づくマルチメディアオーサリング支援環境の構築
- 3V-6 やわらかいビデオ会議システムにおける競合解消手法の提案
- エージェントを用いた非同期メッセージングシステムの設計と実装
- 利用者要求に基づくコンポーネントウェアの配信・合成法
- エージェントを用いた非同期メッセージングシステムの提案
- タッチスクリーン用ソフトウェアキーボードへの物理的手がかりの付与
- タッチスクリーン上でのタッピングによるメニュー選択のショートカット
- カーソル制御によるポインティングタスクの効率化支援
- やわらかいネットワークにおけるユーザ要求の獲得に関する一考察
- HCDと構造化シナリオ手法 : 概要と活用事例(ヒューマンセンタードデザイン(HCD))
- 命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用
- 情報ネットワーク上の遠隔ユーザビリティ評価システム開発 : 仮想テストルームの開発
- 通信ソフトウェアのやわらかい開発法に関する一考察
- 構造を持ったプロセス仕様の分割法
- プロセス代数仕様の分割法の提案
- 等価性に基づく LOTOS 仕様の記述スタイル変換法
- LOTOS仕様の等価性に基づく記述スタイル変換法とその応用
- コミュニティ指向ネットワークミドルウェアにおけるグループ認証手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- コミュニティ指向ネットワークミドルウェアにおけるグループ認証手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- コミュニティ指向ネットワークミドルウェアにおけるグループ認証手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 心的状態に基づくエージェントコミュニケーションとその機構
- 緑内障研究の進歩 : より質の高い緑内障診療を目指して