{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:31Z","timestamp":1750221271004,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Education and Research (BMBF)","award":["01IW16001"],"award-info":[{"award-number":["01IW16001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3127053","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"77-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["More than true or false"],"prefix":"10.1145","author":[{"given":"Nils","family":"Przigoda","sequence":"first","affiliation":[{"name":"Siemens AG, Braunschweig, Germany and University of Bremen, Germany"}]},{"given":"Philipp","family":"Niemann","sequence":"additional","affiliation":[{"name":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany"}]},{"given":"Judith","family":"Peters","sequence":"additional","affiliation":[{"name":"OHB System AG, Bremen, Germany"}]},{"given":"Frank","family":"Hilken","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany and Johannes Kepler University Linz, Linz, Austria"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany and Cyber-Physical Systems, DFKI GmbH, Bremen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Satisfiability Modulo Theories Library (SMT-LIB)","author":"Barrett Clark","year":"2016","unstructured":"Clark Barrett , Pascal Fontaine , and Cesare Tinelli . The Satisfiability Modulo Theories Library (SMT-LIB) . 2016 . url: http:\/\/www.SMT-LIB.org. Clark Barrett, Pascal Fontaine, and Cesare Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). 2016. url: http:\/\/www.SMT-LIB.org."},{"key":"e_1_3_2_1_2_1","first-page":"97","article-title":"HOL-OCL: A Formal Proof Environment for UML\/OCL","author":"Brucker Achim D.","year":"2008","unstructured":"Achim D. Brucker and Burkhart Wolff . \" HOL-OCL: A Formal Proof Environment for UML\/OCL \". In: Int'l Conf. on Fundamental Approaches to Software Engineering. 2008 , pp. 97 -- 100 . Achim D. Brucker and Burkhart Wolff. \"HOL-OCL: A Formal Proof Environment for UML\/OCL\". In: Int'l Conf. on Fundamental Approaches to Software Engineering. 2008, pp. 97--100.","journal-title":"Int'l Conf. on Fundamental Approaches to Software Engineering."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976774"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0089-y"},{"key":"e_1_3_2_1_6_1","first-page":"265","volume-title":"Modeling Languages and Applications.","author":"Gogolla Martin","year":"2003","unstructured":"Martin Gogolla , J\u00f6rn Bohling , and Mark Richters . \" Validation of UML and OCL Models by Automatic Snapshot Generation\". In : Int'l Conf. on the Unified Modeling Language , Modeling Languages and Applications. 2003 , pp. 265 -- 279 . Martin Gogolla, J\u00f6rn Bohling, and Mark Richters. \"Validation of UML and OCL Models by Automatic Snapshot Generation\". In: Int'l Conf. on the Unified Modeling Language, Modeling Languages and Applications. 2003, pp. 265--279."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"e_1_3_2_1_8_1","first-page":"85","article-title":"Expressing UML Class Diagrams Properties with OCL","author":"Gogolla Martin","year":"2002","unstructured":"Martin Gogolla and Mark Richters . \" Expressing UML Class Diagrams Properties with OCL \". In: Int'l Workshop in OCL and Textual Modeling. 2002 , pp. 85 -- 114 . Martin Gogolla and Mark Richters. \"Expressing UML Class Diagrams Properties with OCL\". In: Int'l Workshop in OCL and Textual Modeling. 2002, pp. 85--114.","journal-title":"Int'l Workshop in OCL and Textual Modeling."},{"key":"e_1_3_2_1_9_1","first-page":"44","article-title":"EMFtoCSP: a tool for the lightweight verification of EMF models","author":"Gonz\u00e1lez Carlos A.","year":"2012","unstructured":"Carlos A. Gonz\u00e1lez , Fabian B\u00fcttner , Robert Claris\u00f6 , and Jordi Cabot . \" EMFtoCSP: a tool for the lightweight verification of EMF models \". In: Int'l Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches. 2012 , pp. 44 -- 50 . Carlos A. Gonz\u00e1lez, Fabian B\u00fcttner, Robert Claris\u00f6, and Jordi Cabot. \"EMFtoCSP: a tool for the lightweight verification of EMF models\". In: Int'l Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches. 2012, pp. 44--50.","journal-title":"Int'l Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_27"},{"key":"e_1_3_2_1_11_1","volume-title":"Object Constraint Language - Version 2.4. Version 2.4","author":"Object Management Group","year":"2014","unstructured":"Object Management Group . Object Constraint Language - Version 2.4. Version 2.4 . Feb. 3, 2014 . 230 pp. url: http:\/\/www.omg.org\/spec\/OCL\/2.4. Object Management Group. Object Constraint Language - Version 2.4. Version 2.4. Feb. 3, 2014. 230 pp. url: http:\/\/www.omg.org\/spec\/OCL\/2.4."},{"key":"e_1_3_2_1_12_1","volume-title":"OMG Systems Modeling Language (OMG SysML\u2122)","author":"Object Management Group","year":"2015","unstructured":"Object Management Group . OMG Systems Modeling Language (OMG SysML\u2122) . June 3, 2015 . 346 pp. Object Management Group. OMG Systems Modeling Language (OMG SysML\u2122). June 3, 2015. 346 pp."},{"key":"e_1_3_2_1_13_1","volume-title":"OMG Unified Modeling Language TM (OMG UML) - Version 2.5. Version 2.5","author":"Object Management Group","year":"2015","unstructured":"Object Management Group . OMG Unified Modeling Language TM (OMG UML) - Version 2.5. Version 2.5 . Mar. 1, 2015 . 230 pp. url: http:\/\/www.omg.org\/spec\/UML\/2.5\/. Object Management Group. OMG Unified Modeling Language TM (OMG UML) - Version 2.5. Version 2.5. Mar. 1, 2015. 230 pp. url: http:\/\/www.omg.org\/spec\/UML\/2.5\/."},{"key":"e_1_3_2_1_14_1","first-page":"176","article-title":"Checking concurrent behavior in UML\/OCL models","author":"Przigoda Nils","year":"2015","unstructured":"Nils Przigoda , Christoph Hilken , Robert Wille , Jan Peleska , and Rolf Drechsler . \" Checking concurrent behavior in UML\/OCL models \". In: Int'l Conf. on Model Driven Engineering Languages and Systems. 2015 , pp. 176 -- 185 . Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler. \"Checking concurrent behavior in UML\/OCL models\". In: Int'l Conf. on Model Driven Engineering Languages and Systems. 2015, pp. 176--185.","journal-title":"Int'l Conf. on Model Driven Engineering Languages and Systems."},{"issue":"1","key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1049\/iet-cps.2016.0022","article-title":"Verifying the structure and behavior in UML\/OCL models using satisfiability solvers","volume":"1","author":"Przigoda Nils","year":"2016","unstructured":"Nils Przigoda , Mathias Soeken , Robert Wille , and Rolf Drechsler . \" Verifying the structure and behavior in UML\/OCL models using satisfiability solvers \". In: IET Cyper-Phys. Syst.: Theory & Appl. 1 . 1 ( 2016 ), pp. 49 -- 59 . Nils Przigoda, Mathias Soeken, Robert Wille, and Rolf Drechsler. \"Verifying the structure and behavior in UML\/OCL models using satisfiability solvers\". In: IET Cyper-Phys. Syst.: Theory & Appl. 1.1 (2016), pp. 49--59.","journal-title":"IET Cyper-Phys. Syst.: Theory & Appl."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126616400211"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2015.52"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.85"},{"key":"e_1_3_2_1_19_1","first-page":"217","volume-title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.","author":"Riener Heinz","year":"2014","unstructured":"Heinz Riener , Oliver Keszocze , Rolf Drechsler , and G\u00f6rschwin Fey . \" A Logic for Cardinality Constraints ( Extended Abstract)\". In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. 2014 , pp. 217 -- 220 . Heinz Riener, Oliver Keszocze, Rolf Drechsler, and G\u00f6rschwin Fey. \"A Logic for Cardinality Constraints (Extended Abstract)\". In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. 2014, pp. 217--220."},{"key":"e_1_3_2_1_20_1","volume-title":"The Unified Modeling Language reference manual","author":"Rumbaugh James","year":"1999","unstructured":"James Rumbaugh , Ivar Jacobson , and Grady Booch , eds. The Unified Modeling Language reference manual . Essex, UK , 1999 . isbn: 0-201-30998-X. James Rumbaugh, Ivar Jacobson, and Grady Booch, eds. The Unified Modeling Language reference manual. Essex, UK, 1999. isbn: 0-201-30998-X."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2025936.2025948"},{"key":"e_1_3_2_1_22_1","first-page":"1077","article-title":"Verifying dynamic aspects of UML models","author":"Soeken Mathias","year":"2011","unstructured":"Mathias Soeken , Robert Wille , and Rolf Drechsler . \" Verifying dynamic aspects of UML models \". In: Design, Automation and Test in Europe. 2011 , pp. 1077 -- 1082 . Mathias Soeken, Robert Wille, and Rolf Drechsler. \"Verifying dynamic aspects of UML models\". In: Design, Automation and Test in Europe. 2011, pp. 1077--1082.","journal-title":"Design, Automation and Test in Europe."},{"key":"e_1_3_2_1_23_1","first-page":"1341","article-title":"Verifying UML\/OCL models using Boolean satisfiability","author":"Soeken Mathias","year":"2010","unstructured":"Mathias Soeken , Robert Wille , Mirco Kuhlmann , Martin Gogolla , and Rolf Drechsler . \" Verifying UML\/OCL models using Boolean satisfiability \". In: Design, Automation and Test in Europe. 2010 , pp. 1341 -- 1344 . Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, and Rolf Drechsler. \"Verifying UML\/OCL models using Boolean satisfiability\". In: Design, Automation and Test in Europe. 2010, pp. 1341--1344.","journal-title":"Design, Automation and Test in Europe."}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Vienna Austria","acronym":"MEMOCODE '17"},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127053","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:06Z","timestamp":1750212666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127053"}},"subtitle":["native support of irregular values in the automatic validation & verification of UML\/OCL models"],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":23,"alternative-id":["10.1145\/3127041.3127053","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127053","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}