实时数据分发服务系统重构正确性保证研究

为解决分布式系统动态配置时数据正确性、一致性问题,保证系统不因交互实体重配置而失效,提出分布式系统数据正确性概念。现有的中间件是在应用层或者通过重配置管理器／控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种发布/订阅系统的体系结构和特性来自动实现正确性保证。分析实时数据分发服务系统重构时对保持数据正确性的支持,并给出自动实现正确性保证的例子。