Pessimistic predicate/transform model for long running business processes | TUP Journals & Magazine | IEEE Xplore