[论文解读] Design discussion on the ISDA Common Domain Model

Christopher D. Clack|arXiv (Cornell University)|Nov 29, 2017

Blockchain Technology Applications and Security参考文献 2被引用 3

一句话总结

本文對 ISDA 通用領域模型（CDM）草案進行了批判性分析，聚焦於數據來源、時間戳、一致性、操作、事件和狀態轉移等基礎設計挑戰。文章主張對這些要素進行嚴謹規範，以確保正確性與互操作性，並提倡技術無關的實現方式，以最大化在集中式與分佈式系統中的採用。

ABSTRACT

A new initiative from the International Swaps and Derivatives Association (ISDA) aims to establish a "Common Domain Model" (ISDA CDM): a new standard for data and process representation across the full range of derivatives instruments. Design of the ISDA CDM is at an early stage and the draft definition contains considerable complexity. This paper contributes by offering insight, analysis and discussion relating to key topics in the design space such as data lineage, timestamps, consistency, operations, events, state and state transitions.

研究动机与目标

• 分析並對 ISDA CDM 草案定義提供反饋，其目標是標準化衍生品工具的數據與流程表達。
• 識別並討論基礎概念中的關鍵設計挑戰，如數據來源、時間戳、一致性、操作、事件與狀態轉移。
• 主張對操作與事件進行嚴謹規範，以確保 ISDA CDM 實作中的正確性、完整性與一致性。
• 透過強調技術無關設計，支持廣泛採用，使模型能部署於集中式或分佈式平台，包括 DLT。
• 促進辯論與反饋，以改善 ISDA CDM，特別是在將其優勢與具體設計原則對齊方面。

提出的方法

• 使用形式化與技術審查方法分析 ISDA CDM 草案定義，聚焦於數據來源、時間戳與狀態轉移等核心概念。
• 評估事件與操作定義的語義與語法清晰度，指出其中的不一致與模糊之處。
• 檢視技術選擇的影響，特別是區塊鏈技術（DLT）的角色，主張 CDM 應保持對實現平台的無關性。
• 評估事件定義中「狀態」的使用，批評其將動態變化的實體誤用為靜態系統屬性。
• 建議處理多個合約的操作需採用更嚴謹的語法與語義，以確保正確性與一致性。
• 採用工作論文格式以促進討論與反饋，目標是透過迭代改進來完善 CDM。

实验结果

研究问题

• RQ1 如何在 ISDA CDM 中嚴謹定義並實現數據來源，以確保衍生數據的可追溯性？
• RQ2 使用「狀態」來描述事件有何影響？這對狀態轉移的語義有何影響？
• RQ3 當前操作與事件定義在多合約情境下，多大程度上能支持正確性、完整性與一致性？
• RQ4 為何將 ISDA CDM 過於緊密地與區塊鏈技術（DLT）綁定是問題？如何使模型保持技術無關性？
• RQ5 如何將 ISDA CDM 功能清單中的優勢轉化為具體且可實現的設計原則？

主要发现

• ISDA CDM 草案在操作與事件的定義上缺乏嚴謹規範，特別是在處理多個合約時，這會損害正確性與一致性。
• 「狀態」一詞在事件定義中被誤用，因為事件是改變狀態的動態行為，而非其靜態表示。
• 事件中未明確規範價值轉移方向、單位，或支付與交付的區分，導致實作上的模糊性。
• 當前設計未能充分規範合約經濟描述在每次事件後應如何演變，引發語義一致性的擔憂。
• 聲稱 CDM 經優化以適用於 DLT 是具有誤導性的——數據來源與一致性可在非分佈式系統中實現，模型應對底層技術保持無關性。
• 操作與事件缺乏形式語義，使得無法驗證完整性或正確性等性質，必須對核心組件進行重大重構。