Formalizing the Framework Design Language F-UML

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Nadia Bouassida Articles by Han?ne Ben-Abdallah Articles by Fa?ez Gargouri Articles by Abdemajid Ben Hamadou

First International Conference on Software Engineering and Formal Methods (SEFM'03)

Brisbane, Australia

September 22-September 27

ISBN: 0-7695-1949-0

	ASCII Text	x
	Nadia Bouassida, Han?ne Ben-Abdallah, Fa?ez Gargouri, Abdemajid Ben Hamadou, "Formalizing the Framework Design Language F-UML," Software Engineering and Formal Methods, International Conference on, pp. 164, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003.

	BibTex	x
	@article{ 10.1109/SEFM.2003.1236218, author = {Nadia Bouassida and Han?ne Ben-Abdallah and Fa?ez Gargouri and Abdemajid Ben Hamadou}, title = {Formalizing the Framework Design Language F-UML}, journal ={Software Engineering and Formal Methods, International Conference on}, volume = {0}, year = {2003}, isbn = {0-7695-1949-0}, pages = {164}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236218}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering and Formal Methods, International Conference on TI - Formalizing the Framework Design Language F-UML SN - 0-7695-1949-0 SP EP A1 - Nadia Bouassida, A1 - Han?ne Ben-Abdallah, A1 - Fa?ez Gargouri, A1 - Abdemajid Ben Hamadou, PY - 2003 KW - null VL - 0 JA - Software Engineering and Formal Methods, International Conference on ER -

Nadia Bouassida, Institut Sup?rieur d?Informatique et de Multim?dias de Sfax

Han?ne Ben-Abdallah, Gestion de Sfax

Fa?ez Gargouri, Gestion de Sfax

Abdemajid Ben Hamadou, Institut Sup?rieur d?Informatique et de Multim?dias de Sfax

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236218

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.

Citation:

Nadia Bouassida, Han?ne Ben-Abdallah, Fa?ez Gargouri, Abdemajid Ben Hamadou, "Formalizing the Framework Design Language F-UML," sefm, pp.164, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.