摘要：本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则,并引入谓词逻辑使转换过程建立在牢固的数学基础之上,更能够保证原型系统的正确性和完整性,更易于处理需求变化对系统造成的影响,有效的降低了软件开发风险,提高了软件开发效率.

关键词：谓词逻辑 原型系统 模型驱动 约束抽取 

单位：吉林大学计算机科学与技术学院; 吉林长春130012