Compositional Refinements of Multiple Blackboard Systems