Model-Driven Development of a Web Service-Oriented Architecture and Security Policies | IEEE Conference Publication | IEEE Xplore