Title :
Towards a rigorous architectural reuse
Author :
Bouassida, Nadia ; Ben-Abdallah, Hanêne ; Gargouri, Faïez ; Hamadou, A.B.
Author_Institution :
Lab. LARJM, Inst. Superieur d´´Informatique et de Multimedias de Sfax, Tunisia
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.
Keywords :
Unified Modeling Language; object-oriented programming; programming language semantics; software architecture; software reusability; F-UML; UML; architectural reuse; formal semantics; framework reuse; model traceability; object-Z; object-oriented frameworks; reuse validation; Application software; Concrete; Logic; Object oriented modeling; Software architecture; Software engineering; Unified modeling language;
Conference_Titel :
Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on
Print_ISBN :
0-7803-8735-X
DOI :
10.1109/AICCSA.2005.1387127
