The service bus subsystem automatically provided for both types of interaction, given that it was purely message based and supported a read method that could wait for an incoming message.

While query CP parallelism used multi-tasking for a query within a DB2 subsystem, this method enables all the members of a DB2 data-sharing group to process a single query.

The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.