管理運算模型:工作流的代數化表述、理論推導及其在AI管理中的價值
企業與公共組織導入人工智慧時,經常採取工具導向策略,將AI配置於文案生成、摘要、客服或單點自動化,卻未先形式化管理流程中的狀態轉換、權責界面與完成條件。本文提出「管理運算模型」(Management Operations Model, MOM),以「管理不是管理事件,而是管理事件之間的運算規則」為核心命題,將管理事件表示為多維狀態,並定義時間推進、資訊更新、責任轉移、決策完成、證據累積及任務完成六種基本運算。本文進一步區分任務完成與管理完成,主張工作流只有在必要運算依適當次序達到門檻、證據可驗證且進入合法終止狀態時,才構成管理閉合。理論上,本模型整合工作流管理、流程代數、Petri網、組織慣例與狀態轉移觀點;實務上,則可作為AI代理人分工、人機權限配置、流程瓶頸診斷、治理稽核與AI成熟度評估的共同語言。本文屬概念性理論建構,尚需透過案例比較、量表發展與實證研究驗證其區辨效度及預測力。
關鍵詞:管理運算、工作流、流程代數、管理完成、人工智慧治理、AI Agent、企業流程管理
一、問題背景與研究目的
傳統管理經常以人員、部門、任務、事件或成果作為主要分析單位。此種觀點有助於建立組織分工及績效責任,卻容易忽略事件如何由一個狀態轉換為另一個狀態。例如,一份申請被「收到」、一項決策被「核准」、一個任務被「完成」,都只是離散狀態;真正影響管理品質的,是收到後如何補足資訊、核准依據如何形成、責任如何交接、期限如何監控,以及完成結果如何被證明。
工作流管理早已將企業流程視為可定義、執行與監控的活動序列,並強調流程定義、角色、資料及執行控制。流程代數與Petri網則提供順序、分支、並行、同步及可達性分析等形式工具。然而,現有模型多聚焦流程控制與系統行為,對「管理完成」所需的責任、證據、決策與時間語意,往往分散在不同欄位或治理制度之中。
本文的核心主張是:管理不是直接管理孤立事件,而是設計、執行與修正事件之間的運算規則。
基於此,本文嘗試建立一套可用於管理分析及AI工作流設計的中層理論。其目的不是宣稱創立新的純數學分支,而是借用代數結構、狀態轉移與形式系統的語言,把隱性的管理邏輯轉換為可定義、可比較、可驗證及可計算的模型。
二、理論背景與研究缺口
(一)工作流管理與企業流程管理
Workflow Management Coalition的參考模型將工作流管理視為對業務流程之定義、建立、執行及控制,並建構流程定義工具、工作流執行服務、應用程式、使用者工作清單及管理監控等介面。此傳統奠定了流程可被明確表達並由資訊系統執行的基礎。然而,流程模型中的「完成」常被表達為活動或流程實例到達終點,未必等同組織在責任解除、資訊同步、證據保存與風險控制上的完整閉合。
(二)流程代數、狀態轉移與Petri網
流程代數以組合運算描述行為的先後、選擇與並行,並可為BPMN提供形式語意;Petri網則適合分析並行、同步、死鎖、活性與可達性。這些形式方法證明,工作流不只是圖像,而可被轉換為具有嚴謹語意的系統。本文承接其「狀態與轉換」觀點,但進一步要求每一個轉換具有管理語意:資訊是否足夠、責任是否有效移轉、決策是否有依據,以及證據是否可追溯。
(三)組織慣例
組織慣例理論將慣例理解為多位行動者反覆而相互依賴的行動模式,並區分抽象、可指涉的慣例結構與特定時間、地點、人物所實踐的具體行動。這說明組織秩序既不是靜態SOP,也不是完全由個人即興形成,而是在規則與實作之間持續生成。管理運算模型將此洞見形式化:同一運算規則可由不同角色、工具或AI代理人執行,但必須維持必要的狀態轉換與治理約束。
(四)研究缺口
上述領域分別處理流程結構、行為語意、角色與資料、組織實作及系統驗證,但尚缺少一套面向一般管理、同時適用於人類與AI代理人的共同運算語言。本文所填補的不是「流程研究不存在」的缺口,而是以下整合性缺口:
- 將資訊、責任、時間、決策、證據與任務由流程屬性提升為狀態轉換運算。
- 明確區分任務完成與管理完成。
- 以運算順序、依賴、閉合、冪等與可逆性診斷管理品質。
- 建立可供AI Agent分工及人機治理使用的中介層。
三、本體論立場與基本概念
管理事件是組織可辨識、具有狀態且可被一項或多項管理運算改變的對象。事件可以是一份申請、一筆訂單、一項異常、一個專案里程碑或一個待處理案件。
對任一事件 \(A\),其管理狀態表示為:
其中,\(\tau\) 為時間狀態,\(i\) 為資訊狀態,\(r\) 為責任狀態,\(d\) 為決策狀態,\(p\) 為證據狀態,\(w\) 為任務狀態。各維度可採二元、序位、比例或集合形式表示。
管理運算是將一個合法管理狀態轉換為另一個管理狀態的函數:
本文定義基本運算集合:
此本體論選擇意味著,角色、期限或文件不只是事件的靜態欄位;當它們真正改變案件的可處理性、合法性或可驗證性時,即構成管理運算。
四、六元管理運算模型
| 符號 | 運算 | 主要問題 | 典型輸出 | AI可承擔範圍 |
|---|---|---|---|---|
| \(T\) | 時間推進 | 何時啟動、提醒、逾期、升級或失效? | 期限、排程、逾期狀態 | 高:監控、提醒、預測、排程 |
| \(I\) | 資訊更新 | 資訊是否被蒐集、整理、驗證與同步? | 完整資料、摘要、分類、知識連結 | 高:OCR、RAG、分類、摘要、比對 |
| \(R\) | 責任轉移 | 誰在何種條件下承接、代理或解除責任? | 承辦人、權限、交接紀錄 | 中高:派案建議、通知、升級;最終問責需人類治理 |
| \(D\) | 決策完成 | 依據、權限與條件是否足以形成有效決策? | 核准、退件、補件、分流 | 依風險而定:規則型可自動,高風險須人工核決 |
| \(P\) | 證據累積 | 如何證明何人、何時、依何據完成何事? | 日誌、版本、附件、簽核、稽核軌跡 | 高:自動記錄、完整性檢查、異常偵測 |
| \(W\) | 任務完成 | 實際工作產出是否完成並符合驗收標準? | 文件、付款、通知、交付物 | 由低至高,視任務是否可數位執行而定 |
(一)時間推進 \(T\)
時間不只是背景變數,而會改變事件的管理意義。同一筆未回覆案件在一天後可能為「等待中」,十天後則成為「逾期」或「需升級」。因此,時間運算應包含啟動、等待、提醒、逾期、暫停、失效及升級等狀態轉換。
(二)資訊更新 \(I\)
\(x\) 可為新增資料、驗證結果、分類標籤或外部知識。資訊更新的核心不是資料量增加,而是提升後續運算的可行性與可信度。資訊不足會使決策失真,資訊不同步則會造成多個角色依據不同版本行動。
(三)責任轉移 \(R\)
責任轉移包含承接主體、權限、範圍、期限、接受條件與解除條件。單純寄送訊息不等於責任已有效轉移;只有當接收者具備知情、權限與可執行條件,責任運算才可視為成立。
(四)決策完成 \(D\)
決策完成要求決策依據、決策權限與結果狀態均明確。AI可提供預測、建議與規則比對,但重大人事、法律、倫理或安全決策仍應配置人類核決及申訴機制。
(五)證據累積 \(P\)
證據運算使管理主張成為可查驗事實。證據不應僅在流程終點一次補齊,而應伴隨重要運算形成 \(P_T,P_I,P_R,P_D,P_W\) 等稽核軌跡。故證據運算兼具獨立維度與伴隨性質。
(六)任務完成 \(W\)
任務完成代表實質產出達到驗收門檻 \(\theta_W\)。但任務完成只處理「工作有沒有做完」,並不能單獨保證責任、資訊、決策與證據已閉合。
五、代數性質與理論推導
本文所稱「代數化」是指以運算集合、組合規則與結構性質描述管理,而非假設所有管理運算均構成嚴格意義上的群或環。管理運算更接近帶有型別、前置條件、偏序及部分定義的轉換系統。
(一)封閉性
每次合法運算後,案件應進入制度可辨識的狀態。口頭交辦後無人知道案件位置、流程外私下處理或「不了了之」,都表示狀態離開制度定義域,形成管理失控。
(二)可組合性
小型管理運算可以組合為完整流程。可組合性的前提,是前一運算的輸出型別、證據及權限符合下一運算的輸入條件。
(三)非交換性
管理運算通常有順序要求。先資訊更新再決策,與先決策再補資料,可能產生不同合法性與品質;先付款後驗收,也不同於先驗收後付款。
(四)偏序與依賴
此式並非所有流程的固定順序,而是一個可依案件類型調整的偏序關係。多數複雜工作流不完全線性,部分運算可並行,部分則必須等待前置條件。
(五)冪等性
對標記完成、建立唯一案件、傳送核准結果等操作,冪等性可防止重複扣款、重複通知、重複建檔或重複核准,是AI Agent與分散式工作流的重要安全條件。
(六)有限可逆性
部分運算可撤銷、部分需補償、部分不可逆。故應區分:
- 可逆運算:撤回草稿、還原版本。
- 條件可逆運算:核准撤銷須經更高權限及留下理由。
- 不可逆運算:款項已匯出、資料已公開或已產生法律效果。
不可逆性越高,前置資訊與決策檢核門檻理應越高。
六、管理完成、閉合與失效型態
不同案件不一定需要全部六種運算。簡單通知可能只需 \(I,T,P,W\);高風險採購則可能需要全部運算及多層決策。
其中 \(m_o(A)\) 為運算完成程度,\(\theta_o\) 為門檻,\(\mathrm{Order}(A)\) 表示依賴順序合法,\(\mathrm{Evidence}(A)\) 表示必要證據可驗證,\(F\) 為合法終止狀態集合。
事情做完只是任務維度到達終點;若責任未解除、資訊未同步、決策無依據或證據不足,案件仍未管理完成。
任一必要運算未達最低門檻,即使其他維度表現良好,案件仍不能閉合。
管理失效的五種形式
| 失效型態 | 形式描述 | 實務症狀 |
|---|---|---|
| 未定義 | \(o(S)=?\) | 發生例外後不知道下一步 |
| 多值不一致 | 相同條件產生不同結果 | 標準因人而異、裁量無紀錄 |
| 運算中斷 | \(S_i\rightarrow\varnothing\) | 已收件未分派、已核准未通知 |
| 非法跳躍 | 略過必要前置狀態 | 未審查即付款、未授權即執行 |
| 假閉合 | \(W=1,C=0\) | 任務完成但無證據、未核銷或未交接 |
七、企業導入AI的理論與實務價值
(一)由工具導入轉向運算導入
企業不再只問「哪個部門使用哪一款AI」,而是盤點每一工作流中的六類運算,判斷哪些可自動化、哪些適合AI輔助、哪些必須由人類保留最終權限。此舉可減少因追逐工具而形成的零散專案。
(二)形成AI Agent的功能分工
六元模型可形成資訊代理、時間代理、責任協調代理、決策支援代理、證據代理與任務代理。這種分法不取代財務、人資或採購等領域代理人,而是提供一層跨領域的功能架構,使不同代理人的輸入、輸出及責任邊界可以被比較與組合。
(三)建立人機權限與風險分級
AI自主程度不宜由技術能力單獨決定,而應依運算風險配置。資訊整理、提醒及紀錄通常可高度自動化;責任正式移轉與高影響決策則需明確授權、人工核決、異議及補救機制。
(四)建立可量化的AI管理成熟度
企業可分別衡量六種運算的數位化率、自動化率、AI參與率、人工覆核率、例外率及證據完整度,而不是只以帳號數或提示詞使用量衡量AI導入。
其中 \(a_o\) 為該運算AI參與程度,\(q_o\) 為輸出品質,\(g_o\) 為治理符合度,\(\alpha_o\) 為風險或策略權重。乘積設計表示AI使用率高但品質或治理接近零,不應被視為成熟。
(五)支援流程瓶頸與根因診斷
流程延誤可被拆解為資訊等待時間、決策等待時間、責任接受時間、任務執行時間及證據補正時間。管理改善因而由「催某個人」轉為修正具體運算規則。
(六)形成AI治理的稽核語言
每一個AI動作均可被詢問:使用了哪些資訊?依據何種決策規則?誰承擔最終責任?何時可撤銷?留下何種證據?完成後進入何種合法狀態?這使模型風險管理、內控、資訊安全與業務流程能使用同一套語言。
(七)支援Agentic BPM
近年的代理式企業流程管理開始研究多個自主代理人在目標與護欄下執行流程。管理運算模型可補充其中的管理語意層:代理人不只追求任務目標,也必須滿足責任、證據、時間與合法終止條件,避免出現「代理人完成任務,但組織無法問責」的情形。
八、研究命題與可操作化方向
要由概念框架發展為可檢驗理論,必須提出可能被資料否證的命題。本文初步提出:
可操作化指標示例
| 構面 | 可能指標 |
|---|---|
| 時間運算 | 平均等待時間、提醒命中率、逾期率、升級反應時間 |
| 資訊運算 | 一次收件完整率、補件次數、版本衝突率、資料可信度 |
| 責任運算 | 責任接受率、無主案件率、交接確認時間、權限錯置率 |
| 決策運算 | 決策週期、規則一致性、人工覆核率、申訴翻轉率 |
| 證據運算 | 日誌完整率、附件缺漏率、可追溯率、稽核補件時間 |
| 任務運算 | 任務達成率、一次驗收通過率、返工率、產出品質 |
| 管理完成 | 合法結案率、假閉合率、結案後再開啟率、尾端待辦數 |
九、示例:企業採購流程
部門提出設備採購需求。傳統描述可能只有「申請—核准—採購—驗收」。管理運算模型則將其展開:
- 資訊更新:AI擷取需求、規格、庫存、預算與歷史價格,標示缺漏。
- 決策完成:系統依金額及採購規則分流;高風險案件由主管核決。
- 責任轉移:正式指派採購人員,確認權限、時限與代理人。
- 時間推進:建立詢價、交貨、驗收與付款期限,逾期自動升級。
- 任務完成:完成下單、收貨及驗收。
- 證據累積:保存報價、核准、驗收、發票、付款及異動紀錄。
若設備已到貨但驗收紀錄、財產登錄或發票缺漏,即有 \(W=1\) 但 \(C=0\) 的假閉合。此診斷比「採購已完成」更精確,也能指示AI下一步應補強證據或資訊,而不是重複執行購買任務。
十、理論邊界、限制與研究議程
- 概念層級:目前是概念模型,不是經實證確立的普遍定律;公式主要用於澄清結構。
- 六運算完備性:價值創造、情緒、文化、權力、學習或資源配置是否需成為獨立運算,仍待比較研究。
- 構面相依:證據可能是其他運算的伴隨運算;責任與決策也可能高度耦合,須檢驗區辨效度。
- 情境差異:高規範產業、創意工作、公共行政與教育組織對完成門檻及裁量的要求不同。
- 形式化程度:後續可採型別系統、標記轉移系統、Petri網、範疇論或時序邏輯,建立更嚴謹語意。
- 實證研究:可透過多案例研究建立編碼手冊,再發展量表,以流程日誌、訪談與績效資料進行驗證。
推薦的研究路徑為:概念澄清 → 專家效度 → 個案編碼 → 指標及量表發展 → 跨流程比較 → 因果與預測模型 → AI工作流實驗。
十一、結論
管理運算模型將管理的分析焦點由孤立事件、單一任務與個別人員,轉向事件之間可重複、可組合、可驗證的轉換規則。六種基本運算分別處理時間、資訊、責任、決策、證據與任務,使「完成」不再只是工作產出的終點,而是多項必要運算依正確順序到達合法終止狀態的結果。
此模型對AI管理的重要性,在於提供一套介於管理語言與技術語言之間的中介層。管理者可據此界定AI應處理何種運算、保留哪些人類權限、要求哪些證據,以及如何量測導入效果;技術團隊則可將其轉換為代理人角色、工作流節點、權限、事件日誌與例外規則。
事情做完,不等於管理完成;AI完成任務,也不等於組織完成治理。
因此,AI時代的管理能力,不只取決於模型有多聰明,而取決於組織能否明確定義:事件在什麼條件下,經由何種運算,由誰或哪一個代理人,轉換成可預期、可問責、可追溯並可閉合的結果。
參考文獻
- Feldman, M. S., & Pentland, B. T. (2003). Reconceptualizing organizational routines as a source of flexibility and change. Administrative Science Quarterly, 48(1), 94–118. DOI: 10.2307/3556620.
- Hollingsworth, D. (1993). The Workflow Reference Model. Workflow Management Coalition, TC00-1003.
- Pentland, B. T., & Feldman, M. S. (2005). Organizational routines as a unit of analysis. Industrial and Corporate Change, 14(5), 793–815. DOI: 10.1093/icc/dth070.
- van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1), 21–66.
- van der Aalst, W. M. P. (2004). Business process management demystified: A tutorial on models, systems and standards for workflow management. In Lectures on Concurrency and Petri Nets.
- Wong, P. Y. H., & Gibbons, J. (2008). A process semantics for BPMN. In Formal Methods and Software Engineering. Springer.
- Workflow Management Coalition. Public documents and workflow standards archive. https://wfmc.org/public-documents/
- De Giacomo, G., Kampik, T., Kirchdorfer, L., Montali, M., & Weinhuber, C. (2026). Formal foundations of agentic business process management. arXiv preprint.
- Zekeng Ndadji, M. M. (2026). Formal grammars in business process management: A systematic literature review. arXiv preprint.
本文為理論建構初稿。「管理運算模型」及其六元分類屬作者所提出的概念性整合架構;流程、工作流、Petri網、流程代數與組織慣例等基礎思想均有既有文獻來源。正式投稿前,應進一步進行系統性文獻回顧、概念邊界比較、引用格式校訂與實證驗證。