大图

一个大图可以被建模为一个图（链接图）和一组树（位置图）的叠加。大图的每个节点都是图的一部分，也是描述节点如何嵌套的一些树的一部分。大图可以方便地、正式地显示为图表。它们在泛在计算的分布式系统建模中得到了应用，可以用来描述移动交互。

除了节点和（超）边，一个大图可能有一个或多个区域与之相关，这些区域是地方森林中的根，地方图中有零个或多个洞，其他大图区域可能被插入其中。同样地，我们可以给节点分配控制，这些控制定义了身份和算数（一个给定的节点可以连接链接图边的端口数量）。这些控件是从大图签名中提取的。在链接图中，我们定义了内部和外部的名称，这些名称定义了连接点，在这些连接点上，重合的名称可以融合成一个单一的链接。

一个大图是一个5元组。.这些分别被称为大图的内部和外部界面。从形式上讲，每个大图都是一个对称部分单项类（通常缩写为spm-category）中的箭头，其中的对象就是这些界面。因此，大图的组成可以用类别中的箭头组成来定义。

定向大图是大图的一个概括，其中链接图的超边是有方向的。接口的端口和名称被扩展为极性（正或负），要求超边的方向从负到正。有向大图被引入作为描述处理位置和资源通信的计算范式的元模型，其中有向链接图提供了对资源依赖性或信息流的自然描述。应用领域的例子是安全协议、资源访问管理和云计算。

具有共享性的大图是Milner形式化的一个概括，允许直接表示重叠或相交的空间位置。在共享大图中，地点图被定义为一个有向无环图（DAG），即prnt{displaystyleprnt}是一个二元关系，而不是一个二元关系。是一个二元关系，而不是一个地图。链接图的定义不受共享引入的影响。请注意，标准大图是有共享的大图的一个子类。

共享大图的应用领域包括无线网络协议、国内无线网络的实时管理和混合现实系统。