{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:47:56Z","timestamp":1725511676129},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540788485"},{"type":"electronic","value":"9783540788492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78849-2_53","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T09:49:01Z","timestamp":1209376141000},"page":"528-536","source":"Crossref","is-referenced-by-count":2,"title":["Towards Automatic Verification of Web-Based SOA Applications"],"prefix":"10.1007","author":[{"given":"Xiangping","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","unstructured":"Whatcott, J.: SOA\u2019s next wave: Service-oriented clients (2006), http:\/\/www.cio.com\/"},{"key":"53_CR2","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Pearson Educational (September 2003)"},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"Yu, J., Benatallah, B., Saint-Paul, R., Casati, F., Daniel, F., Matera, M.: A Framework for Rapid Integration of Presentation Components. In: Proc. 16th International World Wide Web Conference (2007), Banff, Alberta, Canada, pp. 923\u2013932 (2007)","DOI":"10.1145\/1242572.1242697"},{"key":"53_CR4","doi-asserted-by":"crossref","unstructured":"Hong, J., Wong, J.: Marmite: end-user programming for the web. In: Proc. CHI 2006 extended abstracts on Human factors in computing systems, Canada, pp. 1541\u20131546 (2006)","DOI":"10.1145\/1125451.1125733"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Ankolekar, A., Krotzsh, M., Tran, T., Vandecic, D.: The Two Cultures: Mashing up Web 2.0 and the Semantic Web. In: Proc. 16th International World Wide Web Conference (2007), Banff, Alberta, Canada, pp. 825\u2013834 (2007)","DOI":"10.1145\/1242572.1242684"},{"key":"53_CR6","unstructured":"Nakajima, S.: Model-Checking Verification for Reliable Web Service. In: Proc. OOPSLA 2002 Workshop on Object-Oriented Web Services (2002), Seattle, Washington, USA (2002)"},{"key":"53_CR7","unstructured":"dataMashups, http:\/\/www.datamashup.com"},{"key":"53_CR8","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. In: Proc. 18th IEEE International Conference on Automated Software Engineering (2003), Montreal, Canada, pp. 152\u2013161 (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"Licata, D.R., Krishnamurthi, S.: Verifying interactive Web programs. In: Proc.19th International Conference on Automated Software Engineering (2004), Linz, Austria, pp. 164\u2013173 (2004)","DOI":"10.1109\/ASE.2004.1342734"},{"key":"53_CR10","doi-asserted-by":"crossref","unstructured":"de Alfaro, L.: Model checking the World Wide Web. In: Proc. 13th International Conference Computer Aided Verification (2001), Paris, France, pp. 18\u201322 (2001)","DOI":"10.1007\/3-540-44585-4_31"},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"Graunke, P., Findler, R.B., Krishnamurthi, S., Felleisen, M.: Modeling web interactions. In: Proc. 12th European Symposium on Programming (2003), Warsaw, Poland, pp. 238\u2013252 (2003)","DOI":"10.1007\/3-540-36575-3_17"},{"key":"53_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/3-540-46852-8_9","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"A. Knapp","year":"1999","unstructured":"Knapp, A.: A Formal Semantics for UML Interactions. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 116\u2013130. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Progress in WWW Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78849-2_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:02:30Z","timestamp":1619506950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78849-2_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540788485","9783540788492"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78849-2_53","relation":{},"subject":[]}}