A really nice overview of how various transaction managers are modeled:
http://www.ti5.tu-harburg.de/Lecture/99ws/TP/06-OverviewOfTPSystemsAndProducts/sld001.htm