摘要
为获得研究对象的描述特征,设计一种面向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.
出处
《微电子学与计算机》
CSCD
北大核心
2010年第8期20-23,共4页
Microelectronics & Computer
基金
国家自然科学基金项目(60873208)
河北省自然科学基金项目(F2009000929)
关键词
信息对象
采集系统
Z规范
形式化
information object
collection system
Z notation
formalization
