{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:19:47Z","timestamp":1730297987812,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/soli.2009.5203910","type":"proceedings-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T15:23:01Z","timestamp":1251127381000},"page":"91-97","source":"Crossref","is-referenced-by-count":0,"title":["An Approach for Modeling and Analyzing Crosscutting Concerns"],"prefix":"10.1109","author":[{"family":"Yujian Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Junhua Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Bording","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.40"},{"article-title":"prod reference manual","year":"0","author":"varpaaniemi","key":"17"},{"key":"18","first-page":"491","article-title":"model checking aspect-oriented design specification","volume":"1","author":"xu","year":"2007","journal-title":"Computer Software and Applications Conference Annual International"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/508386.508399"},{"key":"16","first-page":"397","article-title":"on-the-fly verification with stubborn sets","author":"valmari","year":"1993","journal-title":"CAV '93 Proc of the 5th Int Conf on Computer Aided Verification"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189751"},{"key":"14","first-page":"51","article-title":"model checking applications of aspects and superimpositions","author":"sihman","year":"2003","journal-title":"Foundations of Aspect-Oriented Lang"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"year":"0","key":"12"},{"journal-title":"Eclipse AspectJ Aspect-Oriented Programming with AspectJ and the Eclipse AspectJ Development Tools","year":"2004","author":"colyer","key":"3"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"2"},{"journal-title":"Object-Oriented Analysis and Design with Applications","year":"2007","author":"booch","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217296"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218574"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1229375.1229380"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976288"},{"key":"4","first-page":"186","article-title":"an experience on verification of aspect properties","author":"denaro","year":"2001","journal-title":"IWPSE '01 Proc of the 4th Int Workshop on Principles of Software Evolution"},{"key":"9","article-title":"reasoning about semantic conflicts between aspects","author":"ir","year":"2005","journal-title":"EIWAS 2005 2nd European Interactive Workshop on Aspects in Software"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012170960-0\/50035-9"}],"event":{"name":"2009 IEEE\/INFORMS International Conference on Service Operations, Logistics and Informatics (SOLI)","start":{"date-parts":[[2009,7,22]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2009,7,24]]}},"container-title":["2009 IEEE\/INFORMS International Conference on Service Operations, Logistics and Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5174557\/5203893\/05203910.pdf?arnumber=5203910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:29:50Z","timestamp":1489768190000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5203910\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/soli.2009.5203910","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}