distributed-systems

Is there an existing specification for describing (in computer readable form) the preconditions necessary for an API endpoint to succeed? E.g. for a /cancel-invoice/12345, the precondition is that the invoice exists