A transaction subprocess, denoted with a double-lined boundary, is a specialized type of subprocess. In a transaction subprocess all activities must either complete successfully or the subprocess must be rolled back to its original consistent state. A transaction subprocess has a special behavior: It is associated with a transaction protocol that has to verify that all activities have been successfully completed. The symbols are not available in the Symbols bar, they are handled by the software. The program also sets the value of the ARIS attribute type Subprocess type to Transaction.

A transaction inherits from Activity. The attributes and model associations of a transaction subprocess and their mapping to ARIS constructs are shown in the table below.