Abstract
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented in modern forward and reverse engineering tools. In this paper, we present a novel mathematical framework and build a precise semantics for several association constructs, whose implementation has been considered problematic. We also identify a number of patterns for using associations in practical applications, which cannot be modeled (reverse engineered) in UML.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akehurst, D., Howells, G., Mcdonald-Maier, K.: Implementing associations: UML 2.0 to Java 5. Software and Systems Modeling 6, 3–35 (2007)
Barbier, F., Henderson-Sellers, B., Le Parc, A., Bruel, J.: Formalization of the whole-part relationship in UML. IEEE Trans. Software Eng. 29(5), 459–470 (2003)
Barr, M., Wells, C.: Category theory for computing science. PrenticeHall (1995)
Bracha, G.: Generics in Java programming language. Sun (2004), http://java.sun.com/j2se/1.5
Diskin, Z., Dingel, J.: Mappings, maps and tables: Towards formal semantics for associations in UML2. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199. Springer, Heidelberg (2006)
Diskin, Z., Dingel, J.: Mappings, maps, atlases and tables: A formal semantics for associations in UML2. Technical Report CSRG-566, University of Toronto (2007), ftp://ftp.cs.toronto.edu/pub/reports/csri/566
Diskin, Z., Kadish, B.: Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling. Data & Knowledge Engineering 47, 1–59 (2003)
Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol. 1889. Springer, Heidelberg (2000)
Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. ENTCS (to appear, 2008)
Erickson, J., Siau, K.: Theoretical and practical complexity of modeling methods. Communications of the ACM 50, 46–51 (2007)
France, R.: A problem-orineted analysis of basic UML static modeling concepts. In: ACM/SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications, ACM Press (1999)
Génova, G., Llorens, J., Fuentes, J.: UML associations: A structural and contextual view. J. of Object Technology 3(7) (2004)
Graf, S., Haugen, Ø., Ober, I., Selic, B.: Specification and validation of real time systems in UML. J.on Software Tools for Technology Transfer 8(2) (2006)
Guéhéneuc, Y., Albin-Amiot, H.: Recovering binary class relationships: Putting icing on the UML cake. In: ACM/SIGPLAN Conf.on Object-Oriented Programming, Systems, Languages, and Applications, ACM Press (2004)
Hull, R., King, R.: Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys 19(3), 201–260 (1987)
Jackson, D., Waingold, A.: Lightweight extraction of object models from bytecode. IEEE Trans. Software Eng. 27(2), 156–169 (2001)
Milicev, D.: On the semantics of associations and association ends in uml. IEEE Trans. Software Eng. 33(4), 238–251 (2007)
OMG, E-Conference on UML2 Superstructure. Issue #5977 (2003), http://www.uml2-superstructure-ftpomg.org
OMG, Unified Modeling Language: Superstructure. Version 2.1.1 Formal/2007-02-03 (2007), http://www.omg.org/docs/formal
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented modeling and design. Prentice-Hall (1991)
Selic, B.: Model-driven development: Its essence and opportunities. In: 9th IEEE Int. Symposium on Object-Oriented Real-Time Distributed Computing (2006)
Stevens, P.: On the interpretation of binary associations in the unified modeling language. Software and Systems Modeling 1(1) (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Diskin, Z., Easterbrook, S., Dingel, J. (2008). Engineering Associations: From Models to Code and Back through Semantics. In: Paige, R.F., Meyer, B. (eds) Objects, Components, Models and Patterns. TOOLS EUROPE 2008. Lecture Notes in Business Information Processing, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69824-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-69824-1_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69823-4
Online ISBN: 978-3-540-69824-1
eBook Packages: Computer ScienceComputer Science (R0)