{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:54:04Z","timestamp":1729637644043,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fdl.2014.7119340","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T11:03:47Z","timestamp":1434107027000},"page":"1-7","source":"Crossref","is-referenced-by-count":5,"title":["Verifying consistency between activity diagrams and their corresponding OCL contracts"],"prefix":"10.1109","author":[{"given":"Christoph","family":"Hilken","sequence":"first","affiliation":[]},{"given":"Julia","family":"Seiter","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"K\u00fchne","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"journal-title":"Version 1 1","article-title":"Object Management Group. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification","year":"2011","key":"ref11"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2007.43"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763177"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"ref16"},{"journal-title":"Systems Engineering with SysML\/UML Modeling Analysis Design","year":"2008","author":"weilkiens","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_24"},{"key":"ref4","first-page":"137","article-title":"On the Automatic Discovery of Loop Invariants","author":"ireland","year":"1997","journal-title":"NASA Conference Publication"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-02949-3_8","article-title":"Consistency, Independence and Consequences in UML and OCL Models","author":"gogolla","year":"2009","journal-title":"Test and Proof"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_27"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.027"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","article-title":"A Systematic Review of UML Model Consistency Management","volume":"51","author":"lucas","year":"2009","journal-title":"Information and Software Technology"},{"key":"ref7","first-page":"411","article-title":"Consistency checking of UML requirements","author":"li","year":"2005","journal-title":"International Conference on Engineering of Complex Computer Systems IEEE Computer Society"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","article-title":"Verifying UML\/OCL Operation Contracts","volume":"5423","author":"cabot","year":"2009","journal-title":"Lecture Notes in Computer Science Integrated Formal Methods"},{"key":"ref1","first-page":"111","article-title":"Static Verification of UML Model Consistency","author":"baruzzo","year":"2006","journal-title":"Procs of the 3rd Workshop on Model Design and Validation (MoDeV2a)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/b135980"}],"event":{"name":"2014 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2014,10,14]]},"location":"Munich, Germany","end":{"date-parts":[[2014,10,16]]}},"container-title":["Proceedings of the 2014 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7113213\/7119333\/07119340.pdf?arnumber=7119340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T09:34:43Z","timestamp":1498210483000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7119340\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/fdl.2014.7119340","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}