基于谓词逻辑的原型系统生成方法研究

彭君; 刘淑芬; 张欣佳; 王晓燕

您当前的位置：

首页 >

文章列表页 >

基于谓词逻辑的原型系统生成方法研究

学术论文 | 更新时间：2025-07-16

- 基于谓词逻辑的原型系统生成方法研究
- Study on Prototype System Generation Method Based on Predicate Logic
- 电子学报 2011年39卷第5期页码：1077-1081
- 作者机构：
  
  吉林大学计算机科学与技术学院,吉林,长春,130012
- 作者简介：
- 基金信息：
  
  国家863重点项目 (No.2009AA010314);国家自然科学基金 (No.60973041)
- DOI：
  中图分类号： TP311
- 纸质出版：2011
- 稿件说明：
移动端阅览
彭君, 刘淑芬, 张欣佳, 等. 基于谓词逻辑的原型系统生成方法研究[J]. 电子学报, 2011,39(5):1077-1081.

PENG Jun, LIU Shu-fen, ZHANG Xin-jia, et al. Study on Prototype System Generation Method Based on Predicate Logic[J]. Acta Electronica Sinica, 2011, 39(5): 1077-1081.
彭君, 刘淑芬, 张欣佳, 等. 基于谓词逻辑的原型系统生成方法研究[J]. 电子学报, 2011,39(5):1077-1081. DOI：

PENG Jun, LIU Shu-fen, ZHANG Xin-jia, et al. Study on Prototype System Generation Method Based on Predicate Logic[J]. Acta Electronica Sinica, 2011, 39(5): 1077-1081. DOI：

摘要

本文采用面向对象思想和模型驱动技术

提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素

通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则

并引入谓词逻辑使转换过程建立在牢固的数学基础之上

更能够保证原型系统的正确性和完整性

更易于处理需求变化对系统造成的影响

有效的降低了软件开发风险

提高了软件开发效率.

Abstract

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.

关键词

Keywords

references

浏览量

1124

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种基于模型驱动的笔式界面开发框架研究