A Knowledge Base Programming Language for Evolutionary Prototyping of Software Systems

开发复杂的软件系统是一项代价高昂的工作。如果随着开发人员对他们的需求有了更多的了解，可以快速构建原型来测试这些系统的功能和性能，那么复杂的系统就可以从一系列的原型工作中演变出来。该项目使用模型演化方法进行原型开发，将(I)每个原型系统视为目标系统的一个可执行抽象模型，(Ii)将原型开发过程视为由知识库管理系统(KBMS)支持的一系列模型演化。该项目将开发一个可扩展的面向对象的知识模型，一个基于嵌套事务的多范例计算模型，以及一个反射的、广谱的、多范例的知识库编程语言(KBPL)，它将作为KBMS支持的进化原型系统中的通用原型语言。

The development of complex software systems is a costly endeavor. If prototypes can be rapidly constructed to test the functionality and performance of these systems as the developers gain more knowledge about their requirements, then complex systems can evolve from a series of prototyping efforts. This project uses a model evolution approach to prototyping by treating (i) each prototype systems as an executable abstract model of the target system and (ii) the prototyping process as a series of model evolution supported by a knowledge-base management systems (KBMS). The project will develop an extensible object-oriented knowledge model, a multi-paradigm computation model based on nested transactions, and a reflective, wide-spectrum, and multi-paradigm knowledge base programming language (KBPL) called K which will serve as the common prototyping language in a KBMS-supported evolutionary prototyping system.