A New Concurrency Control Language for Transactional Process in Service-Oriented Architecture | IEEE Conference Publication | IEEE Xplore