实时数据分发服务系统重构正确性保证研究
杨曙辉
王小非
陈龙
1.武汉数字工程研究所,武汉,4300742.武汉数字工程研究所,武汉,4300743.武汉数字工程研究所,武汉,430074
摘要：为解决分布式系统动态配置时数据正确性、一致性问题,保证系统不因交互实体重配置而失效,提出分布式系统数据正确性概念.现有的中间件是在应用层或者通过重配置管理器/控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种发布/订阅系统的体系结构和特性来自动实现正确性保证.分析实时数据分发服务系统重构时对保持数据正确性的支持,并给出自动实现正确性保证的例子.
关键词：系统重构正确性保证发布/订阅结构完整性相互一致性状态常量
分类号：TN919(通信)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 5-8,27 )
英文信息