交互式环境下基于知识的形式化软件设计技术  

A Formal Software Design Technology Based on Knowledge in an Interactive Environment

作　　者：李彤[1] 柳青[1] 孔兵[1] 王黎霞[2] 

机构地区：[1]云南大学计算机科学系,昆明650091 [2]云南大学经济学院,昆明650091

出　　处：《计算机工程》2000年第4期41-43,共3页Computer Engineering

基　　金：云南省自然科学基金项目"基于公理语义的面向对象并行软件自动化研究"!(98F005G);云南省青年学术技术带头人培养基金!(19

摘　　要：提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代码为止。设计过程由分解树来描述。In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms. By the support of knowledge base composed of sample base, primitive base and rule base, a software function is repeatedly decomposed into many refined software functions until all the software functions can be transformed into algorithmic object codes by semantic subroutines in primitive base. The design process can be described by decomposition tree.

关 键 词：交互式环境 知识库 形式化软件设计 分解树 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]