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

摘要

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