プロセス代数仕様の分割法の提案
スポンサーリンク
概要
- 論文の詳細を見る
情報通信システムなどの大規模・複雑なシステムの開発法は一般に(1)分割・詳細化による方法と(2)部品合成による方法の2つに分けられる.筆者らはすでに(1)の方法に基づき,LOTOSで記述されたシステムの仕様の系統的な分割法を提案した.しかしこの分割法は,(a)同一アクション名は高々一度しか記述されていない,(b)再帰がない,(c)内部アクションがないという制限を持ったプロセスのみを分割の対象としていた.本稿では,(b)の制限を除いたプロセスに対するより一般的な分割法を提案し,その正当性を示す
- 一般社団法人情報処理学会の論文
- 1994-09-20
著者
関連論文
- 情報処理学会,これからの50年(特別インタビュー,写真で綴る情報処理学会全国大会50年史,50周年記念特集号)
- 現実空間での社会的振舞を活用した柔軟かつ安全なアクセス制御方式(マルチメディアとコンテンツ共有,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- LM-009 P2Pネットワークのための分散ハッシュ型認証手法(ユビキタス・モバイルコンピューティング)
- 社会的関係を活用した第三者に対する柔軟かつ安全なアクセス制御(セッション1:アプリケーション)
- 利用者の知覚に基づく3次元共有空間の動的QoS制御方式(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- 周辺状況を利用した通学時の子供の目的地推定機能(ユビキタスNW,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- モバイルネットワーク環境におけるネットワーク構成情報の可視化手法の提案(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 共有情報制御による効果的な共同作業支援(セッション1:アプリケーション)
- モバイル環境のためのハンドオフ検出型TCPの提案(セッション1: プロトコル)
- ヒューマンインタフェースシンポジウム2009報告
- マルチメディア教材を用いた対話的教授のためのシナリオに基づく教授設計手法
- 確率的時間論理に基づくフォールトモデルを用いた診断方法
- 健康支援システムにおける生体情報の効果的な獲得手法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 共生コンピューティングの形式化に関する一考察(情報社会のデザイン:Inter Societyと実世界アプリケーション)
- 共生コンピューティングに基づく地域情報基盤とその応用(Inter Society(1),Inter Society-ユビキタスネットワーク社会における知的協調・連携基盤の創造)
- 共生コンピューティング(3) : 子供とお年寄りの見守り事例(Inter Society(1),Inter Society-ユビキタスネットワーク社会における知的協調・連携基盤の創造)
- 共生コンピューティングに基づく地域情報基盤とその応用
- 1. Symbiotic Computing : ポスト・ユビキタス情報環境へ向けて(シンビオティック・システムの実現に向けて-人,社会,環境,情報システムの協調系-)
- 共生型3次元仮想空間の構成とその応用に関する一考察(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- ユビキタス環境向けエージェントプラットフォームのための適応型通信機構の設計(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- コンテクストアウェアサービスのためのマルチエージェントに基づく適応型情報管理方式の提案(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
- 共生コンピューティングに基づくグループ学習の効果的な支援手法(ソーシャルNW,トポロジ,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- 共生コンピューティングに基づく利用者にやさしい見守り型健康支援システムの設計(ユビキタスNW,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- やさしい見守り型健康支援システムの実現に向けて(セッション3:ユビキタス(1))
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 共生コンピューティングに基づく利用者にやさしい見守り支援システムの設計(情報社会のデザイン:Inter Societyと実世界アプリケーション)
- ネットワーク管理におけるイベントのリアルタイム識別の実現のためのログ要約手法の提案と評価(ネットワークセキュリティ,ユーザ指向の分散システム/インターネットの運用・管理)
- ユビキタス環境におけるマルチエージェントに基づくコンテクスト情報管理方式の提案(ユビキタスネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- LO_002 uEyes : 見る側と見られる側の双方にやさしいリアルタイム見守り支援システムの提案(O分野:情報システム)
- LL_013 QuViE/P : 3次元仮想空間における利用者の知覚に基づく新しいQoS制御方式の提案と応用(L分野:ネットワークコンピューティング)
- LL_002 ネットワーク管理におけるイベントのリアルタイム識別の実現へ向けたログ要約手法の提案(L分野:ネットワークコンピューティング)
- 多人数参加型リアルタイム通信における参加者毎の品質要求に応じた資源割当と中継ツリー構築手法(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- ユビキタス環境におけるサービス移転先端末選択のためのネットワーク情報の取得及びその応用手法(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- トラフィック異常検出とログマイニングの組み合わせによるネットワークイベントの自動要約(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- 差分フィルタを用いたトラフィック解析とログマイニングによるネットワークイベントの自動判断(セッション2: 分散システム)
- 3D共生空間上の位置とネットワーク資源を考慮したビデオ品質制御手法(セッション7: 臨場感通信)
- ユビキタス環境におけるコンテクストを考慮したマルチメディア通信システム(セッション4: ミドルウェア・アプリケーション)
- 多対多ビデオ会議システムのためのアプリケーションマルチキャストツリー構成手法の提案と実装(セッション4: ミドルウェア・アプリケーション)
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- ユビキタス環境向けミドルウェアにおけるエージェント間の関係に基づく動的サービス構成法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- マルチエージェントに基づくQoSアウェアな3次元共有空間の設計と実装(セッション6A : 移動体ネットワークとエージェント(2))
- マルチモーダルユーザインターフェースを備えた高次コミュニケーション空間の構築に関する研究開発通信放送機構委託研究(1997-2001)
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- オブジェクト指向を導入した状態マシン記述
- 契約ネットプロトコルの形式的仕様化と解析
- 命題論理に基づいた並行システムの制約付き仕様記述
- 分散部分空間結合に基づく開放型アプリケーション連携法(ネットワークコミュニティ,ネットワークを支えるソフトウェア技術論文)
- 5D-6 多様な環境に適応した自動的なネットワークイベントの識別へ向けたトラフィックとログの相関導出方式の検討(ネットワーク運用管理,一般セッション,ネットワーク)
- 多対多マルチメディア通信のための反復型アプリケーション層マルチキャストトリー構成法(ネットワーク,通信技術の未来を拓く学生論文)
- 多人数参加型マルチメディア通信のための反復型アプリケーションレイヤマルチキャストツリー構成法の実証と実環境評価(解析,一般,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- BK-1-6 反復型ミドルウェアレベルマルチキャストツリー構成法の実証と評価(BK-1. JGN2の研究開発成果と次世代インターネットへの展開,ソサイエティ特別企画,ソサイエティ企画)
- ネットワークモビリティをサポートする新世代ユビキタスネットワーク監視フレームワーク : 総務省SCOPEプロジェクト(セッション4:無線ネットワーク)
- 高速ネットワークの監視
- ベクトル空間モデルにもとづく情報フィルタリング法
- 高速通信機構のUNIXクラスタへの適用
- ユビキタス環境におけるエージェント指向ビデオ会議システムのフレームワークの設計(セッション5 : 移動体ネットワークとエージェント(1))
- ネバー・ダイ・ネットワークと防災システム(セッション8:ネットワーク(2))
- BS-4-2 プライバシーを考慮した分散認証法の提案(BS-4.ユビキタスネットワークにおけるネットワークセキュリティ,シンポジウムセッション)
- WWW利用者特性を反映したディレクトリサービスに関する一考察
- A-7-2 ユビキタス環境での安全なプライバシー情報の交換についての検討(A-7.情報セキュリティ,一般セッション)
- LAN上の予約データに対して良好な通信品質を提供する帯域予約型データ転送プロトコルの提案
- 新たな50年へ向けて-心に木を植える-
- FDDI LANへのRSVP適用に関する一検討
- FDDI LANへのRSVP適用に関する一検討
- FDDI LANへのRSVP適用に関する一検討
- RTT分布と頻度に基づいたネットワークトラヒック解析(モバイルとインターネットの融合, 一般, インターネットと計測・セキュリティ関連)
- マイクロシナリオ分析ツール
- 教師の対話的な教授行動に着目したDouble Loop教授設計プロセスモデル
- ネットワーク社会を目指した拡張現実感技術による情報提示法と情報操作法
- ズーム情報を利用した適応型遠隔カメラ制御法(マルチメディアコミュニケーションシステム)
- 分散協調型通信ソフトウェア開発支援システムの構成(その2)
- 分散協調型通信ソフトウェア開発支援システムの構成(その1)
- マルチメディア教材を用いた対話的な遠隔授業のための教授設計手法とそのための教授システム(セッション4: ミドルウェア・アプリケーション)
- 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回ヒューマンインタフェース学会研究会 ギガビットネットワーク/インターネットとマルチメディア)
- 命題論理に基づく要求仕様の詳細化とその支援
- プロセス仕様の等価性に基づく分割法の拡張
- LOTOS仕様の再利用性に基づくプロトコル仕様の系統的生成法
- 構造化シナリオ手法の提案
- タッチスクリーン用ソフトウェアキーボードへの物理的手がかりの付与
- タッチスクリーン上でのタッピングによるメニュー選択のショートカット
- カーソル制御によるポインティングタスクの効率化支援
- やわらかいネットワークにおけるユーザ要求の獲得に関する一考察
- HCDと構造化シナリオ手法 : 概要と活用事例(ヒューマンセンタードデザイン(HCD))
- 情報ネットワーク上の遠隔ユーザビリティ評価システム開発 : 仮想テストルームの開発
- 通信ソフトウェアのやわらかい開発法に関する一考察
- 構造を持ったプロセス仕様の分割法
- プロセス代数仕様の分割法の提案
- 等価性に基づく LOTOS 仕様の記述スタイル変換法
- LOTOS仕様の等価性に基づく記述スタイル変換法とその応用