Abstract: Prior research attempts to formalize the structure of object-oriented design ... UML 1.4 with Action semantics). The specialization and refining mechanism of UML provides also a smooth ...