Distributed Transaction Modeling and concurrency Control