会议专题

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

为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上.使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并有利于系统的进一步模型检测.

信息对象 开放式采集系统 Z规范 形式化描述

赵正旭 张常有 刘立嘉

石家庄铁道大学信息科学技术学院,河北石家庄050043

国内会议

2010全国开放式分布与并行计算学术年会

乌鲁木齐

中文

20-23

2010-08-19(万方平台首次上网日期,不代表论文的发表时间)