オブジェクト指向方法論のための動的モデルObTS (<特集> ソフトウェア工学の基礎)
スポンサーリンク
概要
- 論文の詳細を見る
リアクティブシステムやOMTの動的モデルの仕様記述モデルとして広く使われているモデルにStatechartがある.Statechartはすぐれた計算モデルであるが,データに関する側面は大域変数とそれに対する副作用によって表されており,大規模なシステムの記述に際しては可読性が低下する原因となっている.さらにStatechartの状態階層はオブジェクトモデルの階層構造との関連性が低い.本論文では,オブジェクトモデルの階層構造を用いて動的モデルを記述し,各オブジェクトに状態遷移図とデータを持たせることで局所性を高めた仕様記述モデルObTSを提案する.ObTSに操作的意味を与え,関数型言語によってObTSの実現を行う.また,例題を通じてStatechartとの比較を行う.
- 日本ソフトウェア科学会の論文
- 1997-03-17
著者
関連論文
- 名誉会員榎本肇博士を偲ぶ
- 3.法令工学 : 安心な社会システム設計のための総合ソフトウェア科学(情報処理技術の未来地図,50周年記念特集号)
- インターネット端末による地域情報化の試み
- コンテンツ流通の拡大再生産が起きていない地域でのインターネット展開
- 大月町における保健婦支援システムの構築
- アスペクト指向によるセキュリティ実装について(アスペクト指向・Web)
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 編集にあたって : 「学と産の連携による基盤ソフトウェアの先進的開発」の概観(学と産の連携による基盤ソフトウェアの先進的開発)
- 情報系学長,おおいに語る
- 電子社会と法令工学(法情報学最前線)
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- Alloyを用いた構成変更支援ツールと適用実験
- コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
- 状態遷移図の段階的構築のための論理的基盤
- (形式的仕様)振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
- 21世紀の研究者-研究者の流動性-
- ステートマシン図を用いたプログラムの自動生成支援(開発支援(2))
- プロダクトラインのスコープ決定手法について
- B-013 要求定義技術の学習を目的としたチェックリストの有用性(ソフトウェア,一般論文)
- 並行オブジェクトから並行処理列への変換法(ディペンダブルソフトウェア)
- オブジェクト指向方法論のための検証フレームワークに関する研究
- 組み込みソフトウェア開発のための仕様シミュレーション環境
- 組み込みシステム設計のためのObTSに基づく記述支援環境に関する研究
- 抽象実行に基づくリアクティブシステムの発展的構成と環境
- オブジェクト指向方法論のための動的モデルObTS ( ソフトウェア工学の基礎)
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- オブジェクト指向属性文法OOAGによるソフトウェアリポジトリシステムの自動生成
- 定理証明技術のオブジェクト指向分析への適用
- オブジェクト指向分析モデルの検証と公理系の提案
- コンテンツ流通の拡大再生産が起きていない地域でのインターネット展開
- 大月町における保健婦支援システムの構築
- パソコンと無縁のユーザに対する地域情報化の試み
- リアクティブシステムの発展的構成法の提案
- 特徴イベント列によるステートチャート間の通信モデル
- 並行オブジェクトモデルから並行スレッドモデルへの変換法
- 組み込みシステム設計における並行正規表現を用いたスレッド抽出法の適用
- 定理証明システムHOLにおけるオブジェクト指向理論の構築
- 並行動作するオブジェクトからの処理列の抽出法
- 並行動作するオブジェクトからの処理列の抽出法
- オブジェクト指向組み込みシステム開発のためのSES-Basedアプローチ
- 形式的オブジェクト指向分析モデルFO∀Mの構築法とその支援環境
- オブジェクト指向方法論のための形式的モデルの検証
- バージョン機能を持つオブジェクトベースの形式化
- レーザ・フォーミングの三次元熱弾塑性解析
- ソフトウェア発展原理
- オブジェクト指向方法論のための形式的モデル
- コース管理システムと授業固有の課題チェック機能のWebサービスによる連携
- 法令工学の提案 : 電子社会の仕様としての法律とその工学的アプローチ
- 1.高信頼性組み込みソフトウェア開発のための技術課題(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- フィーチャー指向分析を基にしたApacheの構成・設定の動的変更
- 6. 検証進化可能電子社会 : 情報科学による安心な電子社会の実現(21世紀卓越した情報研究拠点プログラムの目指す研究(後編))
- 発展ドメイン : ソフトウェア発展のための理論的枠組み
- 属性文法におけるコピールールを考慮した領域割り当てアルゴリズム
- 統合ソフトウェアドキュメンテーション環境としてのDITAベースCMSの開発
- DITAを用いた教育コンテンツ管理手法の検討
- 講義資料におけるマルチユースなリンクをEPUBとLODで実現するシステムの考察
- PBLによる地域向けシステムの構築と運用
- ZIPエンコーダーのFPGAへの実装(ソフトコンピューティング,一般)
- 特徴語とRDFを用いた情報推薦手法の提案
- PBLを対象としたインフォーマルラーニング環境の構築
- B-022 DITAに基づくソフトウェアドキュメンテーション(電子文書・ソフトウェア科学,B分野:ソフトウェア)
- 特集 ソフトウェア発展
- ソフトウェア発展の原理とメカニズム (特集 ソフトウェア工学の新しい流れ)
- 初等中等教育における情報教育の必修化(情報技術の新時代に向けて)
- 第11回 進化発展するソフトウェアの原理 (ソフトウェア新時代)
- ソフトウェア工学研究の現状と展望 (特集 情報科学研究)
- 実践型ICT教育システムの提案
- 関連Webページ推薦のための特徴語RDF構築の検討(一般,「Webサービス及びクラウドの応用」及び一般)
- 実案件を扱うシステム開発PBLを対象とする学外連携教育の実践と評価