运算构造和检验系统FC的设计和实现  

Design and Implementation of the Function Construction and Checking System FC

作　　者：陈海明[1] 

机构地区：[1]中国科学院软件研究所计算机科学开放研究实验室

出　　处：《软件学报》1998年第10期755-759,共5页Journal of Software

基　　金：国家自然科学基金;国家863高科技项目;国家"九五"科技攻关计划基金

摘　　要：运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向．The function construction and checking system FC (function constructor) is a component of SAQ (specification acquisition) which utilizes CFRFs (recursive functions defined on context free languages) to represent the semantics of a specification. FC provides the interactive and inductive definition, and the evaluation of CFRF, supporting mutually recursive definition process of CFRFs. In this paper, the functions, structure and implementation details of FC are described, the possible improvement is discussed.

关 键 词：递归函数 函数计算 形式规约 FC 软件工程 

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