PCTEを用いたUNIXコマンドデータベースの作成

• Item type: SIG Technical Reports(1)
• 公開日: 2000-01-14
• タイトル: PCTEを用いたUNIXコマンドデータベースの作成
• タイトル / 言語: en
• タイトル: Implementing a UNIX command database using PCTE
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北陸先端科学技術大学院大学情報科学研究科
• 著者所属: 北陸先端科学技術大学院大学情報科学研究科
• 著者所属(英): en
• 著者所属(英): School of Information Science Japan Advanced Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): School of Information Science Japan Advanced Institute of Science and Technology
• 著者名: 田中, 聡; 権藤, 克彦
• 著者名(英): Satoshi, Tanaka; Katsuhiko, Gondow
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 真のソフトウェアデータベースの実現への第一歩として、本研究では対象をUNIXファイルシステムに絞り、PCTEを用いてコマンドやファイル間の制約・関係の記述を試みる。制約には意図に関する制約や動的情報に関する制約など、計算機上での記述が困難なものが多数存在する。そういった制約のいくつかの例題に対して計算機の支援方法を提案し、完全に実現できない制約をどこまで記述が出来るかを、実際にその実現を試みたうえで検討する。UNIXコマンドにおける制約の実現をいくつか試みることにより、制約は同じような手段で実現できるものに分類出来ることが確認できた。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this study, we try to implement a UNIX command database using Emeraude PCTE, which gives us information of relations and restrictions. it is a first step to realize useful software databases. But we found it difficult to realize, restrictions including dynamic information or software semantics. For several examples, we propose partial solutions to describe such restrictions. We consider how to cope with restrictions that is not able to realize completely, and we try to realize restrictions. We classify their restrictions based on the experience.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 2000, 号 4(1999-SE-125), p. 83-90, 発行日 2000-01-14
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会