Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen