{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:44Z","timestamp":1773192704092,"version":"3.50.1"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/icse.2007.50","type":"proceedings-article","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T17:12:04Z","timestamp":1181236324000},"page":"54-64","source":"Crossref","is-referenced-by-count":166,"title":["Matching and Merging of Statecharts Specifications"],"prefix":"10.1109","author":[{"given":"Shiva","family":"Nejati","sequence":"first","affiliation":[]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Easterbrook","sequence":"additional","affiliation":[]},{"given":"Pamela","family":"Zave","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101940"},{"key":"18","author":"melnik","year":"2004","journal-title":"Generic Model Management Concepts And Algorithms volume 2967 oi? LNCS"},{"key":"33","first-page":"185","article-title":"Package merge in UML 2: Practice vs. theory?","author":"zito","year":"2006","journal-title":"MoDELS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134317"},{"key":"16","author":"manning","year":"1999","journal-title":"Foundations of Statistical Natural Language Processing"},{"key":"13","article-title":"Comparing and merging uml models in ibm rational software architect","author":"letkeman","year":"0"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/129852.129857"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.729683"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the prepositional ?-calculus","volume":"27","author":"kozen","year":"1983","journal-title":"TCS"},{"key":"21","first-page":"152","article-title":"Back and forth bisimulations","author":"nicola","year":"1990","journal-title":"Concurrency"},{"key":"20","article-title":"Statecharts merging: Mathematical underpinnings","author":"nejati","year":"2007"},{"key":"22","first-page":"866","article-title":"Template semantics for model-based notations","volume":"29","author":"niu","year":"2003","journal-title":"IEEE TSE"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.3115\/1614025.1614037"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100057"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1993.324827"},{"key":"26","first-page":"12","article-title":"Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach","author":"sabetzadeh","year":"2003","journal-title":"ASE"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0032-y"},{"key":"28","year":"0"},{"key":"29","first-page":"426","article-title":"Simulation-based graph similarity","author":"sokolsky","year":"2006","journal-title":"TACAS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1041410.1041417"},{"key":"2","first-page":"209","article-title":"Applying model management to classical meta data problems","author":"bernstein","year":"2003","journal-title":"CIDR"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2003.1232745"},{"key":"1","first-page":"2","article-title":"Difference and union of models","author":"alanen","year":"2003","journal-title":"UML"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998207415"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919114"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1138304.1138307"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"5","year":"0"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.107"},{"key":"4","article-title":"An introduction to ECharts: The concise user manual","author":"bond","year":"0"},{"key":"9","author":"harel","year":"1998","journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach"},{"key":"8","author":"gomaa","year":"2004","journal-title":"Designing Software Product Lines with UML From Use Cases to Pattern-Based Software Architectures"}],"event":{"name":"29th International Conference on Software Engineering","location":"Minneapolis, MN, USA","start":{"date-parts":[[2007,5,20]]},"end":{"date-parts":[[2007,5,26]]}},"container-title":["29th International Conference on Software Engineering (ICSE'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4222553\/4222554\/04222568.pdf?arnumber=4222568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T14:30:26Z","timestamp":1497709826000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4222568\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icse.2007.50","relation":{},"ISSN":["0270-5257"],"issn-type":[{"value":"0270-5257","type":"print"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}