Description of the Transaction library.

This part includes only the interfaces dealing with the purpose of transaction. This means mainly that only Atomicity properties are considered in this part.

Currently the identified transaction events are:

Currently the identified transaction dependencies are: