{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:17:45Z","timestamp":1725470265640},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642382291"},{"type":"electronic","value":"9783642382307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38230-7_6","type":"book-chapter","created":{"date-parts":[[2013,5,14]],"date-time":"2013-05-14T20:43:30Z","timestamp":1368564210000},"page":"87-102","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modeling and Analysis of the REST Architecture Using CSP"],"prefix":"10.1007","author":[{"given":"Xi","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zailiang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"2003","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)","edition":"2"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/MIC.2008.110","volume":"12","author":"D. Benslimane","year":"2008","unstructured":"Benslimane, D., Dustdar, S., Sheth, A.P.: Services Mashups: The New Generation of Web Applications. IEEE Internet Computing\u00a012(5), 13\u201315 (2008)","journal-title":"IEEE Internet Computing"},{"issue":"2","key":"6_CR3","first-page":"74","volume":"1","author":"T. Berners-Lee","year":"1992","unstructured":"Berners-Lee, T., Cailliau, R., Groff, J.-F., Pollermann, B.: World-Wide Web: The Information Universe. Electronic Networking: Research, Applications and Policy\u00a01(2), 74\u201382 (1992)","journal-title":"Electronic Networking: Research, Applications and Policy"},{"key":"6_CR4","unstructured":"Blau, B., Lamparter, S., Haak, S.: remash! Blueprints for RESTful Situational Web Applications. In: 2nd Workshop on Mashups, Enterprise Mashups and Lightweight Composition on the Web (MEM 2009) (2009)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Chen, C., Dong, J.S., Sun, J., Martin, A.: A Verification System for Interval-Based Specification Languages. ACM Trans. Softw. Eng. Methodol.\u00a019(4) (2010)","DOI":"10.1145\/1734229.1734232"},{"key":"6_CR6","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures (2000)"},{"key":"6_CR7","unstructured":"Garrote, A., Garcia, M.N.M.: RESTful Writable APIs for the Web of Linked Data Using relational Storage Solutions (April 2011)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Hern\u00e1ndez, A.G., Garc\u00eda, M.N.M.: A Formal Definition of RESTful Semantic Web Services. In: WS-REST, pp. 39\u201345 (2010)","DOI":"10.1145\/1798354.1798384"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-3-642-22110-1_43","volume-title":"Computer Aided Verification","author":"U. Klein","year":"2011","unstructured":"Klein, U., Namjoshi, K.S.: Formalization and Automated Verification of RESTful Behavior. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 541\u2013556. Springer, Heidelberg (2011)"},{"issue":"3","key":"6_CR11","first-page":"40","volume":"16","author":"N. Koch","year":"2002","unstructured":"Koch, N.: Reference Model, Modeling Techniques and Development Process Software Engineering for Adaptive Hypermedia Systems. KI\u00a016(3), 40\u201341 (2002)","journal-title":"KI"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-27552-4_10","volume":"6","author":"A.T. Luu","year":"2012","unstructured":"Luu, A.T., Sun, J., Liu, Y., Dong, J.S., Li, X., Tho, Q.T.: SeVe: Automatic Tool for Verification of Security Protocols. Frontiers of Computer Science in China\u00a06(1), 57\u201375 (2012)","journal-title":"Frontiers of Computer Science in China"},{"issue":"9","key":"6_CR13","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1016\/j.datak.2009.02.016","volume":"68","author":"C. Pautasso","year":"2009","unstructured":"Pautasso, C.: RESTful Web service composition with BPEL for REST. Data Knowl. Eng.\u00a068(9), 851\u2013866 (2009)","journal-title":"Data Knowl. Eng."},{"key":"6_CR14","unstructured":"Pautasso, C., Zimmermann, O., Leymann, F.: REST vs. SOAP: Making the Right Architectural Decision (Jul 2008)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Roscoe, A.: Understanding Concurrent Systems. Springer (2010)","DOI":"10.1007\/978-1-84882-258-0"},{"key":"6_CR16","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall (1998)"},{"key":"6_CR17","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-88479-8_22","volume-title":"Proc. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation","author":"J. Sun","year":"2008","unstructured":"Sun, J., Liu, Y., Dong, J.S.: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. In: ISoLA 2008. CCIS, vol.\u00a017, pp. 307\u2013322. Springer, Heidelberg (2008)"},{"issue":"6","key":"6_CR18","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/32.508313","volume":"22","author":"R.N. Taylor","year":"1996","unstructured":"Taylor, R.N., Medvidovic, N., Anderson, K.M., Whitehead Jr., E.J., Robbins, J.E., Nies, K.A., Oreizy, P., Dubrow, D.L.: A Component- and Message-Based Architectural Style for GUI Software. IEEE Trans. Softw. Eng.\u00a022(6), 390\u2013406 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Wu, X., Liu, S., Zhu, H., Zhao, Y., Chen, L.: Modeling and Verifying the Ariadne Protocol Using CSP. In: ECBS, pp. 24\u201332 (2012)","DOI":"10.1109\/ECBS.2012.31"},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1177\/0037549707079227","volume":"83","author":"W.L. Yeung","year":"2007","unstructured":"Yeung, W.L.: CSP-Based Verification for Web Service Orchestration and Choreography. Simulation\u00a083(1), 65\u201374 (2007)","journal-title":"Simulation"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-642-22233-7_24","volume-title":"Web Engineering","author":"I. Zuzak","year":"2011","unstructured":"Zuzak, I., Budiselic, I., Delac, G.: Formal Modeling of RESTful Systems Using Finite-State Machines. In: Auer, S., D\u00edaz, O., Papadopoulos, G.A. (eds.) ICWE 2011. LNCS, vol.\u00a06757, pp. 346\u2013360. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38230-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,16]],"date-time":"2022-02-16T20:51:53Z","timestamp":1645044713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38230-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642382291","9783642382307"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38230-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}