オブジェクト指向方法論OMTにおける動的モデルと機能モデルの整合性の検証
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向設計手法OMTでは3つのモデルによって仕様を表現する。しかしモデル間の関係が明確ではなく,記述の正当性を検証することは困難である。3つのモデルのうちで,動的モデルと機能モデルはどちらも動作に関する記述である。動的モデルはオブジェクトの状態を表し,状態遷移によって属性値が決まる。一方,機能モデルは属性間の依存関係を与える。したがって,2つのモデル間の記述の一貫性を属性間の関連を通して考えることができる。本論文ではOMTの動的モデルと機能モデルに対して記号による記法を与え,2つのモデル間の関連について考察を行なう。これにより記述された2つのモデルの一貫性を検証するための基礎を与える。
- 一般社団法人情報処理学会の論文
- 1995-03-09
著者
関連論文
- 名誉会員榎本肇博士を偲ぶ
- 3.法令工学 : 安心な社会システム設計のための総合ソフトウェア科学(情報処理技術の未来地図,50周年記念特集号)
- STS学習制御法とお手玉ロボットへの応用
- μFR : マイクロフライングロボットについて
- インターネット端末による地域情報化の試み
- コンテンツ流通の拡大再生産が起きていない地域でのインターネット展開
- 大月町における保健婦支援システムの構築
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 1期的切除再建と集学的治療を行った食道癌穿孔の1例
- 高信頼性・生産性組込みソフトウェア設計手法に関する調査研究
- OP-230-4 全国公募医学生に対する離島へき地での地域医療・外科診療実習(卒後研修-2,一般口演,第110回日本外科学会定期学術集会)
- OP-279-4 食道癌におけるVEGF-C発現とリンパ管新生(腫瘍基礎-13,一般口演,第110回日本外科学会定期学術集会)
- 手術ロボティックシステム開発プロジェクト
- SF-051-2 一次性下肢静脈瘤の弁不全機序に関与する脂質分子の同定(血管-2,サージカルフォーラム,第110回日本外科学会定期学術集会)
- 振動駆動型リニアアクチュエータの負荷特性解析
- 人体内通信における信号伝送モデルの提案および実験的検証
- 2C3-2 人体を伝送路の一部とする通信方式における周波数特性(2C3 センサシステム)
- P-2-15 食道アカラシアの外科治療(食道(良性),一般演題(ポスター),第64回日本消化器外科学会総会)
- P-1-5 食道癌におけるオートファジーマーカーLC-3発現の意義(食道 基礎,一般演題(ポスター),第64回日本消化器外科学会総会)
- O-2-86 食道癌患者の周術期栄養管理 : 術前管理と早期経腸栄養(企画関連口演35 栄養療法の進歩1,第64回日本消化器外科学会総会)
- 1A1-2 自動車運転シミュレータにおける車線ずれの評価(1A1 生体計測)
- 2423 ブルートゥースによる人体姿勢計測の研究(J23-3 メカニカルシステムとその知能化(3),J23 メカニカルシステムとその知能化,2005年度年次大会)
- 座長コメント
- 第 15 回エレクトロニクス実装学術講演大会印象記
- 法令工学 : 安心な社会システム設計のための総合ソフトウェア科学
- オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 編集にあたって : 「学と産の連携による基盤ソフトウェアの先進的開発」の概観(学と産の連携による基盤ソフトウェアの先進的開発)
- 小型精密旋盤用ミニチュア磨耗検出装置の開発研究
- 人体を伝送路とした情報通信デバイスの開発
- 快適性フィードバックによるアロマ香気噴出制御法の研究
- 生体内通信システムの開発
- 情報系学長,おおいに語る
- 電子社会と法令工学(法情報学最前線)
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- ロボットマニピュレータの総合設計システムに関する研究
- 人間型ピッチングロボットに関する研究 -(第1報) ピッチングロボットの試作-
- 階段昇降移動ロボットTO-ROVER IIIの開発研究
- 北海道戸井町における永久歯むし歯予防SF作戦-第2報啓発活動前後における小学生児童の歯磨剤使用に関する行動の変化-
- 北海道戸井町における永久歯むし歯予防SF作戦-第1報SF作戦の概要-
- Alloyを用いた構成変更支援ツールと適用実験
- コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
- 状態遷移図の段階的構築のための論理的基盤
- (形式的仕様)振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
- プロセスモデルHFSPにおける実行状態の動的制御機構 (ソフトウェア工学の基礎)
- プロダクトラインのスコープ決定手法について
- Alloy を用いた構成変更支援ツールと適用実験
- 並行オブジェクトから並行処理列への変換法(ディペンダブルソフトウェア)
- オブジェクト指向方法論のための検証フレームワークに関する研究
- 構造指向型システムのための実行可能な仕様記述言語
- 組み込みシステム設計のためのObTSに基づく記述支援環境に関する研究
- 「属性文法とその応用」の連載開始にあたって
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- オブジェクト指向属性文法OOAGによるソフトウェアリポジトリシステムの自動生成
- 属性文法型計算モデルによる版・構成管理システムの記述
- オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
- オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化
- オブジェクト指向属性文法OOAGの高速な処理系の設計と実現
- 定理証明技術のオブジェクト指向分析への適用
- オブジェクト指向分析モデルの検証と公理系の提案
- コンテンツ流通の拡大再生産が起きていない地域でのインターネット展開
- 大月町における保健婦支援システムの構築
- パソコンと無縁のユーザに対する地域情報化の試み
- リアクティブシステムの発展的構成法の提案
- 特徴イベント列によるステートチャート間の通信モデル
- 並行オブジェクトモデルから並行スレッドモデルへの変換法
- 組み込みシステム設計における並行正規表現を用いたスレッド抽出法の適用
- 定理証明システムHOLにおけるオブジェクト指向理論の構築
- 並行動作するオブジェクトからの処理列の抽出法
- 並行動作するオブジェクトからの処理列の抽出法
- オブジェクト指向組み込みシステム開発のためのSES-Basedアプローチ
- 形式的オブジェクト指向分析モデルFO∀Mの構築法とその支援環境
- オブジェクト指向方法論のための形式的モデルの検証
- バージョン機能を持つオブジェクトベースの形式化
- 属性文法の一般化について
- リアクティブシステム記述体系AFSMの関数型言語による実現
- オブジェクト指向方法論のための形式的モデル
- さきがけ「機能と構成」領域研究報告
- 法令工学の提案 : 電子社会の仕様としての法律とその工学的アプローチ
- 1.高信頼性組み込みソフトウェア開発のための技術課題(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- フィーチャー指向分析を基にしたApacheの構成・設定の動的変更
- 6. 検証進化可能電子社会 : 情報科学による安心な電子社会の実現(21世紀卓越した情報研究拠点プログラムの目指す研究(後編))
- 発展ドメイン : ソフトウェア発展のための理論的枠組み
- 論文講評とSECへの期待
- 属性文法におけるコピールールを考慮した領域割り当てアルゴリズム
- 属性文法 : 現状と展望 ( 属性文法とその応用-VI)
- オブジェクト指向方法論OMTにおける動的モデルと機能モデルの整合性の検証
- 再帰的属性評価器における領域割り当て方法
- 初等中等教育における情報教育の必修化(情報技術の新時代に向けて)
- 第11回 進化発展するソフトウェアの原理 (ソフトウェア新時代)