Using Process Models for the Design of Service-Oriented Architectures: Methodology and E-Commerce Case Study | IEEE Conference Publication | IEEE Xplore