A formal framework to build software agents | IEEE Conference Publication | IEEE Xplore