Seol mar théacs é seo: Java transaction processing : design and implementation /