ソフトウェア分析・設計用ダイアグラムのモデル化
スポンサーリンク
概要
- 論文の詳細を見る
現在、我々はソフトウェア分析・設計用の各種ダイアグラム(STD,DFD,等)の共通モデルとしてHarelの提唱するハイグラフを適用し、各種ダイアグラムを一元的に扱うことのできる汎用的なツールの開発を検討している。ハイグラフは、構造表現とリレーション表現という特徴的な表現手段を持ち、プレゼンテーションに優れたグラフである。しかし、ハイグラフを共通モデルとして、各種ダイアグラムに共通的なツールを開発しようとした場合、ハイグラフで表現された情報の論理的構造をハイグラフのダイアグラム上の位置関係等から解析したのでは効率的ではない。本論文では、ハイグラフで表現された構報の論理的楠造の解析を容易にする方法として、情報の諭理的櫛造をAND/OR関係に分解,表現することができるAND/ORグラフに基づいた情報表現方法を提案する。
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
関連論文
- モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
- モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- アスペクト指向設計モデルの一提案(組込み・アスペクト指向)
- 2層フィーチャモデルを用いた開発手法の提案と実装(開発支援・開発手法)
- ソフトウェア工学による組込みソフトウェアの開発効率化 : 規模と複雑さとの戦い
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- 1L-3 UML設計に対するモデル検査のための検証パターン(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
- UML設計モデル検査技術のための検証パターンの提案
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- 1L-1 モデル検査技術によるUML設計検証に関する考察(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- モデル検査によるアーキテクチャ設計検証(アーキテクチャ)
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 特集「未来志向のソフトウェア工学」の編集にあたって
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- 第11回ソフトウェアプロダクトライン国際会議(SPLC2007)参加報告(ソフトウェア評価/プロダクトライン)
- ウインターワークショップ2010・イン・倉敷開催報告
- モデル検査のための設計モデル構築手法に関する考察
- モデル検査のための設計モデル構築手法に関する考察
- ウインターワークショップ2010・イン・倉敷開催報告
- ソフトウェア設計・検証手法に関する考察〜モデリングの観点より〜
- 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- ソフトウェア設計に対するモデル検査のための検証パターン
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- ITSシステムアーキテクチャの活用 (ITS特集) -- (ITS基盤システム構築のために)
- 木構図用 CASE ツール間のデータ交換言語: DXL
- プローブ情報システムのアーキテクチャに関する調査研究--アーキテクチャ観点からの標準化戦略の検討 (特集 ITS) -- (研究活動紹介 標準化に関する研究)
- プロダクトライン開発における多様性管理に関する考察(組込みソフトウェア工学シンポジウム)
- ソフトウェアアーキテクチャの評価手法について
- プロダクトラインのスコープ決定手法について
- 1 プロダクトライン開発の全体像と要求工学(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 巻頭言 : プロダクトライン開発と再利用技術(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 4. オブジェクト指向データベースの応用 4.1 オブジェクト指向データベースとCASE (オブジェクト指向データベースシステム)
- LifeLineにおけるファイルアクセス制御
- ソフトウェア分析・設計用ダイアグラムのモデル化
- スケーラブルなモデリング技法に関する考察
- ウィンターワークショップ2011・イン・修善寺開催報告
- GUIを考慮したMDA開発手法の提案
- GUIを考慮したMDA開発手法の提案
- 特集「組込み/リアルタイムソフトウエア」の編集にあたって
- SPLC2011参加報告
- 近似的モデリング技法についての考察