{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:56Z","timestamp":1750307216572,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,17]],"date-time":"2011-10-17T00:00:00Z","timestamp":1318809600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,17]]},"DOI":"10.1145\/2095654.2095658","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:20:41Z","timestamp":1326820841000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["On the interaction of inter-relationship constraints"],"prefix":"10.1145","author":[{"given":"Azzam","family":"Maraee","sequence":"first","affiliation":[{"name":"Ben-Gurion University, ISRAEL"}]},{"given":"Mira","family":"Balaban","sequence":"additional","affiliation":[{"name":"Ben-Gurion University, ISRAEL"}]}],"member":"320","published-online":{"date-parts":[[2011,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0049-9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070076"},{"key":"e_1_3_2_1_3_1","unstructured":"M. Balaban and A. Maraee. Finite satisfiability of uml class diagrams with constrained class hierarchy. Submitted.  M. Balaban and A. Maraee. Finite satisfiability of uml class diagrams with constrained class hierarchy. Submitted ."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4018\/jismd.2010100102"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"key":"e_1_3_2_1_6_1","unstructured":"BGU Modeling Group. UML Class Diagram Design Pattern. http:\/\/www.cs.bgu.ac.il\/~cd-patterns\/ 2010.  BGU Modeling Group. UML Class Diagram Design Pattern. http:\/\/www.cs.bgu.ac.il\/~cd-patterns\/ 2010."},{"key":"e_1_3_2_1_7_1","volume-title":"Ninth Conference on Databases and Information Systems","author":"Bildhauer D.","year":"2010","unstructured":"D. Bildhauer . On the relationships between sub-setting, redefinition and association specialization . In Ninth Conference on Databases and Information Systems , 2010 . D. Bildhauer. On the relationships between sub-setting, redefinition and association specialization. In Ninth Conference on Databases and Information Systems, 2010."},{"key":"e_1_3_2_1_8_1","volume-title":"UML Modeling Languages and Applications","author":"Buttner F.","year":"2004","unstructured":"F. Buttner and M. Gogolla . On generalization and overriding in uml 2.0 . In UML Modeling Languages and Applications . Springer , 2004 . F. Buttner and M. Gogolla. On generalization and overriding in uml 2.0. In UML Modeling Languages and Applications. Springer, 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_3_2_1_10_1","volume-title":"Universitat Polit\u00e8cnica de Catalunya.","author":"Costal C.","year":"2010","unstructured":"C. Costal , C. G\u00f3mez , and P. Nieto . On the semantics of redefinition, specialization and subsetting of associations in uml (extended version). Technical report , Universitat Polit\u00e8cnica de Catalunya. , 2010 . C. Costal, C. G\u00f3mez, and P. Nieto. On the semantics of redefinition, specialization and subsetting of associations in uml (extended version). Technical report, Universitat Polit\u00e8cnica de Catalunya., 2010."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901181_38"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901181_38"},{"key":"e_1_3_2_1_13_1","volume-title":"EASST","author":"Kleppe A.","year":"2008","unstructured":"A. Kleppe and A. Rensink . On a graph-based semantics for uml class and object diagrams. In GT-VMT 2008 . EASST , 2008 . A. Kleppe and A. Rensink. On a graph-based semantics for uml class and object diagrams. In GT-VMT 2008. EASST, 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(90)90048-T"},{"key":"e_1_3_2_1_15_1","volume-title":"MCCM08","author":"Maraee A.","year":"2008","unstructured":"A. Maraee , V. Makarenkov , and B. Balaban . Efficient recognition and detection of finite satisfiability problems in uml class diagrams: Handling constrained generalization sets, qualifiers and association class constraints . In MCCM08 , 2008 . A. Maraee, V. Makarenkov, and B. Balaban. Efficient recognition and detection of finite satisfiability problems in uml class diagrams: Handling constrained generalization sets, qualifiers and association class constraints. In MCCM08, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2010.10.007"},{"key":"e_1_3_2_1_17_1","unstructured":"Object Management Group. UML 2.0 Object Constraint Language Specification 2006.  Object Management Group. UML 2.0 Object Constraint Language Specification 2006."},{"key":"e_1_3_2_1_18_1","volume-title":"Object Management Group","author":"MG.","year":"2009","unstructured":"O MG. The uml 2. 0 superstructure specification. Specification Version 2 , Object Management Group , 2009 . OMG. The uml 2.0 superstructure specification. Specification Version 2, Object Management Group, 2009."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647520.727839"},{"key":"e_1_3_2_1_21_1","volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh J.","year":"2004","unstructured":"J. Rumbaugh ., G. Jacobson , and G. Booch . The Unified Modeling Language Reference Manual Second Edition. Adison Wesley , 2004 . J. Rumbaugh., G. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual Second Edition. Adison Wesley, 2004."}],"event":{"name":"MoDeVVa '11: Model-Driven Engineering, Verification, and Validation","acronym":"MoDeVVa '11","location":"Wellington New Zealand"},"container-title":["Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095654.2095658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:48Z","timestamp":1750241208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,17]]},"references-count":20,"alternative-id":["10.1145\/2095654.2095658","10.1145\/2095654"],"URL":"https:\/\/doi.org\/10.1145\/2095654.2095658","relation":{},"subject":[],"published":{"date-parts":[[2011,10,17]]},"assertion":[{"value":"2011-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}