プロセス分解代数に基づくデータフロー図の段階的詳細化における変換の一意性と再利用性
スポンサーリンク
概要
- 論文の詳細を見る
構造化分析手法では,データフロー図(DFD)を段階的に詳細化して要求分析する.我々は,これまでに,データストアと内部データフローを考慮したプロセス分解代数を提案し,これを用いてDFDの段階的詳細化作業を定式化している.このプロセス分解代数は,DFDの入出力記号の依存関係から,「抽象化バランスが均等なDFD」を得るための文の変換系である.本稿では,このプロセス分解代数により得られるDFDに対して形式的定義を与え,その性質について理論的考察を加える.特に,(1)提案したプロセス分解代数におけるオペレータを用いると,必ず正規文と呼ぶ「抽象化バランスが均等なDFD」を表現する文が得られる,(2)得られる可能性のある正規文の集合において,一意に定まる代表元が存在し,この正規文の集合の要素から代表元に変換する手続きが与えらる,ことを証明して,変換結果の一意性,すなわち,プロセス分解代数によりDFDが一意に定められることを示す.また,任意の正規文から代表元を求める効率的な計算方法について議論する.さらに,2つの変換結果の合成が可能であり,既存の変換結果を再利用できることを示す.
- 日本ソフトウェア科学会の論文
- 1993-09-16
著者
関連論文
- 5Y-6 興味にもとづくユーザグループ動的生成方式(情報システムの構築(2),一般講演,コンピュータと人間社会)
- 個人の視点に基づいた情報分類方法の提案とその実現例
- 匿名のままの権利行使を可能とした認証方式
- 耐タンパ個人端末を利用し個人情報の保護を可能とした認証方式
- プライバシ保護に注目した証明書を基盤とした認証システムの一方式
- パーソナライズ情報提供方式の提案と評価(マルチメディア通信と分散処理)
- 動的な興味変化を利用したコミュニティ構築方法の検討
- 分散化リコメンドシステムの提案
- ニュース記事のパーソナライズサービス方式の提案と評価
- ニュース記事のパーソナライズサービス方式の提案と評価
- 個人適応型情報フィルタリングシステムの適用評価について
- インターネット上でのインタラクティブマーケティング
- インターネット上でのデータベースマーケティング
- インターネットQoSビジュアライザのための実時間データ処理システムの構成
- インターネットQoSビジュアライザを用いた遅延とジッターの測定
- インターネットQoSビジュアライザの設計と実現
- インターネットQoSビジュアライザにおけるQoS測定方法
- Infoketを用いた電子出版サ-ビスの構成と評価 (特集 エレクトロニックコマ-ス)
- World Wide Webによる情報販売方式
- コミュニティを利用した情報伝達方式
- 広域ネットワークでのコミュニケーションモデルの提案
- 逆導出原理と遺伝的アルゴリズムを用いた規則集合獲得手法GA-CIGOL
- 埋め込み操作を用いたプラン一般化手法
- 逆導出原理と遺伝的アルゴリズムを用いた規則集合獲得手法GA-CIGOL
- 新概念を発見する帰納論理プログラミング手法に関する一提案
- 順序構造を用いたプラン一般化手法について
- プログラムの抽象動作表現を用いた連想検索法
- 非線形的なプランニングにおける一般化手法の提案
- プロセス分解代数に基づくデータフロー図の段階的詳細化における変換の一意性と再利用性
- プロセス分解代数に基づくデータフロー図の段階的詳細化
- プロセス分解代数に基づく要求分析過程の定式化 (知的ソフトウェア技術)
- プロセス分解代数に基づくデータフロー図の段階的詳細化システムの設計と実現
- インターネットにおけるQoSビジュアライザ
- リアクティブ・データフロー型ドキュメントブラウザの実現
- リアクティブ・データフロー型ドキュメントブラウザのためのドキュメント・プログラミング
- プレスブルガー算術を用いたInfeasible Pathの検出
- 経路依存フローグラフのデータフロー計算に基づくプログラムスライス作成法
- PVMプログラムのための再演型デバッガの実現と評価
- 区間設定可能なプログラムスライシングを用いたソフトウェア部品の作成
- 区間限定スライスを用いた再利用部品抽出手法の評価
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- 区間限定スライスを用いた部品作成システムの評価
- 区間限定スライスを用いた部品作成システムの評価
- 要求駆動型再演機能を持つPVMプログラムデバッガXdbxR/PVM
- 経路依存フローグラフを用いたプログラムスライシング
- 適応的再演型ロック命令を用いた並列プログラムデバッガの実現
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- 重み付き依存グラフを用いたソフトウェア部品の洗練
- プログラム・スライシングによるソフトウェア部品の作成
- WSクラスタ型並列IPルータ実験システムCORErouter-I
- 並列IPルータCORErouterにおける並列パケットフィルタ機構の提案
- 非同期通信環境における連続データのQoS保証に関する考察
- WSクラスタを用いたCORErouterプロトタイプの評価
- WSクラスタを用いたCORErouterプロトタイプの構成
- 柔軟でスケーラブルな高性能並列ルータCORErouterの基本構想
- 適応的再演型並列プログラムデバッガのPVM上での実現
- 適応的再演型並列プログラムデバッガのPVM上での実現
- メッセージパッシング型並列プログラムのための適応的再演型デバッガdbxR-II
- 適応的再演型ロック命令を用いた並列プログラムデバッガ
- 適応型ロック機構を用いた並行プロセスのコスケジューリングについて
- ソフトウェア・マイグレーション向き計算環境モデルの作成法
- ソフトウェア・マイグレーション向き計算環境モデルを用いたソフトウェアの実装法
- ソフトウェア・マイグレーションのための計算環境のモデル化
- 広域時計を用いた等時性保証通信の実現法
- 並列分散型連続メディア処理モデルHEARTSにおける同時性保証機構
- EC・情報流通技術の現状と実際(5)パ-ソナル化情報提供サ-ビス
- 細粒度オブジェクト空間を用いたCASEデータベースのトランザクション処理モデル
- リアクティブ・データフロー型ドキュメントブラウザにおけるユーザレベルへの適応表示制御
- リアクティブデータフロー・モデルの基づくドキュメントブラウザの設計と実現
- ソフトウェア意味構成管理モデルにおけるスライシング技法を用いたプログラム解析
- 経路依存フローグラフを用いたInfeasible Path検出における計算量削減法
- 経路依存フローグラフを用いたプログラム解析システム
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたInfeasible Path検出法
- 経路依存フローグラフを用いたプログラム・スライシング
- 意味構成管理システムを用いた修正プログラムにおける相互干渉の検出