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 the establishment of the expression method of the constraints and relationships between software and hardware is now being implemented in UNIX. 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.

项目成果

田中聡.権藤克彦: "PCTEを用いたUNIXコマンドデータベースの作成"情報処理学会研究報告2000-SE-15. Vol2000No.4. 83-90 (2000)

Satoshi Tanaka。Katsuhiko Gondo：“使用 PCTE 创建 UNIX 命令数据库”日本信息处理协会研究报告 2000-SE-15 Vol2000No.4 (2000)。