权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

UNIX上のコマンドとファイル間の意味的制約・関係を管理するデータベースの作成

创建管理 UNIX 上命令和文件之间的语义约束以及关系的数据库

基本信息

批准号：
10780174
负责人：
権藤克彦
金额：
$ 1.15万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 1999
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10780174/
关键词：
UNIXコマンド ERモデル PCTE 意味的制約ソフトウェアデータベース

项目摘要

ソフトウェアオブジュクト間の制約・関係の表現方法確立のための基礎として,UNIXコマンドデータベース作成実験を行った。このデータベースで扱う制約とは,例えば「manコマンドの環境変数MANPAGERに設定して良いコマンドは何か?」といった,ソフトウェアの仕様そのものに関係する制約である。以下に成果概要を示す。1.本実験で扱ったコマンドは,cat,man,tar,lprの4つのコマンドのみであるが,関係を表現するERA図はかなり複雑になることを確認した。例えば,manコマンドのみの関係図は実体数が17,関連数が22となった。2.1.の関係図をEmeraude PCTE上で表現した上で,tarのオプションとMANPAGERの制約の一部について,Emeraude PCTE上のツールとして実験的実現を行った。3.2.の実現において,やはり実現が困難な部分があることを確認した。これらは,制約の(1)位置情報,(2)仕様(意図),(3)動的情報の3つの性質に大きく起因し,実際のプログラムコードでも同様の困難さが生じやすいことを考察した。つまり,ソフトウェアオブジェクトを形式的なオブジェクトに限定しても,制約の記述は困難であり,その原因は主に上記の3種類であることが,本実験の結論として得られた。

The foundation for establishing the control and relationship between UNIX and UNIX is established. For example,"Man, environment, MANPAGER, settings, good environment, how to control" In the middle of the game, the game is played and the game is played. A summary of the results is presented below. 1. This is the first time that the relationship between the two countries has been confirmed. For example, the number of bodies and the number of connections of the man are 17 and 22 respectively. 2.1. The relationship between Emeraude PCTE and MANPAGER is a part of the control,Emeraude PCTE is a part of the control. 3.2. The difficulty of the problem is confirmed. This restriction includes (1) location information,(2) status (meaning),(3) dynamic information, and (3) the nature of the information. The main reason for the difficulty in describing the three types of problems in the form of restriction and restriction is that there are three types of problems in the description.