The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Formalizing UML Class Diagrams
|
Author(s): Ana M. Funes (Universidad Nacional de San Luis, Argentina)and Chris George (UNU/IIST, Macau)
Copyright: 2003
Pages: 70
Source title:
UML and the Unified Process
Source Author(s)/Editor(s): Liliana Favre (Universidad Nacional de Centro de la Proviencia de Buenos Aires, Argentina)
DOI: 10.4018/978-1-93177-744-5.ch008
Purchase
|
Abstract
Graphical notations have demonstrated usefulness when interacting with end users, making system validation easier. However, while they can be easily communicated, they lack precision, which consequently can be ambiguous and lead to misunderstanding. It is here where formal specifications can play an important role in overcoming this drawback. In this chapter, we use the RAISE Specification Language (RSL), which is the language of the formal method RAISE (i.e., Rigorous Approach to Industrial Software), as a syntactic and semantic reference for UML. We present the semantics for UML class diagrams by using RSL as a formal basis. An automated tool that implements the translation and the abstract syntax in RSL for the RSL-translatable class diagrams are also presented.
Related Content
Ruizhe Ma, Azim Ahmadzadeh, Soukaina Filali Boubrahimi, Rafal A Angryk.
© 2019.
19 pages.
|
Zhen Hua Liu.
© 2019.
25 pages.
|
Lubna Irshad, Zongmin Ma, Li Yan.
© 2019.
25 pages.
|
Hao Jiang, Ahmed Bouabdallah.
© 2019.
22 pages.
|
Gbéboumé Crédo Charles Adjallah-Kondo, Zongmin Ma.
© 2019.
22 pages.
|
Safa Brahmia, Zouhaier Brahmia, Fabio Grandi, Rafik Bouaziz.
© 2019.
20 pages.
|
Zhangbing Hu, Li Yan.
© 2019.
20 pages.
|
|
|