Supporting Refinement of Partial Behavior Models Under Model Composition and Abstraction