طرحهای پالایش مبتنی بر الگو برای انتقال دانش طراحی

In this paper, we present a pattern-based approach to the correct stepwise refinement of UML static and dynamic design models by application of refinement schemas. A refinement schema is composed of two compartments. The first compartment describes the abstract model of the design, whereas the second compartment shows its corresponding detailed model after transformation and instantiation of one design pattern. We also propose a number of smaller transformations called micro-refinements whose correctness is proven. These micro-refinements can be composed into sequences to produce correct refinement schemas. Our approach will allow for the construction of intelligent CASE tools that provide automatic support for the selection, management, and application of design patterns for the refinement of design models. Such tool support will enable effective design knowledge transfer.