信息对象开放式采集系统的形式化描述  

The Formalization of Open Collection System of Information Objects

作　　者：赵正旭[1] 张常有[1] 刘立嘉[1] 

机构地区：[1]石家庄铁道大学信息科学技术学院,河北石家庄050043

出　　处：《微电子学与计算机》2010年第8期20-23,共4页Microelectronics & Computer

基　　金：国家自然科学基金项目(60873208);河北省自然科学基金项目(F2009000929)

摘　　要：为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并有利于系统的进一步模型检测.In order to discover the discription properties of the research objects, we design an open system for information objects collecting over Internet. The major functions of this system include object registering, registration information querying, object information inputing, object updating, objects browsing, and so on. We formalize the system in Z notations to avoid the misunderstanding in semantics in the requirement specification. This formalization will be used in further model checking.

关 键 词：信息对象 采集系统 Z规范 形式化 

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