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.
['Nadia Bouassida', 'Hanêne Ben-Abdallah', 'Faiez Gargouri', 'Abdelmajid Ben Hamadou']
Towards a rigorous architectural reuse