活動驗證可讓活動作者和使用者先識別並報告活動組態中的錯誤，再執行。 Windows Workflow Foundation （WF） 提供下列三種類型的活動驗證：
RequiredArgument和OverloadGroup屬性。命令式程式碼驗證。
宣告式限制條件。
RequiredArgument 和 OverloadGroup 屬性表示活動的某些自變數是必要的。 命令式程式代碼型驗證為活動提供簡單的方式來提供本身的驗證，而宣告式條件約束可讓您驗證活動及其與包含工作流程的關聯性。 如果活動未根據驗證需求正確設定，則會傳回驗證錯誤和警告。 如果使用工作流程設計工具建立包含的工作流程，則會在設計工具中顯示任何驗證錯誤和警告。 如果在工作流程設計工具外部建立工作流程，則會在叫用工作流程時傳回任何驗證錯誤。 不論工作流程的建立方式為何，永遠不允許執行具有驗證錯誤的工作流程。 本節提供這些類型的活動驗證概觀，以及如何叫用活動驗證。
本節中
必要自變數和多載群組
描述如何使用 RequiredArgument 和 OverloadGroup 屬性來提供驗證。
命令式 Code-Based 驗證
描述如何針對 CodeActivity 和 NativeActivity 型活動使用程式代碼型驗證。
宣告式條件約束
描述如何使用宣告式條件約束來提供複雜的活動驗證。
呼叫活動驗證
討論何時自動叫用活動驗證，以及如何明確叫用驗證。
