Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce | IEEE Conference Publication | IEEE Xplore