{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:53:07Z","timestamp":1770965587484,"version":"3.50.1"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/models.2015.7338248","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T16:53:36Z","timestamp":1448902416000},"page":"176-185","source":"Crossref","is-referenced-by-count":14,"title":["Checking concurrent behavior in UML\/OCL models"],"prefix":"10.1109","author":[{"given":"Nils","family":"Przigoda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Hilken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"108","article-title":"Checking safety properties using induction and a SAT-solver","author":"sheeran","year":"2000","journal-title":"Conference on Formal Methods in Computer-Aided Design"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)80710-9"},{"key":"ref33","first-page":"59","article-title":"Model checking and code generation for UML state machines and collaborations","author":"knapp","year":"2002","journal-title":"Workshop on Tools for System Design and Verification"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802301"},{"key":"ref31","author":"groote","year":"2014","journal-title":"Modeling and Analysis of Concurrent Systems"},{"key":"ref30","author":"roscoe","year":"1997","journal-title":"The Theory and Practice of Concurrency"},{"key":"ref37","doi-asserted-by":"crossref","DOI":"10.7146\/dpb.v22i463.6936","article-title":"Models for concurrency","volume":"22","author":"winskel","year":"1993","journal-title":"DAIMI Report Series"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_5"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.12"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.027"},{"key":"ref12","first-page":"99","article-title":"A Proposal for a Formal OCL Semantics in Isabelle\/HOL","author":"brucker","year":"2002","journal-title":"TPHOLS"},{"key":"ref13","author":"beckert","year":"2007","journal-title":"Verification of Object-Oriented Software The KeY Approach"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"ref15","article-title":"Finite satisfiability of UML class diagrams by constraint programming","author":"mancini","year":"0","journal-title":"Description Logics 2004"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141703"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"key":"ref18","first-page":"326","article-title":"Using description logic to maintain consistency between UML models","author":"straeten","year":"2003","journal-title":"UML"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","article-title":"UML2Alloy: A Challenging Model Transformation","author":"anastasakis","year":"2007","journal-title":"Int'l Conf on Model Driven Engineering Languages and Systems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763177"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0215-y"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08789-4_13"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_47"},{"key":"ref6","author":"jackson","year":"2006","journal-title":"Software Abstractions - Logic Language and Analysis"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09099-3_8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338257"},{"key":"ref8","first-page":"174","article-title":"Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays","author":"brummayer","year":"2009","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref2","article-title":"Object Constraint Language","year":"2014","journal-title":"OMG - Object Management Group"},{"key":"ref9","article-title":"The SMT-LIB Standard: Version 2.0","author":"barrett","year":"2010"},{"key":"ref1","article-title":"The Unified Modeling Language reference manual","author":"rumbaugh","year":"1999"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"key":"ref24","article-title":"Test automation support","author":"huang","year":"2013","journal-title":"COMPASS Comprehensive Modelling for Advanced Systems of Systems Tech Rep D34 1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"ref26","first-page":"263","article-title":"A Unified Formulation of Behavioral Semantics for SysML Models","author":"hilken","year":"2015","journal-title":"Int'l Conf on Model-Driven Engineering and Software Development"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.111.1"}],"event":{"name":"2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)","location":"Ottawa, ON, Canada","start":{"date-parts":[[2015,9,30]]},"end":{"date-parts":[[2015,10,2]]}},"container-title":["2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7328153\/7338220\/07338248.pdf?arnumber=7338248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T20:43:47Z","timestamp":1498250627000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7338248\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/models.2015.7338248","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}