Study of database for programs

程序数据库研究

基本信息

批准号：
16500071
负责人：
MIYAMOTO Kenji
金额：
$ 2.08万
依托单位：
Hosei University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2007
项目状态：
已结题

项目摘要

The aim of this research is to establish a framework for sharing complex procedural knowledge.Current Semantic Web technology provides a knowledge-sharing framework by sharing meta-level explicit semantics and adding tags indicating their meanings.Semantic Web is supposed, however, for concrete data in specific domain and is not suitable for procedural knowledge such as problem solving.The presented approach emphasizes reusability of structural knowledse composed of many components of rather few kinds. To be properly reused, this kind of knowledge requires additional care of being prepared specifiable, applicable, and validatable.To investigate such mechanism, database of programs was desisned.In storing programs, Floyd-Hoare verification proofs are appended along with their abstract syntax trees.The searchins process descends the tree testins whether each node meets the requirement. If a node which meets the requirement is found, the subtree rooted from it is returned.Receiving the subtree, the client program check the proof tree and instantiate it to concrete syntax with variable names accommodated.As the result, the proposed database meets the above requirements:1. Specifiablility : Logical meaning is used to specify the target program, not keywords or function names.2. Applicability : Although stored in abstract form, retrieved programs are instantiated ready to use.3. Validatability : The meaning of the retrieved program can be certified before actual use.In addition to the above result, it was investigated how the availability is improved.If the first search trial fails, the improved system repeatedly change the requirement so that, if the answer to the new requirement is found, answer to the original one can easily be construct from it.By adding the newly constructed program back to the program store, the database can be fed automatically each time it is used. This self-feeding mechanism makes the database Web2.0.

这项研究的目的是建立一个共享复杂的程序知识的框架。语义Web技术通过共享元级别的显式语义和添加标签来提供知识共享框架，并添加标签表明其含义。但是，假设网络是在特定领域中的构造数据，并且不适合诸如问题的构图。种类。为了正确重复使用，这种知识需要额外护理被准备的，适用，适用和有效的。如果找到满足需求的节点，则返回从中扎根的子树。收集子树，客户端程序检查证明树并将其实例化至具有可变名称的混凝土语法。结果，结果数据库满足了上述要求：1。特殊性：逻辑含义用于指定目标程序，而不是关键字或函数名称2。适用性：尽管以抽象形式存储，但已检索的程序已实例化。3。有效性：可以在上述结果之前对检索程序的含义进行认证。在上述结果中，研究了如何提高可用性。如果第一个搜索试验失败了，则改进的系统反复更改要求，以便找到新需求的答案，如果找到了原始的一个人可以从构造中构建的原始构造的时间来构造。这种自我喂养机制使数据库Web2.0。