Formalizing the framework design language F-UML

N Bouassida; H Ben-Abdallah; F Gargouri; A Ben Hamadou

doi:10.1109/SEFM.2003.1236218

Back

Conference proceeding

Formalizing the framework design language F-UML

N Bouassida, H Ben-Abdallah, F Gargouri and A Ben Hamadou

FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, pp.164-172

International Conference on Software Engineering and Formal Methods - SEFM

01/01/2003

DOI: https://doi.org/10.1109/SEFM.2003.1236218

Abstract

Computer Science

Computer Science, Software Engineering

Science & Technology

Technology

Frameworks offer reuse through the generality they have to encompass. This same property, however, often makes a framework design fairly complex, hard to understand and, hence, to reuse. This paper, briefly, presents the F-UML design. It then focuses on the definition of the formal semantics of F-UML. This latter is defined through a translation of the meta-model of F-UML to Object-Z The object-Z semantics allows a designer to prove the syntactic well-formedness of an F-UML design. In addition, it allows the verification of several design properties through a theorem prover.

Metrics

1 Record Views

Details

Title: Formalizing the framework design language F-UML
Creators - without role: N Bouassida
H Ben-Abdallah - University of Sfax
F Gargouri - University of Sfax
A Ben Hamadou
Contributors - without role: A Cerone
P Lindsay
Publication Details: FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, pp.164-172
Series: International Conference on Software Engineering and Formal Methods - SEFM
Publisher: IEEE
Number of pages: 9
Identifiers: 9937892408331
Academic Unit: King Abdulaziz University
Language: English
Resource Type: Conference proceeding