Study on Prototype System Generation Method Based on Predicate Logic

PENG Jun; LIU Shu-fen; ZHANG Xin-jia; WANG Xiao-yan

您当前的位置：

首页 >

文章列表页 >

Study on Prototype System Generation Method Based on Predicate Logic

更新时间：2025-07-16

- Study on Prototype System Generation Method Based on Predicate Logic
- Acta Electronica Sinica Vol. 39, Issue 5, Pages: 1077-1081(2011)
- 作者机构：
  
  吉林大学计算机科学与技术学院,吉林,长春,130012
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published：2011
- 稿件说明：
移动端阅览
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：

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

Views

1124

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research on a Model Driven Development Framework for Pen-Based User Interface

Related Author

CHEN Ming-xuan

DENG Chang-zhi

REN Lei

TIAN Feng

DAI Guo-zhong

Related Institution

Intelligence Engineering Laboratory, Institute of Software, Chinese Academy of Sciences

Graduate University of Chinese Academy of Sciences

School of Automation Science and Electrical Engineering, Beihang University

Intelligence Engineering Laboratory Institute of Software Chinese Academy of Sciences Beijing China

Graduate University of Chinese Academy of Sciences Beijing China

⁰