Compensation is one typical feature for long-running transactions.This keynote speech presents a design model for specifying the behaviour of compensable programs.

• 本次演讲先讨论基于测距的定位和非测距定位的模型与应用，并延展至各向异性无线传感网中的定位问题；