[论文解读] A reference model for interaction semantics

Johannes Reich, Tizian Schröder|arXiv (Cornell University)|Dec 23, 2017

Service-Oriented Architecture and Web Services参考文献 23被引用 4

一句话总结

本文提出了一种离散系统中交互语义的参考模型，根据信息流（单向/双向）和处理特性（状态、确定性、同步性）对交互进行分类。它区分了水平（对称）和垂直（非对称）双向交互，表明水平交互本质上是状态化的、异步的且非确定性的——受协议约束——而垂直交互则遵循自上而下使用或自下而上观察的模式，为系统工程和标准开发中的互操作性提供了形式化基础。

ABSTRACT

In this article, we introduce a reference model for interaction semantics among communicating discrete systems to guide the discourse on interoperability. The necessary set of unifying concepts is small and comprises essentially the notion of discrete systems interacting by exchanging information. It is based on a simple, but nevertheless complete classification of system interactions with respect to information transport and processing. Information transport can only be uni- or bidirectional and information processing is subclassified along the binary dimensions of state, determinism and synchronicity. For interactions with bidirectional information flow we are able to define a criterion for a layered structure of systems: we name a bidirectional interaction "horizontal" if all interacting systems behave the same with respect to state, determinism and synchronicity and we name it "vertical" --- providing a semantic direction --- if there is a behavioral asymmetry between the interacting systems with respect to these properties. It is shown that horizontal interactions are essentially stateful, asynchronous and nondeterministic and are described by protocols. Vertical interactions are essentially top-down-usage, described by object models or operations, and bottom-up-observation, described by anonymous events. The reference model thereby helps us to understand the significant relationships that are created between interacting discrete systems by their interactions and guides us on how to talk about discrete system interoperability. To show its conceptual power, we apply the reference model to assess several other architectural models, communication technologies and so called software design or architectural styles like SOA and REST.

研究动机与目标

• 建立一个统一的概念框架，以理解离散系统之间的交互语义，从而提升互操作性讨论的质量。
• 通过引入系统交互的形式化分类，弥补现有架构模型中缺乏一致且可验证的分层结构的问题。
• 阐明单向与双向交互之间的语义差异，特别是双向流所引入的根本性差异。
• 通过定义系统分层和交互类型的清晰标准，为标准化和工业指导提供基础。
• 通过分析和批判现有架构模型、通信技术和设计风格（如SOA和REST），展示该模型的实用性。

提出的方法

• 使用依赖时间的信号（输入、输出、内部信号）对离散系统进行形式化定义，并通过系统函数将输入和内部状态映射到输出和下一状态。
• 引入I/O转换系统抽象，消除显式的时间依赖性，从而实现基于协议的行为建模。
• 沿三个二元维度对系统交互进行分类：信息流（单向 vs. 双向）、状态（有状态 vs. 无状态）、确定性（确定性 vs. 非确定性）以及同步性（同步 vs. 异步）。
• 将水平交互定义为系统间行为对称（相同的状态、确定性和同步性），而将垂直交互定义为非对称，引入语义方向。
• 利用该模型分析并批判现有框架（如LCIM、RAMI4.0和IIC连接性框架），揭示其缺乏可验证的分层标准。
• 推导出形式化结论，例如：为避免循环依赖，必须引入内部事件机制；并区分转换性系统行为与组合性系统行为。

实验结果

研究问题

• RQ1 哪些是最小且统一的概念，足以形式化描述和分类离散系统之间的交互？
• RQ2 双向系统交互在语义上如何与单向交互相区别？这对系统设计有何影响？
• RQ3 定义系统交互中有效分层结构的标准是什么？为何许多现有架构模型未能满足这些标准？
• RQ4 不同交互模式——水平（对称）与垂直（非对称）——在处理语义和实现需求上存在哪些差异？
• RQ5 该参考模型在多大程度上可用于评估或改进现有软件架构、通信协议以及SOA和REST等设计风格？

主要发现

• 水平交互本质上是状态化的、异步的且非确定性的，必须通过正式协议来描述。
• 垂直交互的特点是自上而下的使用（如对象模型或操作）和自下而上的观察（如匿名事件），体现了语义方向。
• 双向交互不仅仅是两个单向流的组合；它们引入了新的语义约束和行为特征。
• 许多现有架构模型（如LCIM、RAMI4.0、IIC）未能提供分层的可验证排序标准，而是将不同方面混杂在一起，而非建立真正的层次结构。
• 仅通过对象模型暴露远程功能的技术不足以实现水平交互，因为水平交互需要基于协议的状态管理。
• 该模型为区分系统（转换性行为）与组件（组合性行为）提供了形式化基础，解决了组件化设计中的模糊性问题。