Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach

Gianna ReggioContact Information, Maura CerioliContact Information and Egidio AstesianoContact Information

(5)  DISI, Università di Genova, Italy
Abstract
We discuss the nature of the semantics of the UML. Contrary to the case of most languages, this task is far from trivial. Indeed, not only the UML notation is complex and its informal description is incomplete and ambiguous, but we also have the UML multiview aspect to take into account. We propose a general schema of the semantics of the UML, where the different kinds of diagrams within a UML model are given individual semantics and then such semantics are composed to get the semantics on the overall model. Moreover, we fill part of such a schema, by using the algebraic language Casl as a metalanguage to describe the semantics of class diagrams, state machines and the complete UML formal systems.
Partially supported by Murst - Programma di Ricerca Scientifica di Rilevante Interesse Nazionale Saladin and by CoFI WG, ESPRIT Working Group 29432.

Contact Information Gianna Reggio
Email: reggio@disi.unige.it

Contact Information Maura Cerioli
Email: cerioli@disi.unige.it

Contact Information Egidio Astesiano
Email: astes@disi.unige.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)