Problem

現代軟體系統（如外掛系統或自主代理程序）日益依賴動態組合，但缺乏嚴謹的理論基礎，導致組件移除後的副作用難以完全撤銷（時間維度），且組件間的依賴關係與反應式管理（空間維度）難以自動化，造成系統狀態難以預測。

Method

研究將古典的「效應（Effect）」與「共效應（Coeffect）」概念提升為執行期機制。開發者能定義「可逆效應」以確保每個組件的副作用具備反轉機制，並利用「反應式共效應」根據情境變化自動驅動組件的啟動與停用。最後將兩者統一為「情境範式（Context Paradigm）」，透過中介機制確保組件間的觀測等價性。

Results

本研究建立了一套動態組合的演算模型（Calculus），證明時空可組合性可從單一組件擴展至多組件交錯的複雜系統。此外，研究實作了名為 Cordis 的元框架，提供具備效應追蹤、共效應解析及聲明式組件載入功能的核心函式庫，並成功支援配置協調與熱模組替換（Hot Module Replacement）。

Significance

此範式為建構複雜且具自我演進能力的系統提供了正式框架。它確保不同組件在交錯執行時互不干擾，顯著提升了大型動態系統的可靠性與維護效率，為未來需要高度動態擴充的軟體架構奠定了堅實的理論與實務基礎。