Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
复制标题
DOI：
--
复制
发表时间：
2011-05
期刊：
影响因子：
--
通讯作者：
Munindar P. Singh
中科院分区：
文献类型：
--
作者：
Munindar P. Singh
我们提出了一种新的方法，以面向交互的编程的基础上声明性地表示通信协议。我们的方法具有以下显著特点。首先，它将协议本身视为工程抽象。其次，它根据协议需要继续进行的信息（因此代理人正确地制定它）和协议将产生的信息（当它被制定时）来建模协议。第三，它自然地将传统的操作约束映射到协议的信息需求，从而无需额外的努力或推理即可获得所需的交互。第四，我们的方法自然支持无共享的制定：所有相关的内容都包含在通信中，不需要维护单独的全球状态。第五，我们的方法适应，但不要求，正式表示的协议的含义。我们通过文献中的示例来评估这种方法。
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing features. First, it treats a protocol as an engineering abstraction in its own right. Second, it models a protocol in terms of the information that the protocol needs to proceed (so agents enact it properly) and the information the protocol would produce (when it is enacted). Third, it naturally maps traditional operational constraints to the information needs of protocols, thereby obtaining the desired interactions without additional effort or reasoning. Fourth, our approach naturally supports shared nothing enactments: everything of relevance is included in the communications and no separate global state need be maintained. Fifth, our approach accommodates, but does not require, formal representations of the meanings of the protocols. We evaluate this approach via examples from the literature.