{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T22:22:58Z","timestamp":1791152578281,"version":"4.1.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227125","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"968-976","source":"Crossref","is-referenced-by-count":33,"title":["Specification patterns from research to industry: A case study in service-based applications"],"prefix":"10.1109","author":[{"given":"Domenico","family":"Bianculli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cesare","family":"Pautasso","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Senti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"176","article-title":"Safety patterns - The key to formal specification of safety requirements","volume":"2187","author":"bitsch","year":"2001","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13824-9_9"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.33"},{"key":"15","author":"murer","year":"2010","journal-title":"Managed Evolution A Strategy for Very Large Information Systems"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002973"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.29"},{"key":"14","author":"krafzig","year":"2004","journal-title":"Enterprise SOA Service-Oriented Architecture Best Practices"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453125"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2009.15"},{"key":"21","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/ICSE.2002.1007952","article-title":"Propel: An Approach Supporting Property Elucidation","author":"rachel l smith","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"20","first-page":"154","article-title":"Events in property patterns","author":"chechik","year":"1999","journal-title":"SPIN 1999 Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking"},{"key":"22","first-page":"2547","article-title":"Structured english for model checking specification","author":"flake","year":"2000","journal-title":"Trans Amer Math Soc"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368094"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19858-8_17"},{"key":"25","first-page":"73","article-title":"Pattern-based specification and validation of web services interaction properties","volume":"3826","author":"li","year":"2005","journal-title":"LNCS"},{"key":"26","first-page":"137","article-title":"Property patterns for runtime monitoring of web service conversations","volume":"5289","author":"simmonds","year":"2008","journal-title":"LNCS"},{"key":"27","first-page":"156","article-title":"Pattern based property specification and verification for service composition","volume":"4255","author":"yu","year":"2006","journal-title":"LNCS"},{"key":"28","first-page":"56","article-title":"Property specifications for work- flow modelling","volume":"5423","author":"wong","year":"2009","journal-title":"LNCS"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244327"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"2","author":"gamma","year":"1995","journal-title":"Design Patterns Elements of Reusable Object-Oriented Software"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.035"},{"key":"1","author":"alexander","year":"1977","journal-title":"A Pattern Language Towns Buildings Construction"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070027"},{"key":"7","author":"josuttis","year":"2007","journal-title":"SOA in Practice The Art of Distributed System Design"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.362"},{"key":"4","first-page":"439","article-title":"Bandera: Extracting finitestate models from Java source code","author":"corbett","year":"2000","journal-title":"ICSE 2000 Proceedings of the 22nd International Conference on Software Engineering"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062526"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","location":"Zurich","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227125.pdf?arnumber=6227125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:08:08Z","timestamp":1497992888000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227125","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}