File Transfer Access and Management - Design Specification Based on Abstract Data Types