Definition of the ASDF Format