design objected - palexisru/pl2_rus GitHub Wiki
Объектно-ориентированный подход к программированию предполагает передачу сообщений между объектами и обработку поступающих сообщений. При изоляции транзакций сообщения накапливаются в очереди и передаются после подтверждения завершения транзакции.
Стандартные методы - invariant, before, action, after.
Теоретические основы: http://habrahabr.ru/post/203770/