A Knowledge Base Programming Language for Evolutionary Prototyping of Software Systems

开发复杂的软件系统是一项昂贵的奋进。 如果可以快速构建原型来测试功能， 随着开发人员获得更多的知识， 那么复杂的系统可以从一个 一系列的原型设计工作。 这个项目使用了一个模型进化 一种原型设计方法，将（i）每个原型系统视为一个 目标系统的可执行抽象模型; 原型设计过程是一系列由 知识库管理系统（KBMS）。 该项目将开发一个 可扩展面向对象知识模型，一种多范式 计算模型的基础上嵌套的事务，和一个反射， 一种广谱、多范式的知识库编程语言 （KBPL）称为K，它将作为 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.