On specifying an environment of software agents and Web services | IEEE Conference Publication | IEEE Xplore