====== 17.1 Overview ====== [[fxdemo:03-part:17-fx-demo-logical-requirements:start | Go To FX Demo Logical Requirements ]] This section defines the formal logical requirements for the FX Demo Logical Profile. The requirements in this section preserve FX domain scope, platform independence, distributed logical structure, explicit communication, FX information discipline, [[dido:99_annexes:annex-b-terms-and-definitions:r:runtime_plane|Runtime Plane]] separation, lifecycle discipline, governance, [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]], and the boundary between the FX Demo Logical Profile and later Implementation Profiles / [[dido:99_annexes:annex-b-terms-and-definitions:p:platform_specific_model|PSMs]], deployment plans, testability plans, and [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]] plans. ---- © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.