出力様式から形式的要求仕様を生成する要求分析システムGRACE

• Item type: SIG Technical Reports(1)
• 公開日: 1994-07-07
• タイトル: 出力様式から形式的要求仕様を生成する要求分析システムGRACE
• タイトル / 言語: en
• タイトル: Automatic requirement analysis system GRACE generating formal specification from output form.
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 青山学院大学理工学部経営工学科
• 著者所属: 青山学院大学理工学部経営工学科
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Engineering, Aoyama Gakuin University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Engineering, Aoyama Gakuin University
• 著者名: 大坪稔房; 原田, 実
• 著者名(英): Toshifusa, Ohtubo; Minoru, Harada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究の目的は，対象をバッチ型のファイル処理問題における帳票出力要求やファイル出力／更新要求に限定し，この要求を実現するための出力データと既存ファイル内のデータとの間の関係を分析する理論を確立し，これに基づく要求分析の自動化システムGRACE (nerative Requirement Analysis & Cognition Engi)を開発することである．この際，要求の曖昧性や矛盾や実行可能性なども検証する．GRACEが行うこのデータ間の関係付けが自動化された要求の意味解析である．ここには，データがどの実体や関連のものか，どのファイルに格納されているか，その値が他のデータ値とどのような関数関係を持つか，などが含まれる．結果であるデータ項目間の関係と出力／更新要求は，等関係式という数式の集合で表した形式的な仕様として出力され，後続する設計の自動化システムであるEOSへの入力になる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Almost all of the previous automatic programming systems have set importance to the conversion from a formal specification to a program, but there are very few systems which automate requirement analysis. The purpose of our research is, focusing on the requirements of batch type file processings, to establish the theory to analyse the functional dependency among the data on the specified output/update form and the stored data, and to develop the automatic requirement analysis system GRACE:Generative Requirement Analysis & Cognition Engine based on the proposed theory. GRACE can also verify the ambiguity, incompleteness, and executability of the requirement. Our requirement analysis includes the clarification of to whata entity or association the required data belongs, in what file it is stored, what relation it bears with the stored data. The anlysed relations and output/update requirements are represented formally as the set the equations called EOS specification, which is able to be input to the succeeding design automation system EOS.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1994, 号 55(1994-SE-099), p. 41-48, 発行日 1994-07-07
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会