2024-03-28T21:53:01Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000176052020-10-27T05:03:12Z00934:01022:01049:01052
マルチタイプオブジェクトに対する被アクセス側による型選択制御法の実現Implementation of Accessee Controlled Type Selection for Multiple - type Objectsjpn研究論文http://id.nii.ac.jp/1001/00017605/Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=17605&item_no=1&attribute_id=1&file_no=1Copyright (c) 2003 by the Information Processing Society of Japan大同工業大学情報学部群馬大学工学部佐藤, 秀樹有次, 正義INADA は拡張C++永続プログラミング言語であり,ODMG 標準に準拠する.INADA では,永続オブジェクトに対して動的に型の獲得・喪失を可能とするマルチタイプオブジェクト機能が提供される.この機能を使えば,実世界の実体が持つロール/アスペクトの集合はモデル化可能である.マルチタイプオブジェクトに対するアクセスは,そのオブジェクトが持つ型集合の中から特定の型の選択を必要とする.これまで,この選択はマルチタイプオブジェクトをアクセスするオブジェクトに委ねられていた.しかし,実世界の実体は相対する実体に応じて自らのロール/アスペクトを決定できるという柔軟性を有する.このため,マルチタイプオブジェクトが自らをアクセスするオブジェクトに応じて自らが持つ型集合の中から特定の型を選択する被アクセス側による型選択制御(AccessEEControlled Type Selection; AEE )法が求められている.本論文では,この要求に答えるために実装された,INADA のマルチタイプオブジェクトに対するAEE 法を提示する.このAEE 法は,(1)ODMG 標準に準拠する永続プログラミング言語上の実現,(2)強く型付けされた言語INADA 上の実現,(3)型選択のための知識は固定的でなく変更可能であること,(4) INADA の言語仕様と処理系を変更することなく簡易に実装されていることを特徴としている.INADA is an enhanced C++ persistent programming language and compliant with ODMG standard. INADA supports multiple-type object facility which enables any persistent objects to obtain any type at any time the type is needed, and to lose any unnecessary types dy-namically. Using the facility, we can model a set of roles/aspects which a real-world entity possesses. Access to a multiple-type object needs to select one from among its own types. The selection is conventionally left to an object accessing a multiple-type object. A real-world entity is, however, flexible enough to decide its role/aspect depending on a meeting entity whom it exchanges messages with. Accordingly, AccessEE Controlled Type Selection (AEE) method is highly required, in which a multiple-type object selects one from among its own types depending on an object accessing it. This paper presents the AEE method implemented for multiple-type objects of INADA. The characteristics of the method are as follows: (1) implementation on a persistent programming language compliant with ODMG standard, (2) implementation on INADA, a strongly typed language, (3) dynamically changable knowledge for type selction, and (4) simple implementation without any modification to the language specification and the processing system of INADA.AA11464847情報処理学会論文誌データベース(TOD)44SIG08(TOD18)1051132003-06-151882-77992009-06-30