声明式事务的一种实现