Reducing multiplicities in class diagrams

In class diagrams, so-called multiplicities are integer ranges attached to association ends. They constrain the number of instances of the associated class that an instance may be linked to, or in an alternative reading, the number of links to instances of the associated class. In complex diagrams with several chains of associations between two classes (arising e.g. in configuration management) it may happen that the lower or upper bound of a range can never be attained because of restrictions imposed by a parallel chain. In this paper we investigate how multiplicities behave when chaining associations together, and we characterise situations where intervals can be tightened due to information from other chains. Detecting and eliminating such redundancies provides valuable feedback to the user, as redundancies may hint at some underlying misconception.

[1]  Ballengee Christine Morris Beyond the Standard , 2011 .

[2]  Riccardo Rosati Finite Model Reasoning in DL-Lite , 2008, ESWC.

[3]  Markus Stumptner,et al.  UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases , 2002, RuleML.

[4]  Bernhard Thalheim,et al.  Conceptual Modeling - ER 2007 , 2007, Lecture Notes in Computer Science.

[5]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[6]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[7]  Diego Calvanese,et al.  Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..

[8]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

[9]  Gernot Salzer A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management , 2007 .

[10]  Sophie Dupuy-Chessa,et al.  An Overview of RoZ: A Tool for Integrating UML and Z Specifications , 2000, CAiSE.

[11]  Gernot Salzer,et al.  Computing product configurations via UML and integer linear programming , 2010 .

[12]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[13]  Gernot Salzer,et al.  Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[14]  Padmanabhan Krishnan Consistency checks for UML , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[15]  Diego Calvanese,et al.  Reasoning over Extended ER Models , 2007, ER.

[16]  Tok Wang Ling,et al.  Conceptual Modeling – ER ’98 , 1998, Lecture Notes in Computer Science.

[17]  Sven Hartmann On the Consistency of Int-cardinality Constraints , 1998, ER.

[18]  Il-Yeol Song,et al.  Analysis of Binary/Ternary Cardinality Combinations in Entity-Relationship Modeling , 1996, Data Knowl. Eng..

[19]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[20]  David W. Embley,et al.  Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings , 2006, ER.

[21]  David A. Carrington,et al.  Formalizing the UML Class Diagram Using Object-Z , 1999, UML.

[22]  Ernest Teniente,et al.  Reasoning on UML Class Diagrams with OCL Constraints , 2006, ER.

[23]  Diego Calvanese,et al.  Adding Weight to DL-Lite , 2009, Description Logics.

[24]  Colin F. Snook,et al.  UML-B: Formal modeling and design aided by UML , 2006, TSEM.

[25]  Il-Yeol Song,et al.  An analysis of cardinality constraints in redundant relationships , 1997, CIKM '97.

[26]  Thomas Lukasiewicz Proceedings of the 7th International Symposium on the Foundations of Information and Knowledge Systems‚ FoIKS 2012‚ Kiel‚ Germany‚ March 5−9‚ 2012 , 2000 .

[27]  Maurizio Lenzerini,et al.  On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata , 1987, VLDB.

[28]  Sven Hartmann,et al.  On Interactions of Cardinality Constraints, Key, and Functional Dependencies , 2000, FoIKS.