A Formal Description of Web Services Container Architecture | IEEE Conference Publication | IEEE Xplore