Transaction of Service Composition in Pervasive Computing and Its Correctness Analysis Based on ASM | IEEE Conference Publication | IEEE Xplore