一個大圖可以被建模為一個圖（鏈接圖）和一組樹（位置圖）的疊加。大圖的每個節點都是圖的一部分，也是描述節點如何嵌套的一些樹的一部分。大圖可以方便地、正式地顯示為圖表。它們在泛在計算的分布式系統建模中得到了應用，可以用來描述移動交互。

除了節點和（超）邊，一個大圖可能有一個或多個區域與之相關，這些區域是地方森林中的根，地方圖中有零個或多個洞，其他大圖區域可能被插入其中。同樣地，我們可以給節點分配控制，這些控制定義了身份和算數（一個給定的節點可以連接鏈接圖邊的端口數量）。這些控件是從大圖簽名中提取的。在鏈接圖中，我們定義了內部和外部的名稱，這些名稱定義了連接點，在這些連接點上，重合的名稱可以融合成一個單一的鏈接。

一個大圖是一個5元組。.這些分別被稱為大圖的內部和外部界面。從形式上講，每個大圖都是一個對稱部分單項類（通常縮寫為spm-category）中的箭頭，其中的對象就是這些界面。因此，大圖的組成可以用類別中的箭頭組成來定義。

定向大圖是大圖的一個概括，其中鏈接圖的超邊是有方向的。接口的端口和名稱被擴展為極性（正或負），要求超邊的方向從負到正。有向大圖被引入作為描述處理位置和資源通信的計算范式的元模型，其中有向鏈接圖提供了對資源依賴性或信息流的自然描述。應用領域的例子是安全協議、資源訪問管理和云計算。

具有共享性的大圖是Milner形式化的一個概括，允許直接表示重疊或相交的空間位置。在共享大圖中，地點圖被定義為一個有向無環圖（DAG），即prnt{displaystyleprnt}是一個二元關系，而不是一個二元關系。是一個二元關系，而不是一個地圖。鏈接圖的定義不受共享引入的影響。請注意，標準大圖是有共享的大圖的一個子類。

共享大圖的應用領域包括無線網絡協議、國內無線網絡的實時管理和混合現實系統。