Specifying business methods with the work product pool approach | IEEE Conference Publication | IEEE Xplore