Reducing multiplicities in class diagrams
暂无分享,去创建一个
[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.