Back-end Functional Specification