一个account类实例的最小(正常)行为历史包含下列操作 opensetupdeposit.withdrawclose 可能发生许多其他行为 Opensetupdeposit [deposit|withdraw|balance|summarize|creditLimit]n.withdrawclose 从上列序列可以随机地产生一系列不同的操作序列 #r1:opensetupdepositdepo