用于自主计算的基于随机定时谓词的通信原语
Stochastically timed predicate-based communication primitives for autonomic computing
摘要：
基于谓词的通信允许系统的组件以多播方式向在执行时通过谓词的评估确定的组件的集合发送消息和请求。基于谓词的通信可以大大简化自治和自适应系统的编程。我们提出了之前工作中引入的软件组件集成语言（SCEL）的随机定时扩展。这样的扩展提出了许多重要的设计和形式语义问题，在不同的抽象层次上有不同的解决方案。我们将讨论其中的四个选项，其中两个更详细。我们提供了一个正式的语义定义和使用的语言建模的自行车共享系统的说明，以及一些初步的系统性能分析。
英文摘要：
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication can greatly simplify the programming of autonomous and adaptive systems. We present a stochastically timed extension of the Software Component Ensemble Language (SCEL) that was introduced in previous work. Such an extension raises a number of non-trivial design and formal semantics issues with different options as possible solutions at different levels of abstraction. We discuss four of these options, of which two in more detail. We provide a formal semantics definition and an illustration of the use of the language modeling a bike sharing system, together with some preliminary analysis of the system performance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
