The transaction level is a substantially higher level of abstraction than standard behavioral level, and its advantages are compelling.