Normal view MARC view ISBD view

Rigorous description of the syntax and semantics of UML collaborations

By:

Cibrán, María Agustina

Contributor(s):

Material type: Article

ArticleDescription: 1 archivo (70,4 KB)Subject(s):

Online resources:

Click here to access online

Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Home library	Collection	Call number	URL	Status	Date due	Barcode
Capítulo de libro	Biblioteca de la Facultad de Informática	Biblioteca digital	A0449 (Browse shelf(Opens below))	Link to resource	No corresponde

Browsing Biblioteca de la Facultad de Informática shelves, Collection: Biblioteca digital Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0446 A memetic algorithm with self-adaptive local search : TSP as a case study	A0447 Relaciones entre casos de uso en el Unified Modeling Language	A0448 Building a bridge between the syntax and semantics of UML collaborations	A0449 Rigorous description of the syntax and semantics of UML collaborations	A0450 Buenas prácticas para la mejora de procesos en el desarrollo de software y en procesos de gestión : Aplicación en PyMEs	A0451 Applying experiences with declarative codifications of software architectures on cod	A0452 A graphical user interface integrating features from different hypertext domains	Next

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)

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.

Jornadas Argentinas de Informática e Investigación Operativa (29a : 2000 sep. 4-9 : Tandil)