[论文解读] The Emerging Web of Social Machines

Sílvio R. L. Meira, Vanilson Burégio+5 more|arXiv (Cornell University)|Oct 14, 2010

Advanced Malware Detection Techniques被引用 4

一句话总结

本文提出了一种形式化的代数模型，用于描述社会机器——即整合了人类与机器流程的软件系统——通过将它们定义为输入、输出、流程、约束和状态等结构化元组。作者提出了一种基于连接器和条件逻辑的组合框架，用于建模社会机器之间的交互，例如 Twitter 或 AWS 托管的服务，为理解和构建日益互联的社会系统网络提供了实用基础。

ABSTRACT

We define a notion of social machine and envisage an algebra that can describe networks of such. To start with, social machines are defined as tuples of input, output, processes, constraints, state, requests and responses, apart from defining the machines themselves, we define their connectors and conditionals that can be used to describe the interactions between any number of machines in a multitude of ways, as a means to represent real machines interacting in the real web, such as Twitter, Twitter running on top of Amazon AWS, mashups built using Twitter and, obviously, other social machines. This work is not a theoretical paper as yet, but, in more than one sense, we think we have found a way to describe web based information systems and are starting to work on what could be a practical way of dealing with the complexity of this emerging web of social machines that is all around us.

研究动机与目标

• 将社会机器的形式化定义为涉及人机交互的结构化系统。
• 应对混合了人类输入与自动化流程的基于网络的信息系统日益增长的复杂性。
• 开发一种实用的代数框架，用于建模多个社会机器之间的交互。
• 为设计、分析和组合动态的、现实世界中的网络应用（如社交媒体平台和混搭应用）提供基础。
• 支持基于社会与云基础设施构建的系统在软件工程实践中的演进。

提出的方法

• 将社会机器定义为包含输入、输出、流程、约束、状态、请求和响应的元组。
• 引入一种形式代数，使用连接器和条件逻辑，以组合和推理多个社会机器之间的交互。
• 利用该代数对真实世界系统（如 Twitter 和运行在 AWS 上的 Twitter）进行建模，将其作为可组合的社会机器。
• 将该框架应用于通过社会机器组件的结构化组合来表示混搭和其他复合网络应用。
• 设计该模型以具备可扩展性与实用性，支持在网页上实现动态和分布式交互。
• 将该方法定位为进行中的工作，邀请社区反馈，并计划未来发表于学术期刊。

实验结果

研究问题

• RQ1 如何正式定义并建模社会机器，使其成为结构化且可组合的系统？
• RQ2 在动态网络环境中，表示多个社会机器之间交互所需的代数构造有哪些？
• RQ3 如何将真实世界系统（如 Twitter 或云托管服务）表示为社会机器的组合？
• RQ4 哪些机制能够支持在社会机器交互中对约束、状态转换和条件行为的建模？
• RQ5 该框架能否作为工程复杂的人机协同网络应用的实用基础？

主要发现

• 所提出的代数模型成功捕捉了社会机器的核心组件，包括输入、输出、流程、约束和状态。
• 代数中的连接器和条件逻辑支持在多种交互模式下灵活且形式化地组合多个社会机器。
• 该框架能够将真实世界系统（如 Twitter 和 AWS 托管服务）建模为可组合的社会机器。
• 该模型被设计为实用的系统设计与分析工具，而不仅仅是理论抽象。
• 作者通过早期应用验证了该框架的可行性，并邀请社区反馈以进一步完善。
• 该工作为未来正式发表以及将该框架整合进社会与云基础系统软件工程实践奠定了基础。