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

宣言的プログラミングにおけるソフトウェア発展の研究

声明式编程中的软件开发研究

基本信息

批准号：
16016284
负责人：
佐藤健
金额：
$ 6.34万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2005
项目状态：
已结题

项目摘要

現在のように、ソフトウェアのバージョンアップが頻繁に生じる状況では、ソフトウェア変更管理(ソフトウェア発展)の技術は大変重要なものである。本研究では、宣言的プログラミングにおけるソフトウェア発展を考える。これは、論理型プログラミングや関数型プログラミングなどの宣言的なプログラミングが数学的な体系に基づいているため、ソフトウェア発展技術の構築のための理論が構築しやすいと考えたためである。本年度は、前年度行ったUML(Unified Modelling Language)クラス図の矛盾検出および自動修正の検討を発展させ、論理プログラミングによる実装を行った。クラス図の各コンポーネントを論理プログラミングのルールに変換し、そのルール上での矛盾の導出がクラス図での矛盾検出と同値になるような手法の開発を行った。さらに論理プログラミングにおけるメタルールを用いることでルール集合のどの部分が矛盾であるかを検出できるようになった。このルール集合の矛盾部分に対して極小被覆集合アルゴリズムを用いて極小にUMLの部分を消去することで矛盾除去ができる手法を開発した。この手法を検証するためにプロトタイプシステムを作成し、高速処理への見通しを得た。また、UMLクラス図の部分クラスにおいて矛盾検証そのものが不要になるものを発見し、さらに部分クラスを分類して各表現能力に応じて矛盾検証アルゴリズムがどの程度計算量的に複雑になるかについても見当した。

At present, there is an increase in the level of health and health in the market, and in the management of technology and technology. The purpose of this study is to make an examination of the exhibition in this study. The system of mathematics, the system of mathematics, the theory of technology, the theory of mathematics, the system of mathematics, technology, technology, science, science, science and technology. In the current year and in the previous year, the UML (Unified Modelling Language) issued an automatic correction program for the exhibition and for the management of the equipment. Please tell each other that there is a conflict between each and every one of them, that is, if there is a contradiction between each and every one of them, if there is a contradiction between each and every one of them, if there is a conflict between each and every one of them, if there is a conflict between each and every one of them, please do so in the same way. Please tell me that there is a contradiction between the two parts of the collection in the middle of the day. In the first part of the collection, there is a contradiction in the collection. In the case of a small covering collection, a small UML is used to partially eliminate the contradiction and remove the contradiction. The gimmick, the high speed, the speed. There is a contradiction between the two parts of the UML. There is a contradiction between the two parts. There is no difference between the two groups. There is a difference in the level of measurement.