Using Process Models for the Design of Service-Oriented Architectures: Methodology and E-Commerce Case Study , Thomas, O., Leyking K., and Dreifus F. , Proceedings of the 41st Hawaii International Conference on System Sciences, (2008)