基于知识的可执行软件定义方法研究

本项研究提出一种集成软件定义高层构造方法和工具的开发思想。主要研究成果包括：实现了一个支持MHSC方法的软件原型开发框架PDF的核心功能，着重支持原型系统开发过程中的多语义维可执行定义模型。在对PSDL语言进行扩展和改进的基础上，开发了基于原型进化的可执行定义开发工具PSDL可视开发系统。实现了以PSDL形式表示的原型构件支持工具。提出一种扩充的进化IBIS模型，采用图模型概念，建立了一个支持可执行定义的进化式软件开发模型MHSC/DM。本项研究的成果在软件系统从定义开发到系统实现的进化式开发过程中起到关键的作用，有积极的研究意义和应用价值。