Исследование возможностей декларативной транзакционной поддержки в разработке программного обеспечения