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種類であることが,本実験の結論として得られた。

作为建立表达软件对象之间的约束和关系的方法的基础，我们进行了创建 UNIX 命令数据库的实验。该数据库中处理的约束是与软件规范本身相关的约束，例如“可以在 man 命令的环境变量 MANPAGER 中设置哪些命令？”结果摘要如下所示。 1.虽然本次实验处理的命令只有cat、man、tar、lpr这四个命令，但我们确认了表达关系的ERA图相当复杂。例如，仅包含 man 命令的关系图有 17 个实体和 22 个关系。在Emeraude PCTE上表达了2.1中的关系图之后，我们在Emeraude PCTE上实验性地实现了一些tar选项和MANPAGER约束作为工具。在3.2的实现中，我们确认还有一些部分难以实现。这些问题很大程度上是由约束的三个特征引起的：（1）位置信息，（2）规范（意图），（3）动态信息，我们认为在实际的程序代码中很可能会出现类似的困难。换句话说，这个实验的结论是，即使软件对象仅限于形式对象，也很难描述约束，其原因主要是上述三种类型。