Prototype system has been widely applied in military domain to analyze,determine and validate the rationale and mechanics of the real system. On the top of object-oriented and model-driven, this paper presents a predication-based prototype system (semi-) auto generation method through constraint extraction and iterative rcfinonmont on both static and dynamic models. The method abides by the reciprocity principle and introduces the predicate logic to guarantee the correctneess,integrity and flexibility of the prototype,which reduce the risk and efficiency of the software development.%本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则,并引入谓词逻辑使转换过程建立在牢固的数学基础之上,更能够保证原型系统的正确性和完整性,更易于处理需求变化对系统造成的影响,有效的降低了软件开发风险,提高了软件开发效率.
展开▼
