The document discusses transaction properties such as atomicity, consistency, isolation, and durability. It compares two approaches for implementing transactions - the library approach and language approach. The library approach provides more flexibility and interoperability while the language approach provides more safety and elegance. The document also discusses using aspect-oriented programming and AspectJ to provide elegance by addressing cross-cutting concerns in a modular way.

1. Aspects Made Explicit for
Safe Transactional Semantics
Kevin Hoffman / Patrick Eugster

2. Properties of Transactions
 A tomicity – all or nothing
 C onsistency – changes respect specifications
 I solation – effects of concurrency masked
 D urability – committed results never lost
Kevin Hoffman and Patrick Eugster -2-

3. Implementation Approaches
Library approach Language approach
- Safety +Safety
- Elegance +Elegance
+Flexibility - Flexibility
+Interoperability - Interoperability
Kevin Hoffman and Patrick Eugster -3-