為雙向狀態機建模建立有效映射
作者:金鑫, 金遠平

軟體設計的一個重要規則是，任何程序的設計不可能不經過修改。許多並發，分散式和即時的應用程序與下層模組及硬體的關聯相當緊密。這些處於下層的模組和硬體也被稱為服務提供者。服務透過對服務使用者(應用程序)有用的一組原語(操作)來形式化的說明。這些原語描述或報告將由同等構件/實體執行的動作。這些服務原語可分為請求、指示、響應以及確認四種類型。對於執行一連串的動作，或根據所處的狀態不同的處理輸入(響應和指示)的應用程序，通常能由狀態機很好的執行，使用狀態機來建模很簡單自然。