On the semantics of associations and association ends in UML

IEEE Transactions on Software Engineering

Volumn 33, Issue 4, 2007, Pages 231-258

  Milićev, Dragan ^a  

^a University of Belgrade   (Serbia)

Author keywords

Association; Association end; Conceptual modeling; Formal semantics; Model driven development; Object oriented modeling; Unified Modeling Language (UML)

Indexed keywords

ASSOCIATION RULES; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

CONCEPTUAL MODELING; MODEL-DRIVEN DEVELOPMENT;

UNIFIED MODELING LANGUAGE;

EID: 34047174757     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2007.37     Document Type: Article

References (21)

1. F. Barbier, B. Henderson-Sellers, A. LeParc-Lacayrelle, and J.-M. Bruel, "Formalization of the Whole-Part Relationship in the Unified Modeling Language," IEEE Trans. Software Eng., vol. 29, no. 5, pp. 459-470, May 2003.
2. G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide. Addison-Wesley Longman, 1999.
3. R.H. Bourdeau and B.H.C. Cheng, "A Formal Semantics for Object Model Diagrams," IEEE Trans. Software Eng., vol. 21, no. 10, pp. 799-821, Oct. 1995.
4. P.P. Chen, "The Entity-Relationship Model," ACM Trans. Database Systems, vol. 1, no. 1, pp. 9-36, 1976.
5. Z. Diskin and J. Dingel, "Mappings, Maps, and Tables: A Formal Semantics of UML Associations," Proc. ACM/IEEE Ninth Int'l Conf. Model-Driven Eng. Languages and Systems (MoDELS '06), Oct. 2006.
6. J.S. Dong and R. Duke, "The Geometry of Object Containment," Object-Oriented Systems, vol. 2, no. 1, pp. 41-63, 1995.
7. R.B. France, "A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts," Proc. 1999 ACM SIGPLAN Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '99), Nov. 1999.
8. G. Génova, J. Llorens, and J.M. Fuentes, "UML Associations: A Structural and Contextual View," J. Object Technology, vol. 3, no. 7, pp. 83-100, July-Aug. 2004.
9. G. Génova, J. Llorens, and P. Martínez, "The Meaning of Multiplicity of N-ary Associations in UML," Software and Systems Modeling, vol. 1, no. 2, pp. 86-97, Feb. 2002.
10. D. Milićev, "On the Semantics of Associations and Association Ends in UML," Technical Report, Univ. of Belgrade, Faculty of Electrical Eng., Dept. of Computer Science, http://www.rcub.bg.ac.yu/~dmilicev, 2005.
11. Issues for Mailing List ofthe UML 2.0 Superstructure and Infrastructure Revision TaskForce, Issue 5977, Object Management Group, http://www.omg.org/issues/uml2-rtf.open.html#lssue5977, June 2003.
12. UML 2.0 Superstructure Specification, revised final adopted specification (ptc/04-10-02), Object Management Group, http://www.omg.org, Oct. 2004.
13. G. Övergaard, "A Formal Approach to Relationships in the Unified Modeling Language," Proc. PSMT'98 Workshop Precise Semantics for Modeling Techniques, 1998.
14. G. Övergaard, "Formal Specification of Object-Oriented Modelling Concepts," PhD thesis, Dept. of Teleinformatics, Royal Inst. of Technology, Stockholm, Sweden, Nov. 2000.
15. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design. Prentice-Hall, 1991.
16. B. Selic, "On the Semantic Foundations of Standard UML 2.0," Formal Methods for the Design of Real-Time Systems: Int'l School Formal Methods for the Design of Computer, Comm., and Software Systems (SFM-RT 2004), Sept. 2004.
17. B. Selic, "The Pragmatics of Model-Driven Development," IEEE Software, vol. 20, no. 5, pp. 19-25, Sept./Oct. 2003.
18. B. Selic, G. Ramackers, and C. Kobryn, "Evolution, Not Revolution," Comm. ACM, vol. 45, no. 11, pp. 70-72, Nov. 2002.
19. G. Smith, The Object-Z Specification Language. Kluwer Academic, 2000.
20. J.M. Spivey, The Z Notation: A Reference Manual. Prentice-Hall, 1992.
21. P. Stevens, "On the Interpretation of Binary Associations in the Unified Modeling Language," Software and Systems Modeling, vol. 1, no. 1, pp. 68-79 Jan. 2002.