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

fYear

2005

fDate

2005

Firstpage

138

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on

Print_ISBN

0-7803-8735-X

Type

conf

DOI

10.1109/AICCSA.2005.1387127

Filename

1387127