The Formalization of Open Collection System of Information Objects

ZHAO Zheng-xu; ZHANG Chang-you; LIU Li-jia

Chinese

您当前的位置：

首页 >

文章列表页 >

The Formalization of Open Collection System of Information Objects

更新时间：2026-09-04

- The Formalization of Open Collection System of Information Objects
- Vol. 27, Issue 8, Pages: 20-23(2010)
- 作者机构：
  
  石家庄铁道大学机构信息科学技术学院,河北,石家庄,050043
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2010
- 稿件说明：
移动端阅览
赵正旭, 张常有, 刘立嘉. 信息对象开放式采集系统的形式化描述[J]. 微电子学与计算机, 2010, 27(8): 20-23.

ZHAO Zheng-xu, ZHANG Chang-you, LIU Li-jia. The Formalization of Open Collection System of Information Objects[J]. 2010, 27(8): 20-23.
赵正旭, 张常有, 刘立嘉. 信息对象开放式采集系统的形式化描述[J]. 微电子学与计算机, 2010, 27(8): 20-23. DOI：

ZHAO Zheng-xu, ZHANG Chang-you, LIU Li-jia. The Formalization of Open Collection System of Information Objects[J]. 2010, 27(8): 20-23. DOI：

摘要

为获得研究对象的描述特征

设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上

使用Z规范对系统需求进行了形式化描述

能够有效避免二义性

并有利于系统的进一步模型检测.

Abstract

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.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A high-efficiency charge pump for ultra-low voltage boost systems

A review of large model development: technological evolution from BERT to Deepseek

Steganography model guided by attention mechanism and improved dense convolution

Monte carlo analysis of V-layout trench SiC neutron detector

High gain stability high temperature operational amplifier based on reverse body bias

Related Author

No data

Related Institution

No data

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰