Rigorous description of the syntax and semantics of UML collaborations
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , , |
| Formato: | Capítulo de libro |
| Lengua: | inglés |
| Temas: | |
| 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) |