シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
スポンサーリンク
概要
- 論文の詳細を見る
In the software development, requirements analysis and design phases produce un-executable specification documents by the aid of computers. The un-executable specification documents are reviewed and validated by personnel. As one of alternative approaches, the prototyping method can be recognized that visualizes the behavior of the objective software in their both requirements analysis and design phases. Simulation methods have been used as supplementary tools for software development. Simulation methods can be applied as one of the prototyping methods. As a result, the simulation activity can work as a primary activity for the software development and produce the evaluation results for both requirements analysis and design. Our prototyping method for the concurrent software is called SPM (Stepwise Prototyping Method). P-Flots (Prolog based Flow and Task Simulator) /AP is based on SPM and is an extension of original P-Flots with introduction of simulation techniques. This paper analyses SPM and P-Flos/AP from the aspect of simulation methodology.
- 日本シミュレーション学会の論文
- 1989-09-15
著者
-
伊藤 潔
上智大学理工学部情報理工学科
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
沢村 淳
上智大学大学院理工学研究科機械工学
-
田村 恭久
上智大学理工学部
-
沢村 淳
上智大学理工学部
-
伊藤 潔
上智大学理工学部
関連論文
- ドメインとインタードメインのオントロジの構成法
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- 電力系統監視制御システムへのオブジェクト指向分析適用の試行
- 制約充足問題としての三面図からの物体自動合成 : 擬似ブール代数解法による
- 擬似ブール代数解法による三面図からの曲面物体の自動合成
- 非線形擬似ブール代数解法による三面図からの物体の自動合成
- 三面図からの物体自動合成のための線形擬似ブール代数解法
- Collaborative Timed STDsの開発
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析に基づく仕様再利用手法
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 生産システム向き協調エンジニアリング分析
- 2000-SE-128-3 協調エンジニアリングの分析法 Multi-Context MapとCollaborative Linkage Mapによるアプローチ
- 自動生産ラインのライン構成の評価手法
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析・モデリングワーキンググループの活動
- 2 ドメイン分析・モデリングとドメイン指向システム開発 : 分野に適合したシステム開発のための構成要素 (ドメイン分析とドメインモデリング)
- 1 ドメイン分析とドメインモデリングの概説 (ドメイン分析とドメインモデリング)
- 編集にあたって (ドメイン分析とドメインモデリング)
- 協調ドメインにおけるIDEF3の逐次的構成法
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- 制約充足問題としての三面図からの物体自動合成 : 擬似プール代数解法による : 画面理解および一般 : 画像処理・コンピュータビジョン
- C-Prologコンパイラの開発(2) : 内部構造について
- C-Prologコンパイラの開発(1) : 設計思想について
- 分散環境でのダイアグラムの共有,作成を支援するシステム(モデルとメトクリス)
- 同種ダイアグラムと異種ダイアグラムの検索と相互変換による再利用法(モデル化支援)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- システム分析のコースウェア(e-Learningの基盤技術/一般)
- コンピュータ援用立体幾何学習システム(新しいインターネット技術の教育環境への利用/一般)
- 時間経過の概念を導入したTimed STDsによる協調システムのモデリング
- 時間経過の概念を導入した Timed STDs による協調システムのモデリング
- ジェネリックタスクを包含したドメインモデルに基づくユースケースダイアグラム再利用法
- ダイアグラムを用いたシステム分析の教育(遠隔教育/一般)
- 情報と物に着目したユースケース図を利用した協調業務の分析(知能ソフトウェア工学, 一般)
- 3次元物体の理解を支援するツールの研究(e-Learning教育システムの成果と目指すべきもの/一般)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- ダイアグラム変換を利用したシステム分析
- 協調エンジニアリングシステムの性能設計と改善のための知識に基づくパースペクティブ割り当て(ディジタルエンタープライズモデル)(ディジタルエンタープライズ,及び一般)
- ペトリネットによる協調業務の分析・評価
- ペトリネットによる協調業務の分析・評価(ビジネスモデルからソーシャルモデルへの展開 : 企業から公共,非営利組織まで)
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 割当て業務向きドメインモデル
- リレー解説「エキスパートシステムの諸事例」の開始にあたって
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- ペトリネット手法による協調エンジニアリングシステムの性能設計と改善 (特集 「医療及び化学情報マイニング」および一般)
- 時制論理とペトリネット(AIの推論とOR)
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- 協調業務分析向きMCM/CLMからのE-Rモデルの抽出手法
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- 参加型プロジェクトにおける自律的学習 : 国際政治学のマルチメディア学習教材開発作業を一例として
- サーフィスモデルの成立ち規則を用いた三面図からの物体自動合成法
- 代数的仕様のΔ拡張
- リアルタイムシステムにおけるプロトタイピングの一手法
- 非線形擬似ブール計画法による曖昧な三面図からの多面体の一意的合成
- 複合ビューポイントに基づく仕様化プロセスの分析
- ヒューリスティクアプローチによる協調システムの性能シミュレーション(さまざまな分野の形式的検証最前線及び一般)
- 計測制御システムの機能分散向き参照モデル Dual-Triads
- 定性推論による協調エンジニアリングシステムの性能改善(9月16日)(「アクティブマイニング」及び一般)
- 協調作業を含む業務のドメイン分析とモデリング
- セールスドメインにおけるドメインモデルの獲得とその再利用
- セールスドメインにおけるドメインモデルの獲得とその再利用
- ドメイン分析・モデリングの利用法・研究法 : Domain Specific Software Process (DSSP)の提案
- 比較分析によるドメインモデル獲得手法の提案
- ドメイン分析・モデリング概説
- リアルタイムシステムの性能評価・改善向けドメインモデルの提案
- パイプライン計算機における性能設計支援手法
- 定性推論を用いた共有ストアを有する待ち行列ネットワークのボトルネック改善法
- ドメイン分析・モデリング技術の現状と課題
- 6. リアルタイムシステムにおけるネット指向開発技術の適用 ( ネット指向パラダイムを求めて)
- OSSES : 石油出荷ヤードのための出荷スケジューリングエキスパートシステム
- 特集「学術情報データベースの構成と利用」の編集にあたって
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- 業務モデル獲得支援ツール
- 共通業務を考慮したドメインモデルに基づくプロトタイピング
- リアクティブシステムの分析・設計向きドメインモデル : Asdreas STD Triand
- 定性推論による協調エンジニアリングシステムの性能改善(「アクティブマイニング」及び一般)
- 小特集「ロボットの信頼性と安全性」の編集にあたって
- システム記述評価システム : SDES
- 診断型エキスパート・システム (エキスパート・システム)
- 協調エンジニアリング会議支援システムの開発と教育への適用の試み(Collaborationとagent技術/一般)
- 展望 情報システムの構築法の教育と研究
- 「ソフトウェア開発のためのドメイン分析・モデリング技術」シンボジウム報告
- 1. オブジェクト指向分析・設計 ( オブジェクト指向分析・設計)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)