|
|
|
|
| LEADER |
00000naa a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250423183153.0 |
| 008 |
230201s2000 xx o 000 0 eng d |
| 024 |
8 |
|
|a DIF-M6703
|b 6840
|z DIF006114
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Cibrán, María Agustina
|9 48908
|
| 245 |
1 |
0 |
|a Building a bridge between the syntax and semantics of UML collaborations
|
| 300 |
|
|
|a 1 archivo (145,7 KB)
|
| 500 |
|
|
|a Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
|
| 520 |
|
|
|a The specification of the UML in general, and the specification of Collaboration Diagrams in particular, is semi-formal. This lack of precise semantics can lead to several problems such us different interpretations, ambiguities, etc. In this paper, we propose a formalization of the syntax and semantics of Collaboration diagrams in the formal specification language Object-Z. A collaboration diagram may be presented at two different levels: specification level (syntax) or instance level (semantics). In our formalization we take into account both levels of abstraction. Moreover, we provide a function (sem) that maps a Collaboration into its semantic domain. During this formalization process, we discovered inconsistencies and ambiguities, which motivated the discussion of some improvement ideas that will be presented in this document.
|
| 534 |
|
|
|a European Conference on Object-Oriented Programming (14ta : 2000 jun. 12-16 : Sophia Antipolis; Cannes)
|
| 650 |
|
4 |
|a UML
|9 43454
|
| 700 |
1 |
|
|a Mola, Vanesa
|9 44759
|
| 700 |
1 |
|
|a Pons, Claudia Fabiana
|9 44762
|
| 700 |
1 |
|
|a Russo, Wanda Mariana
|9 44760
|
| 856 |
4 |
0 |
|u http://goo.gl/vhhifc
|
| 942 |
|
|
|c CP
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A0448
|7 3
|8 BD
|9 81074
|a DIF
|b DIF
|d 2025-03-11
|l 0
|o A0448
|r 2025-03-11 17:04:22
|u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=737
|w 2025-03-11
|y CP
|
| 999 |
|
|
|c 55896
|d 55896
|
