{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T07:36:12Z","timestamp":1782372972626,"version":"3.54.5"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Technologies R&D Programs of China","award":["2018YFB1402702"],"award-info":[{"award-number":["2018YFB1402702"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972032"],"award-info":[{"award-number":["61972032"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2022,9,1]]},"DOI":"10.1109\/tsc.2021.3077291","type":"journal-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T19:59:24Z","timestamp":1620158364000},"page":"3061-3076","source":"Crossref","is-referenced-by-count":24,"title":["SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-Based Auction Services"],"prefix":"10.1109","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0761-821X","authenticated-orcid":false,"given":"E","family":"Chen","sequence":"first","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0413-1182","authenticated-orcid":false,"given":"Bohan","family":"Qin","sequence":"additional","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9159-745X","authenticated-orcid":false,"given":"Yan","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Weijing","family":"Song","sequence":"additional","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shengdian","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7479-3486","authenticated-orcid":false,"given":"Cheng-Chung William","family":"Chu","sequence":"additional","affiliation":[{"name":"Computer Science Department, Tunghai University, Taichung City, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen S.","family":"Yau","sequence":"additional","affiliation":[{"name":"School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49275-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4236\/jis.2018.93013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42019-6_11"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2016.53"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3191697.3213790"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.150"},{"key":"ref7","article-title":"Scilla: A smart contract intermediate-level language","author":"Sergey","year":"2018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3139337.3139340"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524068"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00183"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_28"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3419804.3421454"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC48266.2020.9169399"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.31743\/recl.4514"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10978-018-9224-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1515\/ercl-2018-1023"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.14488\/BJOPM.2018.v15.n3.a4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94478-4_6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref24","article-title":"Mythril classic: Security analysis tool for ethereum smart contracts","year":"2018"},{"key":"ref25","first-page":"9","article-title":"Smartcheck: Static analysis of ethereum smart contracts","volume-title":"Proc. 1st Int. Workshop Emerg. Trends Softw. Eng. Blockchain","author":"Tikhomirov"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/9913317\/09423670.pdf?arnumber=9423670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T17:39:44Z","timestamp":1717436384000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9423670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,1]]},"references-count":25,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2021.3077291","relation":{},"ISSN":["1939-1374","2372-0204"],"issn-type":[{"value":"1939-1374","type":"electronic"},{"value":"2372-0204","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,1]]}}}