Automatic Inference and Effective Application of Temporal Specifications - Mining Software Specifications: Methodologies and Applications - page 275

TABLE 8.3: The JBoss AS TM Alternating Chains

No JBoss Transaction Management Module Alternating Chains
1 org.jboss.tm.TransactionImpl.lock
org.jboss.tm.TransactionImpl.unlock
2 org.jboss.tm.TxManager.setRollbackOnly
org.jboss.tm.TxManager.rollback
3 org.jboss.tm.TxManager.setTransactionTimeout
org.jboss.tm.TxManager.suspend
4 org.jboss.tm.TxUtils.isActive
org.jboss.tm.TxManager.commit
5 org.jboss.tm.usertx.server.UserTransactionSessionImpl.getInstance
org.jboss.tm.usertx.server.UserTransactionSessionImpl.getTransactionManager
6 org.jboss.tm.GlobalId.computeHash
org.jboss.tm.XidFactory.extractLocalIdFrom
7 org.jboss.tm.XidImpl.getLocalId
org.jboss.tm.TransactionImpl.getGlobalId
8 org.jboss.tm.TransactionLocal.storeValue
org.jboss.tm.TxManager.storeValue

org.jboss.tm.XidImpl.getFormatId
org.jboss.tm.XidImpl.getGlobalTransactionId
org.jboss.tm.XidImpl.getBranchQualifier

9

org.jboss.tm.TransactionImpl.checkWork
org.jboss.tm.TransactionImpl.rollbackResources
org.jboss.tm.TxManager.incRollbackCount
11 org.jboss.tm.TransactionLocal.getValue
org.jboss.tm.TxManager.getValue

10

org.jboss.tm.TransactionPropagationContextUtil.getTPCFactoryClientSide
org.jboss.tm.TxManager.getTransactionPropagationContext
org.jboss.tm.TxManager.getTransaction

12

org.jboss.tm.TransactionLocal.initialValue
org.jboss.tm.TransactionLocal.set
org.jboss.tm.TransactionLocal.containsValue
org.jboss.tm.TxManager.containsValue

13

org.jboss.tm.TransactionImpl.associateCurrentThread
org.jboss.tm.TransactionImpl.commit
org.jboss.tm.TxManager.resume
org.jboss.tm.TxManager.suspend
15 See Figure

14