書誌事項
- タイトル別名
-
- オブジェクト シコウ ニ オケル リフレクション ノ ダイスウテキ イミロン
- Algebrasic Semantics of Reflection in Object - oriented Systems
- ソフトウェア
この論文をさがす
抄録
リフレクション(自己反映計算)あるいはメタレベルアーキテクチャは,コンピュータシステムの機能拡張および動的適応のための技術として,近年注目されている.本論文では,書換え論理に基づく代数的仕様記述言語にリフレクションを導入する手法を提案する.書換え論理では並行オブジェクト指向システムのモデル化が可能であるので,本論文の手法により,メタオブジェクトおよびメタオブジェクトプロトコルなどのオブジェクト指向におけるリフレクションがモデル化できる.さらに,厳密な検証の基盤として,カテゴリ論に基づく代数的意味論を与える.
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.
収録刊行物
-
- 情報処理学会論文誌
-
情報処理学会論文誌 38 (4), 826-834, 1997-04-15
東京 : 情報処理学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050282812863322496
-
- NII論文ID
- 110002721534
- 10011459776
-
- NII書誌ID
- AN00116647
-
- ISSN
- 18827764
- 03875806
-
- NDL書誌ID
- 4182964
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles