{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:53:36Z","timestamp":1725537216127},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042102"},{"type":"electronic","value":"9783642042119"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04211-9_28","type":"book-chapter","created":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T05:36:22Z","timestamp":1251956182000},"page":"288-297","source":"Crossref","is-referenced-by-count":6,"title":["A Reusable Model for Data-Centric Web Services"],"prefix":"10.1007","author":[{"given":"Iman","family":"Saleh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Kulczycki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Brian","family":"Blake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Amazon Web Services, http:\/\/aws.amazon.com\/"},{"key":"28_CR2","unstructured":"PayPal Developer Community, http:\/\/developer.paypal-portal.com\/pdn\/"},{"key":"28_CR3","unstructured":"Web Service Description Language (WSDL), http:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"28_CR4","volume-title":"The relational model for database management: version 2","author":"E.F. Codd","year":"1990","unstructured":"Codd, E.F.: The relational model for database management: version 2. Addison-Wesley Longman Publishing Co., Amsterdam (1990)"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/219260.219262","volume":"6","author":"G. Vossen","year":"1995","unstructured":"Vossen, G.: On formal models for object-oriented databases. SIGPLAN OOPS Mess.\u00a06, 1\u201319 (1995)","journal-title":"SIGPLAN OOPS Mess."},{"key":"28_CR6","volume-title":"An Introduction to Database Systems","author":"C. Date","year":"2003","unstructured":"Date, C.: An Introduction to Database Systems. Addison Wesley, Reading (2003)"},{"key":"28_CR7","unstructured":"Fisher, G.: Formal Specification Examples, http:\/\/users.csc.calpoly.edu\/~gfisher\/classes\/308\/doc\/ref-man\/formal-spec-examples.html"},{"key":"28_CR8","unstructured":"Souto, R., Souto, R., Barros, M., Barros, M.: On the Formal Specification and Derivation of Relational Database Applications, PhD Dissertation (1994)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Kilov, H.: From semantic to object-oriented data modeling, Systems Integration. In: Proceedings of the First International Conference on Systems Integration, pp. 385\u2013393 (1990)","DOI":"10.1109\/ICSI.1990.138704"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.scico.2004.05.015","volume":"55","author":"G.T. Leavens","year":"2005","unstructured":"Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming\u00a055, 185\u2013208 (2005)","journal-title":"Science of Computer Programming"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Rustan, K., Leino, M., Schulte, W.: The Spec# programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Lawrence, S., Giles, C.L.: Searching the World Wide Web. Science (1998)","DOI":"10.1126\/science.280.5360.98"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Madhavan, J., Ko, D., Kot, L., Ganapathy, V., Rasmussen, A., Halevy, A.: Google\u2019s Deep Web crawl. In: Proc. VLDB Endow., vol.\u00a01, pp. 1241\u20131252 (2008)","DOI":"10.14778\/1454159.1454163"},{"key":"28_CR14","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1145\/1142473.1142551","volume-title":"Proceedings of the ACM SIGMOD international conference on Management of data","author":"M. Carey","year":"2006","unstructured":"Carey, M.: Data delivery in a service-oriented world: the BEA aquaLogic data services platform. In: Proceedings of the ACM SIGMOD international conference on Management of data, pp. 695\u2013705. ACM, Chicago (2006)"},{"key":"28_CR15","unstructured":"OASIS Business Transaction Protocol, http:\/\/oasis-open.org\/committees\/business-transactions\/"},{"key":"28_CR16","unstructured":"Web Services Atomic Transaction (WS-Atomic Transaction) version 1.2, Committee Specification 01 (2008), http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wsat-1.2-spec.pdf"},{"key":"28_CR17","unstructured":"Web Services Business Activity (WS-Business Activity) version 1.2, Committee Specification 01 (2008), http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wsba-1.2-spec-cs-01.pdf"},{"key":"28_CR18","unstructured":"Design by Contract for Web Services, http:\/\/myarch.com\/design-by-contract-for-web-services"},{"key":"28_CR19","first-page":"751","volume-title":"International Conference on Web Services (ICWS)","author":"A. Bansal","year":"2005","unstructured":"Bansal, A., Patel, K., Gupta, G., Raghavachari, B., Harris, E.D., Staves, J.C.: Towards Intelligent Services: A Case Study in Chemical Emergency Response. In: International Conference on Web Services (ICWS), pp. 751\u2013758. IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Foundations of Reuse and Domain Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04211-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T09:25:36Z","timestamp":1633857936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04211-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042102","9783642042119"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04211-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}