Normal view MARC view ISBD view

Building a bridge between the syntax and semantics of UML collaborations

By:

Cibrán, María Agustina

Contributor(s):

Material type: Article

ArticlePublication details: ref_localidad@NULL : , 2000Description: 1 archivo (145,7 KB)Subject(s):

Online resources:

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Capítulo de libro	Biblioteca Fac.Informática	A0448 (Browse shelf(Opens below))	Available		DIF-A0448

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

European Conference on Object-Oriented Programming (14ta : 2000 jun. 12-16 : Sophia Antipolis; Cannes)

There are no comments on this title.

to post a comment.