Enterprise process consistency expressed by a formal description of transactions