A Formal Description of a Mapping from Business Processes