A Calculus for Service Innovation | IEEE Conference Publication | IEEE Xplore