2024-03-29T02:13:18Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000222672023-04-27T10:00:04Z01164:01384:01482:01488
オブジェクト指向環境におけるジェネリックオブジェクトGeneric Object in an Object - Oriented Environmentjpnhttp://id.nii.ac.jp/1001/00022267/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=22267&item_no=1&attribute_id=1&file_no=1Copyright (c) 1991 by the Information Processing Society of Japan広島大学大学院広島大学大学院広島大学大学院広島大学大学院広島大学工学部広島大学工学部森本, 康彦佐藤康臣岡本, 康介宮永, 靖之田中, 稔市川, 忠男従来のオブジェクト指向にオブジェクト間の関係とメソッドの実行の為の条件を宣言的に記述する制約表現を導入した制約オブジェクト指向システムISL?xschemeについて述べる。本システムでは、制約表現を利用することにより、関連するオブジェクトとの関係から、自らの状態や振舞いを変えるジェネリックオブジェクトを利用することができる。ジェネリックオブジェクトは、実行時に与えられたドメイン内の的確なクラスのオブジェクトに自動的にオブジェクト変換され、実行される。このジェネリックオブジェクトを利用したソフトウェア部品は再利用性、生産性が高く、これを用いて信頼性、保守性の高いソフトウェア開発が可能となる。This paper introduces a generic object which behaves flexibly according to related objects and executions in an Object-Oriented Programing System (OOPS). Generic object is an instance of Generic class and behaves like a suitable object in its domain. In order to decide a suitable object which can meet a demand, we must take into account the relations between objects and the executions. We, therefore, have introduced constraints (invariant, precondition, and postcondition) like Eiffel's assertions in OOPS, which perform an important role to guarantee the correctness of behavior and state of a generic object. By using generic objects, we can easily construct reusable and reliable software.AN10112981情報処理学会研究報告ソフトウェア工学(SE) 199113(1990-SE-077)7121991-02-072009-06-30