{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:36Z","timestamp":1750220556692,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,25]],"date-time":"2020-12-25T00:00:00Z","timestamp":1608854400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,25]]},"DOI":"10.1145\/3446999.3447004","type":"proceedings-article","created":{"date-parts":[[2021,4,10]],"date-time":"2021-04-10T03:22:49Z","timestamp":1618024969000},"page":"25-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Session-based Interaction model for Cloud Service"],"prefix":"10.1145","author":[{"given":"Dongming","family":"Jiang","sequence":"first","affiliation":[{"name":"Jiangxi Science&Technology Normal University, China"}]},{"given":"Yuan","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Information Engineering Nanchang University, China"}]},{"given":"Jinzi","family":"Li","sequence":"additional","affiliation":[{"name":"School of Air Traffic Management Civil Aviation Flight University of China, China"}]}],"member":"320","published-online":{"date-parts":[[2021,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000953"},{"volume-title":"Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC '12)","author":"Perrone Gian","key":"e_1_3_2_1_2_1","unstructured":"Gian Perrone , S\u00f8ren Debois , and Thomas T. Hildebrandt . 2012. A model checker for Bigraphs . In Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC '12) . ACM, New York, NY, USA, 1320-1325 Gian Perrone, S\u00f8ren Debois, and Thomas T. Hildebrandt. 2012. A model checker for Bigraphs. In Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC '12). ACM, New York, NY, USA, 1320-1325"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_22"},{"key":"e_1_3_2_1_4_1","first-page":"310","volume-title":"Tevfik Bultan. Compatibility Checking for Asynchronously Communicating Software. FACS","volume":"8348","author":"Ouederni Meriem","year":"2013","unstructured":"Meriem Ouederni , Gwen Sala\u00fcn , and Tevfik Bultan. Compatibility Checking for Asynchronously Communicating Software. FACS 2013 , Vol. 8348 . 310 - 328 Meriem Ouederni, Gwen Sala\u00fcn, and Tevfik Bultan. Compatibility Checking for Asynchronously Communicating Software. FACS 2013, Vol. 8348. 310-328"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68265-3_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Fiadeiro Ant\u00f3nia Lopes and Jo\u00e3o Abreu. \u201cA formal model for service-oriented interactions\u201d. Sci. Comput. Program. 77 5 (May 2012) 577-608.  Jos\u00e9 Fiadeiro Ant\u00f3nia Lopes and Jo\u00e3o Abreu. \u201cA formal model for service-oriented interactions\u201d. Sci. Comput. Program. 77 5 (May 2012) 577-608.","DOI":"10.1016\/j.scico.2011.12.003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Daniel Oberle Alistair Barros Uwe Kylau and Steffen Heinzl. \u201cA unified description language for human to automated services\u201d. Inf. Syst. 38 1 (March 2013) 155-181  Daniel Oberle Alistair Barros Uwe Kylau and Steffen Heinzl. \u201cA unified description language for human to automated services\u201d. Inf. Syst. 38 1 (March 2013) 155-181","DOI":"10.1016\/j.is.2012.06.004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-014-0172-8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-015-0174-1"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes In Computer Science","volume-title":"Service Interaction: Patterns, Formalization, and Analysis. In Formal Methods for Web Services","author":"Aalst Wil M.","year":"2009","unstructured":"Wil M. Aalst , Arjan J. Mooij , Christian Stahl , and Karsten Wolf . 2009 . Service Interaction: Patterns, Formalization, and Analysis. In Formal Methods for Web Services , Lecture Notes In Computer Science , Vol. 5569 . Springer-Verlag , 2009 42-88 Wil M. Aalst, Arjan J. Mooij, Christian Stahl, and Karsten Wolf. 2009. Service Interaction: Patterns, Formalization, and Analysis. In Formal Methods for Web Services, Lecture Notes In Computer Science, Vol. 5569. Springer-Verlag, 2009 42-88"}],"event":{"name":"ICIT 2020: IoT and Smart City","acronym":"ICIT 2020","location":"Xi'an China"},"container-title":["Proceedings of the 2020 8th International Conference on Information Technology: IoT and Smart City"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3446999.3447004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3446999.3447004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:26Z","timestamp":1750195706000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3446999.3447004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,25]]},"references-count":10,"alternative-id":["10.1145\/3446999.3447004","10.1145\/3446999"],"URL":"https:\/\/doi.org\/10.1145\/3446999.3447004","relation":{},"subject":[],"published":{"date-parts":[[2020,12,25]]},"assertion":[{"value":"2021-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}