[论文解读] Online Communities: Visualization and Formalization

Jonathan P. Bowen|arXiv (Cornell University)|Jul 23, 2013

Information Systems Theories and Implementation参考文献 15被引用 6

一句话总结

本文提出了一种基于图可视化与Z符号的框架，用于可视化和形式化建模在线社区，其基础是实践共同体（CoP）模型。该研究展示了如何通过可视化社交网络数据（如Facebook和共同作者关系）来揭示子社区，并提出了一种形式化的Z规格说明，用于建模分层的社区成员关系与互动，为网络空间安全及其他领域中的社区动态分析提供了基础。

ABSTRACT

Online communities have increased in size and importance dramatically over the last decade. The fact that many communities are online means that it is possible to extract information about these communities and the connections between their members much more easily using software tools, despite their potentially very large size. The links between members of the community can be presented visually and often this can make patterns in the structure of sub-communities immediately obvious. The links and structures of layered communities can also be formalized to gain a better understanding of their modelling. This paper explores these links with some specific examples, including visualization of these relationships and a formalized model of communities using the Z notation. It also considers the development of such communities within the Community of Practice social science framework. Such approaches may be applicable for communities associated with cybersecurity and could be combined for a better understanding of their development.

研究动机与目标

• 通过社交与专业网络的图可视化表示，探索在线社区的可视化方法。
• 使用Z符号对社区结构进行形式化，以精确建模关系与成员身份。
• 将实践共同体（CoP）框架整合到在线社区分析中，强调领域、社区与实践三个核心要素。
• 检验该整合方法在网络安全社区（包括防御者与攻击者）中的适用性。
• 开发一种可重用的分层社区成员身份与互动模式概念模型。

提出的方法

• 将在线社区建模为图结构，其中顶点代表个人，边代表连接关系，使用TouchGraph和Microsoft Academic Search等工具进行可视化。
• 应用实践共同体（CoP）框架，识别三个核心要素：共享领域、积极参与的社区以及集体实践。
• 使用Z符号对社区成员身份与关系进行形式化，定义类型如PEOPLE、COMMUNITIES，以及关系如链接与成员关系。
• 定义操作如common!，用于计算个体之间的共同连接；以及communities!，用于检索某人所属的所有社区。
• 使用f uzz类型检查器验证Z规格说明，确保模型的形式正确性。
• 将可视化、CoP理论与形式化规格说明整合为统一的社区分析框架。

实验结果

研究问题

• RQ1 如何有效可视化在线社区，以揭示子社区与结构模式？
• RQ2 实践共同体（CoP）框架在建模在线社区发展与动态方面有哪些应用方式？
• RQ3 如何利用Z符号对分层社区成员身份与人际互动关系进行形式化规格说明？
• RQ4 基于Z的社区结构模型可以推导出哪些形式化属性？这些属性如何支持对社区行为的推理？
• RQ5 该整合方法如何支持对网络安全社区（包括对抗性子群体）的分析？

主要发现

• TouchGraph和Microsoft Academic ^{\ast}等可视化工具成功通过颜色编码聚类揭示了在线网络中的子社区，如计算机科学与博物馆相关群体。
• CoP框架通过识别共享领域、积极的社区参与以及集体实践，有效组织了在线社区，这些要素对知识发展至关重要。
• Z符号支持对社区关系的精确形式化建模，包括操作如common!（用于计算个体间的共同连接）与communities!（用于检索某人所属的所有社区）。
• 形式化模型支持分层社区成员身份，允许个体同时属于多个重叠社区，并在人员与社区的集合上定义操作。
• 该框架具有可扩展性，可应用于网络安全场景，有助于建模防御性与攻击性社区及其互动。
• 将可视化、CoP理论与Z形式化规格说明相结合，为社区动态与结构的进一步研究提供了坚实基础。