將 BPMN 圖表轉換為隱私演算

本文探討如何將 BPMN（商業流程模型與標記法）圖表轉換為隱私演算，以建立一個能驗證軟體是否符合隱私政策的正式框架。