代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア・システムの仕様記述手法として種々のものが提案されている.一方,システムの仕様記述手法に対しては,形式性,読解性,実行可能性,厳密性,適用可能性,検証可能性等のいくつかの要件がある.既存の単独の手法では,それらの要件をすべて満たすことは困難である.本論文では新たな手法を構築するための前段階として,既存の手法を組み合わせ,その方法の限界について考察する.直観的な理解性に優れたSA手法と,厳密な記述と検証が可能な代数的仕様記述をとりあげ,両者の利点を失わず融合する方法を提案する.SA手法におけるデータフローダイアグラムに対して,ダイアグラムに現れるデータの性質を抽象データ型の表現を用いて代数的仕様記述に基づくオブジェクトとして記述する.この融合した手法による設計の手順を示し,LIFT制御システムを記述した例を用いて,説明する.本手法により直観的な読みやすい表現モデルを用いて設計の任意の段階でシステムに対して明らかになっている範囲の仕様を必要な抽象度で記述できることを示す.さらに,記述した仕様の検証と抽象実行の可能性について述べ,最後に組合せ手法の限界について考察する.
- 一般社団法人情報処理学会の論文
- 1990-02-15
著者
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
大須賀 昭彦
(株)東芝研究開発センター
-
大須賀 昭彦
(株)東芝
-
津田 淳一郎
(株)東芝システム・ソフトウェア技術研究所
-
古川 忠始
(株)東芝システム・ソフトウェア技術研究所
関連論文
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- 電力系統監視制御システムへのオブジェクト指向分析適用の試行
- 組込み機器向け知的移動エージェントμPlangentを用いた電力系統巡視システム
- エージェントフレームワークを用いたコンテクストアウェアなテレマティクスサービスの構築(インタラクション/インタフェース応用, ソフトウェアエージェントとその応用論文)
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析に基づく仕様再利用手法
- メトリクスデータベースESQUT-METSの構想
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- オブジェクト指向・エージェント技術の動向
- 携帯電話上で記述・即時動作可能なネットワークスクリプトの開発
- セマンティック Web サービスマッチメーカーの公開実験に基づく評価
- 放送番組に対してパブリックオピニオンメタデータを生成する視聴支援エージェントの開発 : ネットコミュニティからの雰囲気成分の抽出とユーザ間での流通による洗練化(インタラクション/インタフェース応用, ソフトウェアエージェントとその応用論文)
- ユビキタス環境において動的なコンテクストに応じて知識情報をフィルタリングする推論エージェントの開発(インタラクション/インタフェース応用, ソフトウェアエージェントとその応用論文)
- ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用(ユビキタス社会の実現特集号)
- 開放型分散環境におけるプランニングモバイルエージェントアーキテクチャの提案
- モバイルエージェントの効率的利用
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- 仕様書段階における品質評価技術の検討
- C-Prologコンパイラの開発(2) : 内部構造について
- C-Prologコンパイラの開発(1) : 設計思想について
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- モバイルエージェントの生態を探る : その技術と応用の最新動向
- モバイルエージェントの生態を探る : その技術と応用の最新動向
- 時制論理とペトリネット(AIの推論とOR)
- マルチエージェントフレームワークBee-gentを用いた電力系統作業停止計画向け分散スケジューリングシステムの開発
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- ユビキタス環境におけるContext-Awareなパーソナルエージェントの構築とその実証実験(ソフトウェアエージェントとその応用論文)
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- 工数把握・分析システムMYSTEP/OURSTEPを利用した進捗管理
- 代数仕様によるプラント機器保護論理の記述と検証
- 知的モバイルエージェント
- 代数的仕様のΔ拡張
- リアルタイムシステムにおけるプロトタイピングの一手法
- 複合ビューポイントに基づく仕様化プロセスの分析
- ユビキタスデバイスからのWebサービス利用を支援するWebサービスプロキシエージェント(アーキテクチャ(2))
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- パーベイシブ・コンピューティングのためのマルチエージェントフレームワーク : Mobeet Framework
- ユーザ・インタフェース評価法の研究 : 対話記述の一方法
- システム動作設計支援技法S S DESIGNの研究 : 性能仕様プロトタイピングの考察
- 発想支援システムの構想
- 成果物管理システムTSCMの自動登録機能の試行・評価
- 要求分析支援システムの構想
- 診断型エキスパート・システム (エキスパート・システム)
- 1. オブジェクト指向分析・設計 ( オブジェクト指向分析・設計)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
- 代数仕様技術によるオブジェクト指向分析設計の検証支援
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- 推論型システム記述言語 MENDEL
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発