Rigorous description of the syntax and semantics of UML collaborations

Detalles Bibliográficos
Autor Principal: Cibrán, María Agustina
Otros autores o Colaboradores: Mola, Vanesa, Russo, Wanda Mariana, Pons, Claudia Fabiana
Formato: Capítulo de libro
Lengua:inglés
Temas:
UML
Acceso en línea:http://goo.gl/0fP5gG
Consultar en el Cátalogo
Resumen: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. During this formalization process, we discovered inconsistencies and ambiguities, which motivated the discussion of some improvement ideas that will be presented in this document.
Notas:Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
Descripción Física:1 archivo (70,4 KB)

MARC

LEADER 00000naa a2200000 a 4500
003 AR-LpUFIB
005 20250423183153.0
008 230201s2000 xx o 000 0 eng d
024 8 |a DIF-M6704  |b 6841  |z DIF006115 
040 |a AR-LpUFIB  |b spa  |c AR-LpUFIB 
100 1 |a Cibrán, María Agustina  |9 48908 
245 1 0 |a Rigorous description of the syntax and semantics of UML collaborations 
300 |a 1 archivo (70,4 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. 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 Jornadas Argentinas de Informática e Investigación Operativa (29a : 2000 sep. 4-9 : Tandil) 
650 4 |a UML  |9 43454 
700 1 |a Mola, Vanesa  |9 44759 
700 1 |a Russo, Wanda Mariana  |9 44760 
700 1 |a Pons, Claudia Fabiana  |9 44762 
856 4 0 |u http://goo.gl/0fP5gG 
942 |c CP 
952 |0 0  |1 0  |4 0  |6 A0449  |7 3  |8 BD  |9 81075  |a DIF  |b DIF  |d 2025-03-11  |l 0  |o A0449  |r 2025-03-11 17:04:22  |u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=731  |w 2025-03-11  |y CP 
999 |c 55897  |d 55897