Conversion of business process models using workflow patterns | IEEE Conference Publication | IEEE Xplore