リアクティブシステムの分析・設計向きドメインモデル : Asdreas STD Triand
スポンサーリンク
概要
- 論文の詳細を見る
リアクティブシステムの開発環境Asdreas(Architecture for the Specification and Design of REAc-tive Systems)の目的は,リアクティブシステムの要求分析と主要な基本的な機能の列挙をサポートすることである.リアクティブシステムは,プラントの計測・制御・監視を目的としたリアルタイムシステムである.Asdreasを構成する際に,現実のリアクティブシステムの問題領域とシステムにまつわるさまざまな要因について,十分に分析を行って.その結果,リアクティブシステムの要求分析と機能列挙向きのドメインモデル,三群状態遷移モデル(STD Triad)を考案した.Asdreasでは,リアクティブシステムは,制御する側のリアクティブスーパバイザと,制御される側のリアクティブプラントから構成されるものと認識する.これらは,互いに相手のアクションに対してリアリタイムなリアクションを行う.Asdreasの要求分析・設計手法の特徴は次の2点である.A)プラントの挙動をシステムの分析と設計上の問題として明確に認識.B)リアクティブシステムの挙動を,STD Triadの枠組みに基づいて(1)自然状態群,(2)作用状態群,および(3)目標状態群の3つの状態群に類別されたプラントの状態遷移図(Plant STD)として分析.本稿は空調制御リアクティブシステムを事例とする.
- 一般社団法人情報処理学会の論文
- 1993-09-15
著者
-
伊藤 潔
上智大学理工学部情報理工学科
-
伊藤 潔
上智大学理工学部機械工学科情報システム講座
-
伊藤 潔
上智大学理工学部
-
伊藤 潔
上智大学 理工学部 機械工学科 情報システム講座
-
杵嶋 修三
山武ハネウェル
関連論文
- ドメインとインタードメインのオントロジの構成法
- 制約充足問題としての三面図からの物体自動合成 : 擬似ブール代数解法による
- 擬似ブール代数解法による三面図からの曲面物体の自動合成
- 非線形擬似ブール代数解法による三面図からの物体の自動合成
- 三面図からの物体自動合成のための線形擬似ブール代数解法
- Collaborative Timed STDsの開発
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- 生産システム向き協調エンジニアリング分析
- 2000-SE-128-3 協調エンジニアリングの分析法 Multi-Context MapとCollaborative Linkage Mapによるアプローチ
- 自動生産ラインのライン構成の評価手法
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析・モデリングワーキンググループの活動
- 2 ドメイン分析・モデリングとドメイン指向システム開発 : 分野に適合したシステム開発のための構成要素 (ドメイン分析とドメインモデリング)
- 1 ドメイン分析とドメインモデリングの概説 (ドメイン分析とドメインモデリング)
- 編集にあたって (ドメイン分析とドメインモデリング)
- 協調ドメインにおけるIDEF3の逐次的構成法
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- 制約充足問題としての三面図からの物体自動合成 : 擬似プール代数解法による : 画面理解および一般 : 画像処理・コンピュータビジョン
- 分散環境でのダイアグラムの共有,作成を支援するシステム(モデルとメトクリス)
- 同種ダイアグラムと異種ダイアグラムの検索と相互変換による再利用法(モデル化支援)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- システム分析のコースウェア(e-Learningの基盤技術/一般)
- コンピュータ援用立体幾何学習システム(新しいインターネット技術の教育環境への利用/一般)
- 時間経過の概念を導入したTimed STDsによる協調システムのモデリング
- 時間経過の概念を導入した Timed STDs による協調システムのモデリング
- ジェネリックタスクを包含したドメインモデルに基づくユースケースダイアグラム再利用法
- ダイアグラムを用いたシステム分析の教育(遠隔教育/一般)
- 情報と物に着目したユースケース図を利用した協調業務の分析(知能ソフトウェア工学, 一般)
- 3次元物体の理解を支援するツールの研究(e-Learning教育システムの成果と目指すべきもの/一般)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- ダイアグラム変換を利用したシステム分析
- 協調エンジニアリングシステムの性能設計と改善のための知識に基づくパースペクティブ割り当て(ディジタルエンタープライズモデル)(ディジタルエンタープライズ,及び一般)
- ペトリネットによる協調業務の分析・評価
- ペトリネットによる協調業務の分析・評価(ビジネスモデルからソーシャルモデルへの展開 : 企業から公共,非営利組織まで)
- 割当て業務向きドメインモデル
- リレー解説「エキスパートシステムの諸事例」の開始にあたって
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- ペトリネットシステムの性能シミュレーション向き性能改善エキスパートシステム(システム,特集「Web情報処理」及び一般)
- ペトリネットシステムの性能シミュレーション向き性能改善エキスパートシステム (テーマ:「Web情報処理」および一般発表)
- ペトリネット手法による協調エンジニアリングシステムの性能設計と改善 (特集 「医療及び化学情報マイニング」および一般)
- 協調業務分析向きMCM/CLMからのE-Rモデルの抽出手法
- 参加型プロジェクトにおける自律的学習 : 国際政治学のマルチメディア学習教材開発作業を一例として
- 遠隔・オンデマンド学習向け語学教育システムの開発
- システム分析のためのダイアグラム記述におけるオントロジの利用 (ことば工学研究会(第36回)「文学」の「生成」(LCC2との合同研究会))
- サーフィスモデルの成立ち規則を用いた三面図からの物体自動合成法
- 非線形擬似ブール計画法による曖昧な三面図からの多面体の一意的合成
- ヒューリスティクアプローチによる協調システムの性能シミュレーション(さまざまな分野の形式的検証最前線及び一般)
- 計測制御システムの機能分散向き参照モデル Dual-Triads
- 協調エンジニアリングシステムの性能設計と改善のための知識に基づくパースペクティブ割り当て (特集:「ディジタルエンタープライズ」および一般)
- 定性推論による協調エンジニアリングシステムの性能改善(9月16日)(「アクティブマイニング」及び一般)
- ドメインモデルに基づく販売管理システムの開発支援
- 協調作業を含む業務のドメイン分析とモデリング
- セールスドメインにおけるドメインモデルの獲得とその再利用
- セールスドメインにおけるドメインモデルの獲得とその再利用
- ドメイン分析・モデリングの利用法・研究法 : Domain Specific Software Process (DSSP)の提案
- 比較分析によるドメインモデル獲得手法の提案
- ドメイン分析・モデリング概説
- リアルタイムシステムの性能評価・改善向けドメインモデルの提案
- パイプライン計算機における性能設計支援手法
- 定性推論を用いた共有ストアを有する待ち行列ネットワークのボトルネック改善法
- ドメイン分析・モデリング技術の現状と課題
- 6. リアルタイムシステムにおけるネット指向開発技術の適用 ( ネット指向パラダイムを求めて)
- OSSES : 石油出荷ヤードのための出荷スケジューリングエキスパートシステム
- 特集「学術情報データベースの構成と利用」の編集にあたって
- 業務モデル獲得支援ツール
- 共通業務を考慮したドメインモデルに基づくプロトタイピング
- リアクティブシステムの分析・設計向きドメインモデル : Asdreas STD Triand
- 定性推論による協調エンジニアリングシステムの性能改善(「アクティブマイニング」及び一般)
- Performance Improvement of Collaboration Engineering Systems by the application of Qualitative Reasoning (小特集 「アクティブマイニング」および一般)
- 小特集「ロボットの信頼性と安全性」の編集にあたって
- システム記述評価システム : SDES
- CPU割り付け型待ち行列ネットワークの優先順位変更による応答時間チューニング
- CPU割付のある待ち行列ネットワークの設計法
- 協調エンジニアリング会議支援システムの開発と教育への適用の試み(Collaborationとagent技術/一般)
- 展望 情報システムの構築法の教育と研究
- システム開発向きドメインプロセスモデル
- 「ソフトウェア開発のためのドメイン分析・モデリング技術」シンボジウム報告
- ロボットの安全性技術 (ロボットの信頼性と安全性)
- I-8 CO_2排出量削減のための空調機器の自動制御システム開発に関する研究 : (第11報) VAV空調の省エネルギー型温湿度制御