中文摘要：

为获得研究对象的描述特征,设计一种面向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.