{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:29:22Z","timestamp":1729661362779,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/icws.2013.52","type":"proceedings-article","created":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T20:36:47Z","timestamp":1383338207000},"page":"332-339","source":"Crossref","is-referenced-by-count":4,"title":["Formal Methods for Data-centric Web Services: From Model to Implementation"],"prefix":"10.1109","author":[{"given":"Iman","family":"Saleh","sequence":"first","affiliation":[]},{"given":"Gergory","family":"Kulczycki","sequence":"additional","affiliation":[]},{"given":"M. Brian","family":"Blake","sequence":"additional","affiliation":[]},{"given":"Yi","family":"Wei","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Introducing Express Checkout - PayPal","year":"2009","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSI.1990.138704"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774531"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"On the Formal Specification and Derivation of Relational Database Applications","year":"1994","author":"souto","key":"15"},{"journal-title":"\"Dafny RiSE4fun - A Language and Program Verifier for Functional Correctness RiSE4fun - From Microsoft Research \" [Online]","year":"0","key":"33"},{"journal-title":"Formal Specification Examples","year":"2007","author":"fisher","key":"16"},{"journal-title":"\"OpenJml - Jmlspecs \" [Online]","year":"0","key":"34"},{"key":"13","first-page":"333","author":"rajan","year":"2009","journal-title":"Tisa A Language Design and Modular Verification Technique for Temporal Policies in Web Services"},{"journal-title":"Web Services Description Language (WSDL) Version 2 0","year":"2007","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.110"},{"key":"12","first-page":"35","volume":"31","author":"deutsh","year":"2008","journal-title":"WAVE Automatic Verification of Data-Driven Web Services"},{"journal-title":"OASIS Web Services Business Process Execution Language (WSBPEL)","year":"2007","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1002\/spe.649"},{"journal-title":"Formal Specification and Verification of Data-Centric Web Services","year":"2012","author":"saleh","key":"22"},{"key":"23","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/11804192_17","article-title":"Boogie: A Modular Reusable Verifier for Object-Oriented Programs","author":"barnett","year":"2006","journal-title":"Formal Methods for Components and Objects"},{"key":"24","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"0","journal-title":"Proceedings of the Theory and Practice of Software 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Berlin Heidelberg 2008"},{"journal-title":"\"JML Reference Manual \" [Online]","year":"0","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1181195.1181200"},{"journal-title":"Modular Verification of Generic Components Using a Web-Integrated Environment","year":"2011","author":"cook","key":"27"},{"journal-title":"\"RESOLVE Tutorial \" [Online]","year":"0","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04211-9_2"},{"key":"3","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/978-3-642-04211-9_28","article-title":"A Reusable Model for Data-Centric Web Services","author":"saleh","year":"2009","journal-title":"Formal Foundations of Reuse and Domain Engineering"},{"journal-title":"Design by Contract with JML","year":"2006","author":"leavens","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787"},{"journal-title":"Loosely coupled The missing pieces of Web services","year":"2003","author":"kaye","key":"1"},{"key":"7","first-page":"348","article-title":"Dafny: An automatic program verifier for functional correctness","author":"leino","year":"0","journal-title":"Proceedings of the 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning Berlin Heidelberg 2010"},{"journal-title":"Isabelle\/HOL A Proof Assistant for Higher-Order Logic","year":"2002","author":"nipkow","key":"30"},{"journal-title":"\"The Java Modeling Language (JML) Home Page \" [Online]","year":"0","key":"6"},{"journal-title":"Computer Program Verification Improvements for Human Reasoning","year":"1995","author":"heym","key":"32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2010.80"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2009.106"},{"journal-title":"OWL-S Semantic Markup for Web Services","year":"2004","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/190679.190681","article-title":"The RESOLVE Framework and Discipline: A Research Synopsis","volume":"19","author":"ogden","year":"1994","journal-title":"SIGSOFT Software Engineering Notes"}],"event":{"name":"2013 IEEE International Conference on Web Services (ICWS)","start":{"date-parts":[[2013,6,28]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2013,7,3]]}},"container-title":["2013 IEEE 20th International Conference on Web Services"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596022\/6649542\/06649596.pdf?arnumber=6649596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T21:19:13Z","timestamp":1498079953000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6649596\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icws.2013.52","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}