张什么来着

摘要： 概述 第三单元作业，我们基于给定的JML规格，实现了一个社交网络的架构，本质上是无向加权连通图的构建，以人为节点，关系为连线，支持消息的直接、间接发送。同时，为了方便社交网络的处理，我们还引入了群这一概念，将指定的人加入群中，方便节点的批量处理如群发消息等。此外，我们还引入了异常处理系统，对于图的处 阅读全文