An environment for the specification and management of extended transactions in DOMS | IEEE Conference Publication | IEEE Xplore