REFINEMENT OF UML COLLABORATIONS
Bogumiła Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz · Digital library of Zielona Gora (University of Zielona Góra) · 2006
The paper concerns the concept of refinement as a commonly used design practice in the software development process. The refinement relationship is formulated and formally expressed for UML collaborations. Collaborations are suitable for presenting the proposed approach as they represent both static and dynamic aspects of a modeled system or its part, for example, a use case. Our approach to refinement is based on the rule of preserving the observable behavior of a modeled system. The introduced notion of sub-collaborations allows us to refine collaboration diagrams in a systematic way.