Intermediate Executable Architectural Specifications for KBSA, Part I