RFID网络中发现服务系统的一种形式化规约

李信鹏; 赵文; 张世琨; 王立福

首页> 中文期刊> 《电子学报》 >RFID网络中发现服务系统的一种形式化规约

RFID网络中发现服务系统的一种形式化规约

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有高性能和可扩展性,又给出了一种基于Pub/Sub的多服务器分布式系统体系结构,并对该分布式系统的各个组成分别进行了规约.最后,本文基于"模拟关系"验证了该分布式系统满足(实现)了高层系统规约.

著录项

来源
《电子学报》 |2008年第b12期|9-18|共10页
作者
李信鹏; 赵文; 张世琨; 王立福;
展开▼
作者单位

北京大学信息科学技术学院;

北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室;

北京大学软件工程国家工程研究中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
无线射频识别(RFID); EPCIS发现服务; 模拟关系;

相似文献

中文文献
外文文献
专利

1. 一种基于形式化规约生成软件体系结构模型的方法 [J] . 祝义 ,黄志球 ,曹子宁 . 软件学报 . 2010,第011期
2. 基于Web的网络旅游服务系统的形式化B开发 [J] . 李信本 . 计算机工程 . 2007,第007期
3. 一种基于Petri网的RFID事件检测的形式化方法 [J] . 孙基男 ,黄雨 ,黄舒志 . 计算机研究与发展 . 2012,第011期
4. 形式化构件规约自动生成中的演化转换 [J] . 李刚 ,刘欣昕 . 计算机工程与应用 . 2002,第008期
5. 一种基于RFID的超市自助服务系统的设计 [J] . 吴娟 ,柳兴国 . 电子商务 . 2014,第004期
6. 一种资源发现模型的形式化表示及其应用 [C] . 包义保 ,贺龙涛 ,时金桥 . 2008中国计算机网络安全应急年会（信息内容安全分会） . 2008
7. 基于形式化规约的网络协议一致性测试技术研究 [A] . 古军 . 2005

RFID网络中发现服务系统的一种形式化规约

摘要

著录项

相似文献

相关主题

期刊订阅