Transactional Behavior Verification in Business Process as a Service Configuration December 9, 2017 Comments Off on Transactional Behavior Verification in Business Process as a Service Configuration Posted in: IEEE 2017, Java Comments are closed.