杰克逊系统开发

在建模階段會建立實體結構圖（entity structure diagram），並識別系統中的實體、其動作、實體在其生命週期中的動作時序，和實體和其動作的屬性 。實體結構圖會使用傑克遜結構化編程中的「結構圖」來表示，實體結構圖的目的是建立系統及組織架構的完整描述，設計者需決定在系統中哪些部份重要，哪些部份不重要，此階段強調設計者和使用者的溝通。

在網路階段會建立整個系統的模型，稱為「系統規格圖」（system specification diagram）或網路圖（network diagram），網路圖是呈現程序（以長方形表示）和彼此傳遞資料的方式，資料傳遞可能會用「狀態向量」（以有菱形的連線表示）或者是用「資料流」（以有圓形的連線表示）表示。此階段定義系統的機能．每一個實體都會成為網路圖中的一個程序或程式。外部程式之後會加入網路圖中，其目的是處理輸入、計算輸出並更新實體處理的資料，因此網路圖描述了整個系統，也描述各程序及各程式之間的資料和連接方式。

基本建模步驟處理現實世界的建模，而機能步驟中會加入產生輸出所需要的程序，系統時序步驟處理程序中的同步、並導入限制條件。

實現階段中抽象的網路模型會轉換為實際的系統，以「系統實現圖」（system implementation diagram）表示，系統實現圖中的系統會呼叫各機能的模組，以實現對應的機能。資料流會以模組之間的呼叫來表示，資料庫的符號表示實體狀態向量的集合，也有特殊符號表示檔案的緩衝區（必需以規劃在不同的時段執行的程序來實現）。

實現階段的主要考量是系統的最佳化，藉由轉換的方式，可以合併程序，減少實際程序的數量。

實體結構圖

實體結構圖表示系統中各實體之間的關係及其動作，包括以下的內容：

• 實體：實體是系統中的一個物件。
• 動作：此是指實體進行的動作及那些會影響其他實體的動作。
• 序列結構：此處的定義和杰克逊结构化编程的定義相同，利用序列結構來表示許多循序執行的動作，由左到右依序執行。
• 選擇結構：表示需由二個或二個以上的動作中選擇一個進行，選擇結構方塊的右上角會標示圓圈。
• 迭代結構：表示重複執行一個動作，選擇結構方塊的右上角會標示星號，一般迭代結構中只進行一個動作。
• 虛無元件：虛無元件表示像類似選擇結構中，某些情形下不需進行任何動作。

網路圖

網路圖（Network Diagram）表示各程序之間的交互關係，有些會稱為系統規格圖（System Specification Diagram），網路圖包括以下的內容：

• 程序：程序表示系統的機能，一般程序會和外界的實體藉由資料流連結建立關係。
• 資料流連結（datastream connection）：在資料流連結中，程序A（產生資料流的程序）程序主動送出資料給程序B。
• 狀態向量連結（state vector cnspection）：在狀態向量連結中，程序B（讀取狀態向量的程序）程序讀取程序A產生的狀態向量資訊。

資料流連結和狀態向量連結的差異在於主動的程序不同：在資料流連結中，產生資料流的程序A是主動程序，程序A依其選定的時間主動將資料傳送給程序B；在狀態向量連結中，產生狀態向量的程序A是被動程序，接收狀態向量的程序B定期去讀取程序A的狀態向量。簡單來說，資料流連結是訊息傳遞的抽象化，狀態向量是輪詢（由一個程序主動定期讀取其他許多程序的資料）的抽象化，狀態向量也是資料庫查詢的抽象化。