プロセス記述言語としてのPrologの評価
スポンサーリンク
概要
- 論文の詳細を見る
近年、ソフトウェアの設計・開発プロセスに一定の規則性を見つけ、それを基にプロセスそのものを記述して利用しようとする研究が注目を集めている。プロセスを記述するために、アルゴスミックな言語を用いる立場やルールベースの言語を用いる立場等があるが、どのような方式が妥当であるかについての結論はまだ得られていない。ソフトウェアの設計・開発には、「各個人や状況により作業の進めかたが異なる」「失敗したときに戻るべき場所の特定が難しい」「過去の類似問題と解決方針は同じでも、その詳細は毎回異なる」等の非決定的で動的な特有の現象が見られ、これらをうまく記述できる方式がプロセス記述言語に望まれている。これをふまえて本稿では、非決定性やプロセス実行時の動的な変更を取り扱うことのできるプロセス記述言語の候補としてPrologを取り上げ、実際の設計活動を記述することにより、そのプロセス記述言語としての問題点を明らかにし、その解決方針を述べる。
- 一般社団法人情報処理学会の論文
- 1990-03-14
著者
関連論文
- 6M-8 コードクローン間依存関係に基づいたCプログラムのリファクタリング支援(ソフトウェア開発,学生セッション,ソフトウェア科学・工学)
- 6M-7 ソースコード差分の抽象化による設計変更情報再現支援システムの試作(ソフトウェア開発,学生セッション,ソフトウェア科学・工学)
- 2Q-3 メッセージ制御による分散システムのテスト・デバッグ支援(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 6N-9 プログラムの構文解析木を対象とするデータマイニングを利用したデバッグ支援システムの開発(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- オンラインレポート添削支援システムにおけるターンアラウンド時間の分析(教育支援,情報教育〜理念・理論・実践〜)
- リファクタリング箇所特定支援のためのパターン記述言語(テスト技法・保守技術)
- N-015 Web技術を用いた実験レポート添削支援システムの開発と評価(N分野:教育・人文科学)
- データの類似性に注目した生活密着型センサアプリケーション開発手法(位置情報とセンサ応用)
- データの類似性に注目した生活密着型センサアプリケーション開発手法
- センサデータからコンテキスト抽出を行うためのビデオ動画を利用したコンテキスト手動付与ツール
- 少ない回数で行える分割検証支援ツールの開発
- 分散プログラム用デバッガDDBにおけるバグ存在範囲の半自動特定法
- 5C-4 Pascal風言語に対するプログラムスライスの並列化
- プログラム変更に対処し易いプログラム依存グラフの一変種
- ベクトル時間を用いた分散プログラム用デバッガの実装について
- 履歴情報を利用したユーザエージェントの構成とそのブラウザへの適用
- 並列マシンへのスライス計算アルゴリズムの実装と時間計算量の比較
- 1Q-9 キャッシュヒット率向上のためのソースコード自動変換ツールの開発(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- プロセス記述言語としてのPrologの評価
- データの類似性に注目した生活密着型センサアプリケーション開発手法(位置情報とセンサ応用)
- 少ない回数で行える分割検証支援ツールの開発
- プログラム変更に対処し易いプログラム依存グラフの一変種
- ジョブ配送システム JAM/JC の構成とプロトタイプ
- 分散システムにおけるジョブ特性を考慮したジョブの配送先決定法の性能評価
- 5P-1 リモートペアプログラミング環境におけるコミュニケーション問題への一対処法(プログラミング環境・教育,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1Q-4 制御フローグラフの編集によるプログラム並列化支援ツール(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 双方向ピギーバックを用いた動的負荷分散における負荷情報の更新手法
- 移動型エージェントと静止型エージェントの特徴について
- ジョブ配送システムJAM/JCにおけるユーザエージェントのジョブ特性推測方法の検討
- ジョブ配送システム JAM/JC における配送エージェントの構成
- インターネットにおけるネットワーク遅延予測の一考察
- ジョブ特性を考慮した動的負荷分散の実装について
- 双方向ピギーバックに基づいた動的負荷分散方式
- エンドユーザ向け情報ポータル作成システムの提案
- プログラムの変更に対するスライス計算の適応度
- プログラムの実行再現性を考慮した同期問題の解決法
- スライス計算アルゴリズムの実装と比較
- 分散プログラムにおけるデッドロック原因究明の定式化
- 変数依存グラフを用いたスライス計算アルゴリズムとその計算量
- ピギーバックを用いた負荷分散方式の近似解析
- 双方向ピギーバックを用いた動的負荷分散における負荷情報の補間法
- 選択的多重ピギーバックを用いたジョブ配送法について
- 変数依存グラフを用いたプログラムスライス計算アルゴリズム
- 双方向ピギーバックを用いたジョブ配送法について
- 分散型ディスパッチャを用いたジョブ配送法について
- 学生プロジェクトが直面した問題事例とアジャイルによる対処可能性の考察
- ポータルサイト運営者のための軽量マッシュアップ開発ツールの提案と評価
- プログラムスライシングの分散プログラムへの適用
- ソフトウェア開発における協調支援環境Vela : (6)TMSの利用実験と評価