A flexible transaction model for software engineering | IEEE Conference Publication | IEEE Xplore