代数的表現を用いたオブジェクト管理について

井上, 克郎; 鳥居, 宏次

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 1990, 90(114), 49-58

アクセス数:160件（2025-05-11 21:50 集計）

固定URL: https://hdl.handle.net/11094/26836

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr90_114_49 pdf なし 791 KB 46 2014.02.13  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
代数的表現を用いたオブジェクト管理について
Object Management Language with Algebraic Representation
ダイスウテキ　ヒョウゲン　ヲ　モチイタ　オブジェクト　カンリ　ニ　ツイテ
著者
NRID
1000020168438 1000020168438
著者名
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
NRID
1000010172222 1000010172222
著者名
鳥居, 宏次 ; トリイ, コウジ ; Torii, Koji
抄録
ソフトウェア開発に関する種々の生成物(オブジェクトという)をより形式的に取り扱うために、代数的記述言語に基づく言語OAR (Object Management Language with Algebraic Representation)を提案する。OARを用いてオブジェクトの生成や変更を表現式として表す方法について述べる。
Requirement of formal management of various software products (objects) has been increased. In this paper, we propose an object management language Oar (Object Management Language with Algebraic Representation), which are based on algebraic specification languages and functional programming languages. In Oar, we can easily define objects with various attributes, relations, or operations using the definitions of abstract data types. Creation and modification of the objects are performed by applying functions (operators), and the results of those applications can be seen as forms of the algebraic expressions. From these expressions, we can formally obtain and verify the characteristics of the objects.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
90(114)
ページ
49-58
刊行年月
1990-06-29
言語
英語
ハンドルURL
https://hdl.handle.net/11094/26836
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 1990 IEICE
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article