Mappings, maps and tables: Towards formal semantics for associations in UML2

13Citations
Citations of this article
20Readers
Mendeley users who have this article in their library.
Get full text

Abstract

In fact, UML2 offers two related yet different definitions of associations. One is implicit in several Description and Semantics sections of the specification and belongs to the UML folklore. It simply says that an association is a set of links. The other - official and formal - definition is explicitly fixed by the UML metamodel and shows that there is much more to associations than just being sets of links. Particularly, association ends can be owned by either participating classes or by the very association (with a striking difference between binary and multiary associations), be navigable or not, and have some constraints on combining ownership and navigability. The paper presents a formal framework, based on sets and mappings, where all notions involved in the both definitions can be accurately explained and formally explicated. Our formal definitions allow us to reconcile the two views of associations, unify ownership for binary and multiary associations and, finally, detect a few flaws in the association part of the UML2 metamodel. © Springer-Verlag Berlin Heidelberg 2006.

Cite

CITATION STYLE

APA

Diskin, Z., & Dingel, J. (2006). Mappings, maps and tables: Towards formal semantics for associations in UML2. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4199 LNCS, pp. 230–244). Springer Verlag. https://doi.org/10.1007/11880240_17

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free