一句话：提出基于行为模型的方法，为复杂异构 IoT 系统维持实时一致性，替代传统重试与回滚机制。
论文关注物联网（IoT）系统的可靠性与一致性保障问题。传统一致性维护方法多依赖重试与回滚机制，但在复杂、异构且要求实时一致性的 IoT 环境中往往力不从心，甚至可能引入进一步的问题，难以提供稳健且通用的解决方案。作者提出以行为模型为核心的一致性维护思路，通过行为模型刻画系统行为并约束实际执行，使“言”（模型/规约）与“行”（系统实际行为）保持一致，从而应对 IoT 系统的复杂性、异构性与实时一致性需求。摘要未给出具体实现细节、案例研究或实验评估结果。
Ensuring the reliability and consistency of Internet of Things (IoT) systems is critical. Traditional approaches to maintaining consistency often rely on retry and rollback mechanisms, which can be inadequate and lead to further complications. These methods struggle with the complexity and heterogeneity of IoT systems, failing to provide robust and general solutions for real-time consistency assurance.
DOI 原文 ·
@inproceedings{paperbot8366,
title = {Match Word with Deed: Maintaining Consistency for IoT Systems with Behavior Models},
author = {Tao Wang and Wei Chen and Liwei Liu and Guoquan Wu and Jun Wei and Tao Huang},
booktitle = {ASE},
year = {2024},
doi = {10.1145/3691620.3695319}
}