{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:01:46Z","timestamp":1742997706326,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244841"},{"type":"electronic","value":"9783642244858"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_27","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"379-393","source":"Crossref","is-referenced-by-count":9,"title":["Reducing Multiplicities in Class Diagrams"],"prefix":"10.1007","author":[{"given":"Ingo","family":"Feinerer","sequence":"first","affiliation":[]},{"given":"Gernot","family":"Salzer","sequence":"additional","affiliation":[]},{"given":"Tanja","family":"Sisel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"27_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and System Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and System Modeling"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-75563-0_20","volume-title":"Conceptual Modeling - ER 2007","author":"A. Artale","year":"2007","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over extended ER models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 277\u2013292. Springer, Heidelberg (2007)"},{"key":"27_CR3","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: Adding weight to DL-Lite. In: Grau, B.C., et al. (eds.) DL 2009. CEUR Workshop, vol.\u00a0477 (2008)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"27_CR4","unstructured":"Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"27_CR5","unstructured":"Beckert, B., Keller, U., Schmitt, P.: Translating the Object Constraint Language into first-order predicate logic. In: VERIFY, FLoC Workshop (2002)"},{"issue":"1\u20132","key":"27_CR6","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1\u20132), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"27_CR7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.548","volume":"11","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. Journal of Artificial Intelligence Research\u00a011, 199\u2013240 (1999)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"27_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P.S. Chen","year":"1976","unstructured":"Chen, P.P.S.: The entity-relationship model: toward a unified view of data. ACM Transactions on Database Systems\u00a01(1), 9\u201336 (1976)","journal-title":"ACM Transactions on Database Systems"},{"key":"27_CR9","first-page":"270","volume-title":"Proceedings of CIKM 1997","author":"J. Dullea","year":"1997","unstructured":"Dullea, J., Song, I.Y.: An analysis of cardinality constraints in redundant relationships. In: Proceedings of CIKM 1997, pp. 270\u2013277. ACM, New York (1997)"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-45140-4_28","volume-title":"Advanced Information Systems Engineering","author":"S. Dupuy","year":"2000","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An overview of roZ: A tool for integrating UML and Z specifications. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, pp. 417\u2013430. Springer, Heidelberg (2000)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Falkner, A., Feinerer, I., Salzer, G., Schenner, G.: Computing product configurations via UML and integer linear programming. Int. J. Mass Cust.\u00a03(4) (2010)","DOI":"10.1504\/IJMASSC.2010.037650"},{"key":"27_CR12","unstructured":"Feinerer, I.: A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management. Dissertation, Vienna University of Technology (2007)"},{"key":"27_CR13","first-page":"411","volume-title":"Proceedings of TASE 2007","author":"I. Feinerer","year":"2007","unstructured":"Feinerer, I., Salzer, G.: Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints. In: Proceedings of TASE 2007, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"27_CR14","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M., Zanker, M.: UML as knowledge acquisition frontend for semantic web configuration knowledge bases. In: Proceedings of RuleML 2002. CEUR Workshop Proceedings, vol.\u00a060 (2002)"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-49524-6_12","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"S. Hartmann","year":"1998","unstructured":"Hartmann, S.: On the consistency of int-cardinality constraints. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 150\u2013163. Springer, Heidelberg (1998)"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/3-540-46564-2_9","volume-title":"Foundations of Information and Knowledge Systems","author":"S. Hartmann","year":"2000","unstructured":"Hartmann, S.: On interactions of cardinality constraints,key, and functional dependencies. In: Schewe, K.-D., Thalheim, B. (eds.) FoIKS 2000. LNCS, vol.\u00a01762, pp. 136\u2013155. Springer, Heidelberg (2000)"},{"issue":"1","key":"27_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0169-023X(95)00036-R","volume":"19","author":"T.H. Jones","year":"1996","unstructured":"Jones, T.H., Song, I.Y.: Analysis of binary\/ternary cardinality combinations in entity-relationship modeling. Data & Knowledge Engineering\u00a019(1), 39\u201364 (1996)","journal-title":"Data & Knowledge Engineering"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"S.-K. Kim","year":"1999","unstructured":"Kim, S.-K., Carrington, D.: Formalizing the UML class diagram using object-Z. In: France, R.B. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 83\u201398. Springer, Heidelberg (1999)"},{"key":"27_CR19","first-page":"162","volume-title":"Proceedings of APSEC 2000","author":"P. Krishnan","year":"2000","unstructured":"Krishnan, P.: Consistency checks for UML. In: Proceedings of APSEC 2000, p. 162. IEEE Computer Society, Washington, DC (2000)"},{"issue":"4","key":"27_CR20","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/0306-4379(90)90048-T","volume":"15","author":"M. Lenzerini","year":"1990","unstructured":"Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems\u00a015(4), 453\u2013461 (1990)","journal-title":"Information Systems"},{"key":"27_CR21","unstructured":"Niederbrucker, G., Sisel, T.: Clews Website (2011), http:\/\/www.logic.at\/clews"},{"key":"27_CR22","unstructured":"Object Management Group: Object Constraint Language 2.3 (2011), www.omg.org"},{"key":"27_CR23","unstructured":"Object Management Group: Unified Modeling Language 2.4 (2011), www.omg.org"},{"key":"27_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/11901181_37","volume-title":"Conceptual Modeling - ER 2006","author":"A. Queralt","year":"2006","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML class diagrams with OCL constraints. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol.\u00a04215, pp. 497\u2013512. Springer, Heidelberg (2006)"},{"key":"27_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68234-9_18","volume-title":"The Semantic Web: Research and Applications","author":"R. Rosati","year":"2008","unstructured":"Rosati, R.: Finite model reasoning in DL-lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 215\u2013229. Springer, Heidelberg (2008)"},{"issue":"1","key":"27_CR26","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C.F. Snook","year":"2006","unstructured":"Snook, C.F., Butler, M.J.: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"27_CR27","unstructured":"The Alliance for Telecommunications Industry Solutions: ATIS telecom glossary 2000 (2000), www.atis.org (approved February 28, 2001 by ANSI)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24485-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T04:32:36Z","timestamp":1560745956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}