制約に基づくオブジェクト指向知識表現システム
スポンサーリンク
概要
- 論文の詳細を見る
近年,エキスパートシステムによる設計型問題への対応が盛んになっている.設計型問題は要求仕様を満足する対象モデルを生成する問題と見なすことができ,単純なフレームやオブジェクト指向による対象モデル表現では,効率的な問題解決が困難である.この問題に対応するため,本論文ではオブジェクト指向に制約概念を導入した知識表現システムを提案する.本システムの知識表現はオブジェクト指向を基本に,設計型問題を解く場合に重要な知識である,属性や構造,オブジェクトの型などに関する制約を宣言的に記述可能とするとともに,抽象・具体関係と単なる機能の包含関係とを明確に区別したクラス階層表現や,問題解決過程で動的に変更可能なクラス・インスタンス関係等の拡張を行う.そして,オブジェクトを常に制約充足状態に保つ機能を提供することにより,制約を満足する属性値の決定や,制約充足可能なクラスの探索,トップダウン詳細化支援などの,設計型問題に有効な問題解決機能を実現する.そして,以上の機能を有する設計対象モデル表現システムFREEDOMのプロトタイプを作成し,その有効性を確認した.
- 一般社団法人情報処理学会の論文
- 1990-01-15
著者
関連論文
- 分散型組み込み制御システムのための分散リアルタイムOS (ディペンダブルコンピューティング)
- 分散型組み込み制御システムのための分散リアルタイムOS (コンピュータシステム)
- 4L-2 静的構造モデリングのためのアスペクト指向設計環境(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 1L-6 組み込みシステムのためのアスペクト指向に基づくコンフィギュレーション(組込みとネットワーク,学生セッション,アーキテクチャ)
- 1L-4 組み込みシステム向けのダイナミックリンク手法に関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- モデルレベルでの織り込みを実現するアスペクト指向設計環境(学生セッション A_モデル指向(1))
- 組み込み制御ソフトウェアのアスペクト指向に基づく開発法(組み込みシステム)
- BattailのSOVAに対する精密化について(符号理論)
- 4A-3 パーソナルコンピュータの元気化によるライフサイクル延長について(省電力と高信頼技術,一般セッション,アーキテクチャ)
- 非定形UIMSの概念
- メタユーザインタフェースを有するユーザインタフェース構築支援システム
- 時間駆動処理とイベント駆動処理が共存する組み込み制御システムのための分散処理環境
- 設計問題向けツール・アーキテクチャ (「第五世代コンピュータ」)
- D-6-7 RMを基にしたリアルタイムスケジューリングアルゴリズムの分析(D-6.コンピュータシステムC,一般セッション)
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 組み込み制御ソフトウェア開発のためのSimulink・UMLモデル変換ツール
- オブジェクト指向組み込み制御システムのモデルベース開発法(分析・設計技法)
- Clock Gatingに基づいたGALS型システムにおける回路性能を考慮したインタフェースの構成法(計算機システム)
- 5N-2 応答時間を短縮した時間駆動分散処理ミドルウェア(組み込みシステム,学生セッション,アーキテクチャ)
- 3-219 大学情報系学科における組込みソフトウェア教育の実践と課題(オーガナイズドセッション「企業における技術者継続教育-日本を強くする組込みシステム教育のあり方-」,口頭発表論文)
- 5L-1 フラッシュROM上で動作する組み込みOSの動的更新方法(組込みOS,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2T-2 排他的な処理を含むSTGに対するCSC Conflictの因果関係追加による解消手法について(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 1Q-1 組み込み制御ソフトウェア開発のためのSimulinkモデルからUMLモデルへの変換ツール(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 6L-5 仮想化技術を用いたセキュアクライアントの提案(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- プログラムの動作を可視化する教育用プログラミング言語環境の提案
- 産業システムのためのコンパイラに基づくオブジェクト指向リフレクティブアーキテクチャ
- データ分散化とオブジェクト再構築に基づく分散処理システムの高信頼化方式
- 高信頼オブジェクト指向分散処理環境
- 広域分散システム環境におけるノンストップ・バージョンアップ手法
- 広域分散システム環境の高信頼化に関する一手法
- 2T-1 束データ方式のデータパス回路に適した非同期式制御回路の一設計手法(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 5N-1 時分割スケジューリング機能を有する時間駆動アーキテクチャ向けリアルタイムOS(組み込みシステム,学生セッション,アーキテクチャ)
- 制約に基づくオブジェクト指向知識表現システム
- オブジェクト間の制約伝播による問題解決方式
- 制約に基づくオブジェクト指向知識表現システム : FREEDOMにおける制約充足方式
- プログラムの動作を可視化する教育用プログラミング言語環境の提案 (技術と社会・倫理)
- 3L-2 GALS型システムにおける効率的なインタフェースの一構成法(論理・物理設計技術,学生セッション,アーキテクチャ)
- 2R-3 組み込みシステム向けエージェントフレームワーク(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 1L-3 動的更新が可能な組み込みOSに関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- 6K-2 SMTプロセッサにおける軸タスク分割を考慮したスケジューリングアルゴリズム(プロセッサと可視化,学生セッション,アーキテクチャ)
- 5U-9 アドホックネットワーク向け分散オブジェクトネーミングサービス(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 5U-8 無線LAN環境向け分散オブジェクト基盤(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- デ-06 プログラム知識が無くても内容を作ることができる教材(デモセッション,コンピュータと人間社会)
- 4Z-2 複数経路を利用し通信の品質を保つアドホックルーティングプロトコル(アドホックネットワーク,学生セッション,ネットワーク)
- 3V-4 リソースに制限のある組み込みシステムのためのエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学)
- 3T-9 手持ちの材料だけを使って調理できる料理レシピをWebから検索するシステム(センサデータベースとコンテンツ,学生セッション,データベースとメディア)
- 2ZC-7 DHTを用いたWeb情報共有手法(P2P,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1V-6 組み込みシステム向けマルチエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 生産システムのオープンネットワーク (特集 IT革命と省エネ)
- 制約とマルチコンテクストに基づく並列協調問題解決
- 設計向き並列協調問題解決システムの提案
- 並列協調問題解決のための対象モデル表現方式
- 組込み制御システムのための時間駆動オブジェクト指向ソフトウェア開発法
- 自動車分散制御システムフレームワークの開発(2) : 機能と実装
- 自動車分散制御システムフレームワークの開発(1) : ねらいと特徴
- 5N-3 時間駆動ネットワークを導入した組み込み制御システム向け分散オブジェクト環境(組み込みシステム,学生セッション,アーキテクチャ)
- 組み込み制御システム向け時間駆動分散オブジェクト環境(OSとネットワーク,組込みシステム工学)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 教材配信の場としてのblogの活用
- D-6-15 RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- D-6-16 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案
- RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案
- 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案
- 自動車ネットワークの進化を支える半導体 (特集 ネットワーク時代を支える半導体)
- 振る舞いモデル生成機能を持つSimulink・UMLモデル変換ツール
- 純音の定位に及ぼす妨害音の影響
- 組み込み制御システムのためのオブジェクト指向コード生成ツール(組込ソフトウェア開発手法)
- 自動車制御のための分散システム・フレームワーク
- 組込制御システムのためのオブジェクト指向開発
- 位置透過性のあるシステムコールを有する組込み制御システム向け分散リアルタイムOS
- RMに基づいたリアルタイムスケジューリングアルゴリズムの提案と可能性解析
- 制約式の伝播によるオブジェクト指向計算モデル