For more understandable UML diagrams

Author

Boukhelfa, Kamel ; Belala, Faiza ; Choutri, Aicha ; Douibi, Halima

Author_Institution

LIRE Lab., Univ. Mentouri of Constantine, Constantine, Algeria

fYear

2010

fDate

16-19 May 2010

Firstpage

1

Lastpage

7

Abstract

The use of formal methods is an effective means to improve the reliability and the quality of complex systems. The objective of this work is to adapt one of these methods to UML, so that the systems development depending on this notation can benefit from it. We propose a formal semantic framework, based on rewriting logic, for UML. Thus, we lean on the category model to give precise and sufficient semantics to the various UML diagrams used in system specification. A transcription tool of UML abstract model to Maude object-oriented module is developed. It is able to handle class and sequence diagrams of realistic size.

Keywords

Unified Modeling Language; formal logic; formal specification; object-oriented programming; rewriting systems; Maude object-oriented module; UML abstract model; category model; formal method; formal semantic framework; rewriting logic; system specification; systems development; transcription tool; understandable UML diagram; Analytical models; Computational modeling; Mathematical model; Object oriented modeling; Semantics; Syntactics; Unified modeling language; Maude language; Rewriting Logic; UML Formalization;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference on

Conference_Location

Hammamet

Print_ISBN

978-1-4244-7716-6

Type

conf

DOI

10.1109/AICCSA.2010.5586987

Filename

5586987