Abstract
Summary form only given. Object-oriented frameworks are recognized as a promising technique for architectural reuse. To guide a framework reuse and help in the traceability of a model, we have proposed an UML profile for framework design, called F-UML. In addition, to provide for precise analysis and reuse validation, we defined a formal semantics for the class diagram of F-UML. In this paper, we complete the formalization of F-UML in object-Z. We, then, show how the formal semantics can be used to analyze both syntactic and semantic/domain specific properties of a framework, and to validate a framework reuse.