{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:57:04Z","timestamp":1763179024627,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/models.2017.31","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:47:47Z","timestamp":1510264067000},"page":"63-73","source":"Crossref","is-referenced-by-count":6,"title":["Partial Evaluation of OCL Expressions"],"prefix":"10.1109","author":[{"given":"Bastian","family":"Ulke","sequence":"first","affiliation":[]},{"given":"Friedrich","family":"Steimann","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"Lammel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2012","author":"jackson","key":"ref39"},{"journal-title":"Foundations of Constraint Satisfaction Ser Computation in Cognitive Science","year":"1993","author":"tsang","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22655-7_13"},{"key":"ref32","volume":"4334","author":"beckert","year":"2007","journal-title":"Verification of Object-Oriented Software The KeY Approach - Foreword by K Rustan M Leino ser LNCS"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_23"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_17"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45441-1_10"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984007"},{"key":"ref35","first-page":"93","article-title":"OCL as a constraint generation language","volume":"1092","author":"ulke","year":"0","journal-title":"Proceedings of the MODELS 2013 OCL Workshop ser CEUR Workshop Proceedings"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/949306.949308"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-009-0093-8"},{"journal-title":"JSR 317 Java Persistence API 2 0 Sun Microsytems","year":"2009","author":"demichiel","key":"ref40"},{"key":"ref11","first-page":"117","article-title":"Towards a catalog of structural and behavioral verification tasks for UML\/OCL models","volume":"254","author":"hilken","year":"2016","journal-title":"Modellierung 2016 2 -4 März 2016 Karlsruhe ser LNI"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.17"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.63"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0314-z"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.03.010"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.66.8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.003"},{"key":"ref19","first-page":"25","article-title":"Test Data Generation for Model Transformations Combining Partition and Constraint Analysis","volume":"8568","year":"2014","journal-title":"Proc ICMT 2014 ser LNCS"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/243439.243447"},{"key":"ref4","first-page":"228","author":"gogolla","year":"2002","journal-title":"Development of UML Descriptions with USE"},{"journal-title":"Partial Evaluation and Automatic Program Generation","year":"1993","author":"jones","key":"ref27"},{"journal-title":"Object Management Group OMG Unified Modeling Language (OMG UML) Infrastructure v 2 4 1","year":"2011","key":"ref3"},{"key":"ref6","article-title":"Checking unsatisfiability for OCL constraints","volume":"24","author":"clavel","year":"2009","journal-title":"ECEASST"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47018-2_2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976774"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"journal-title":"OMG Meta-Object Facility Core Specification Version 2 0 Object Management Group","year":"2015","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976780"},{"journal-title":"Object Management Group Object Constraint Language Version 2 4 Object Management Group","year":"2014","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.09.004"},{"key":"ref21","first-page":"1341","author":"soeken","year":"2010","journal-title":"Design Automation and Test in Europe DATE 2010 Dresden Germany March 8–12 2010"},{"journal-title":"The Java? Language Specification Java SE 7 Edition","year":"2013","author":"gosling","key":"ref42"},{"journal-title":"Proceedings VERIFY Workshop at Federated Logic Conferences (FLoC) Copenhagen Denmark","year":"0","author":"beckert","key":"ref24"},{"journal-title":"Reparatur von Programmen mithilfe der Object Constraint Language","year":"2017","author":"ulke","key":"ref41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_27"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.027"}],"event":{"name":"2017 ACM\/IEEE 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS)","start":{"date-parts":[[2017,9,17]]},"location":"Austin, TX","end":{"date-parts":[[2017,9,22]]}},"container-title":["2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8100283\/8101233\/08101249.pdf?arnumber=8101249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,15]],"date-time":"2017-12-15T21:46:00Z","timestamp":1513374360000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8101249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/models.2017.31","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}