Algebrasic Semantics of Reflection in Object - oriented Systems

Bibliographic Information

Other Title
  • オブジェクト指向におけるリフレクションの代数的意味論
  • オブジェクト シコウ ニ オケル リフレクション ノ ダイスウテキ イミロン
  • ソフトウェア

Search this article

Description

リフレクション(自己反映計算)あるいはメタレベルアーキテクチャは,コンピュータシステムの機能拡張および動的適応のための技術として,近年注目されている.本論文では,書換え論理に基づく代数的仕様記述言語にリフレクションを導入する手法を提案する.書換え論理では並行オブジェクト指向システムのモデル化が可能であるので,本論文の手法により,メタオブジェクトおよびメタオブジェクトプロトコルなどのオブジェクト指向におけるリフレクションがモデル化できる.さらに,厳密な検証の基盤として,カテゴリ論に基づく代数的意味論を与える.

Reflection or metalevel architecture is receiving attention in recent years,since they are technologies for functional extension and dynamic adaptation of computer systems.In this paper,we propose a technique to introduce reflection into a kind of algebraic specification languages called rewriting logic.Since rewriting logic can model concurrent object-oriented systems,our technique enables modeling of reflective object-oriented systems including metaobjects and metaobject protocols.Moreover,algebraic semantics is given based on a category-theoretic model.

Journal

Citations (1)*help

See more

References(20)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top