Declarative Distributed Systems (DDSs) are distributed systems grounded in logic programming. Although DDS model-checking is undecidable in general, we detect decidable cases by tweaking the data-source bounds, the message expressiveness, and the channel type.

翻译：声明式分布式系统（DDSs）是基于逻辑编程的分布式系统。尽管DDS模型检测在一般情况下是不可判定的，但通过调整数据源边界、消息表达能力以及信道类型，我们检测出了一些可判定的情况。