{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T13:51:23Z","timestamp":1764251483994,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319694610"},{"type":"electronic","value":"9783319694627"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69462-7_32","type":"book-chapter","created":{"date-parts":[[2017,10,19]],"date-time":"2017-10-19T04:13:28Z","timestamp":1508386408000},"page":"505-523","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Using Colored Petri Nets for Verifying RESTful Service Composition"],"prefix":"10.1007","author":[{"given":"Lara","family":"Kallab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mrissa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Chbeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Bourreau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,20]]},"reference":[{"key":"32_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-19394-1_12","volume-title":"Service-Oriented Computing","author":"R Alarcon","year":"2011","unstructured":"Alarcon, R., Wilde, E., Bellido, J.: Hypermedia-driven RESTful service composition. In: Maximilien, E.M., Rossi, G., Yuan, S.-T., Ludwig, H., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6568, pp. 111\u2013120. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-19394-1_12"},{"key":"32_CR2","unstructured":"Chemaa, S., Elmansouri, R., Chaoui, A.: Web services modeling and composition approach using object-oriented petri nets. arXiv preprint arXiv:1304.2080 (2013)"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-01364-5_5","volume-title":"Web Services and Formal Methods","author":"G Decker","year":"2009","unstructured":"Decker, G., L\u00fcders, A., Overdick, H., Schlichting, K., Weske, M.: RESTful Petri Net execution. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 73\u201387. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-01364-5_5"},{"key":"32_CR4","unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California, Irvine (2000)"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Gehlot, V., Nigro, C.: An introduction to systems modeling and simulation with Colored Petri Nets. In: Proceedings of the Winter Simulation Conference, pp. 104\u2013118. Winter Simulation Conference (2010)","DOI":"10.1109\/WSC.2010.5679170"},{"key":"32_CR6","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based model for web service composition. In: Proceedings of the 14th Australasian Database Conference, vol. 17, pp. 191\u2013200. Australian Computer Society, Inc. (2003)"},{"issue":"2","key":"32_CR7","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"LM Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner\u2019s guide to coloured petri nets. Int. J. Softw. Tools Technol. Transf. (STTT) 2(2), 98\u2013132 (1998)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"1","key":"32_CR8","first-page":"149","volume":"7","author":"B Li","year":"2012","unstructured":"Li, B., Xu, Y., Wu, J., Zhu, J.: A Petri-Net and QoS based model for automatic web service composition. JSW 7(1), 149\u2013155 (2012)","journal-title":"JSW"},{"issue":"3","key":"32_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0166-3615(02)00099-4","volume":"49","author":"D Liu","year":"2002","unstructured":"Liu, D., Wang, J., Chan, S.C., Sun, J., Zhang, L.: Modeling workflow processes with Colored Petri Nets. Comput. Ind. 49(3), 267\u2013281 (2002)","journal-title":"Comput. Ind."},{"issue":"4","key":"32_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-1-4614-7518-7_2","volume-title":"Web Serv. Found.","author":"C Pautasso","year":"2014","unstructured":"Pautasso, C.: Restful web services: principles, patterns, emerging technologies. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds.) Web Serv. Found., pp. 31\u201351. Springer, New York (2014)"},{"key":"32_CR12","unstructured":"Suda, B.: SOAP web services (2003). http:\/\/suda.co.uk\/publications\/MSc\/brian.suda.thesis.pdf. Accessed 29 June 2010"},{"issue":"11","key":"32_CR13","doi-asserted-by":"publisher","first-page":"2733","DOI":"10.4304\/jsw.8.11.2733-2737","volume":"8","author":"B Tian","year":"2013","unstructured":"Tian, B., Gu, Y.: Formal modeling and verification for web service composition. JSW 8(11), 2733\u20132737 (2013)","journal-title":"JSW"},{"key":"32_CR14","unstructured":"Verborgh, R., Steiner, T., Van Deursen, D., De Roo, J., Van de Walle, R., Vall\u00e9s, J.G.: Description and interaction of restful services for automatic discovery and execution. In: 2011 FTRA International workshop on Advanced Future Multimedia Services (AFMS 2011). Future Technology Research Association International (FTRA) (2011)"},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.future.2015.09.007","volume":"56","author":"X Wu","year":"2016","unstructured":"Wu, X., Zhu, H.: Formalization and analysis of the REST architecture from the process algebra perspective. Future Gener. Comput. Syst. 56, 153\u2013168 (2016). http:\/\/dx.doi.org\/10.1016\/j.future.2015.09.007","journal-title":"Future Gener. Comput. Syst."},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical Colored Petri Nets. In: Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems, pp. 47\u201354. ACM (2005)","DOI":"10.1145\/1096967.1096977"},{"key":"32_CR17","unstructured":"Zhao, X.: A linear logic approach to RESTful web service modelling and composition. Ph.D. thesis, University of Bedfordshire, UK (2013). http:\/\/hdl.handle.net\/10547\/301103"},{"issue":"4","key":"32_CR18","first-page":"353","volume":"10","author":"I Zuzak","year":"2011","unstructured":"Zuzak, I., Budiselic, I., Delac, G.: A finite-state machine approach for modeling and analyzing restful systems. J. Web Eng. 10(4), 353\u2013390 (2011). http:\/\/www.rintonpress.com\/xjwe10\/jwe-10-4\/353-390.pdf","journal-title":"J. Web Eng."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems. OTM 2017 Conferences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69462-7_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:07:12Z","timestamp":1710266832000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-69462-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694610","9783319694627"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69462-7_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"20 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"OTM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"OTM Confederated International Conferences \"On the Move to Meaningful Internet Systems\"","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"otm2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.otmconferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}