詳細化とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 詳細化の意味・解説 

詳細化

(refinement から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2012/08/10 05:16 UTC 版)

詳細化(しょうさいか、Refinement)とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。

概要

段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。「データの詳細化」は、抽象的データモデル(例えば集合)を実装可能なデータ構造(例えば配列)に変換することである。「操作の詳細化」は、システムの操作の仕様を実装可能なプログラム(例えば、プロシージャ)に変換することである。この過程で事前条件は弱められ、事後条件は強められる。これにより仕様に内在する非決定性を削減し、完全に決定的な実装へと変換する。

例えば、変数 x にある操作を行った後の値が x' ∈ {1,2,3} であるとする。この操作を x' ∈ {1,2} となる操作に詳細化し、さらに x' ∈ {1} となる操作に詳細化する。そして、x := 1 として実装する。同様に別の経路の詳細化によって x := 2 や x := 3 が得られる。ただし、x' ∈ {} となる操作(偽と等価)は実装不可能なので詳細化されない。空集合から要素を取り出すことはできないのである。

類似の用語として Reification(具象化)がある(Cliff Jones が使用した用語で、オブジェクト指向設計におけるデータモデルの詳細化を指す)。形式的な詳細化が不可能な場合の代替技法を Retrenchment(削減)と呼ぶ。詳細化の反対語は抽象化である。

関連項目




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「詳細化」の関連用語

詳細化のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



詳細化のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの詳細化 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS