This is more of a SAS wish list
JMP SaveAs SAS Dataset can save JMP column properties in the SAS Dataset Extended attributes
Create a SAS Macro that will read these extended attributes, create and apply a user format from the JMP Value Labels.