摘要
本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则,并引入谓词逻辑使转换过程建立在牢固的数学基础之上,更能够保证原型系统的正确性和完整性,更易于处理需求变化对系统造成的影响,有效的降低了软件开发风险,提高了软件开发效率.
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 refinement on both static and dynamic models.The method abides by the reciprocity principle and introduces the predicate logic to guarantee the correctness,integrity and flexibility of the prototype,which reduce the risk and efficiency of the software development.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第5期1077-1081,共5页
Acta Electronica Sinica
基金
国家863重点项目(No.2009AA010314)
国家自然科学基金(No.60973041)
关键词
谓词逻辑
原型系统
模型驱动
约束抽取
predicate logic
prototype system
model driven
constraint extraction
