An agent-based approach to specify a Web service-oriented environment | IEEE Conference Publication | IEEE Xplore