{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T13:13:20Z","timestamp":1779887600881,"version":"3.53.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030914301","type":"print"},{"value":"9783030914318","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-91431-8_8","type":"book-chapter","created":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T16:13:29Z","timestamp":1637165609000},"page":"116-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Model Checking of Solidity Smart Contracts Adopted for Business Processes"],"prefix":"10.1007","author":[{"given":"Ikram","family":"Garfatta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ka\u00efs","family":"Klai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Gra\u00efet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,11,18]]},"reference":[{"key":"8_CR1","unstructured":"Overflow incident. en.bitcoin.it\/wiki\/Value\/overflow\/incident"},{"key":"8_CR2","unstructured":"Solidity documentation. docs.soliditylang.org\/en\/latest\/"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Amani, S., B\u00e9gel, M., Bortin, M., Staples, M.: Towards verifying ethereum smart contract bytecode in isabelle\/hol. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 66\u201377. NY, USA (2018)","DOI":"10.1145\/3167084"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10009-008-0090-1","volume":"11","author":"S Anand","year":"2009","unstructured":"Anand, S., Pasareanu, C.S., Visser, W.: Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11(1), 53\u201367 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Austria (2016)","DOI":"10.1145\/2993600.2993611"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Chen, T., Li, X., Luo, X., Zhang, X.: Under-optimized smart contracts devour your money. In: IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Austria, pp. 442\u2013446 (2017)","DOI":"10.1109\/SANER.2017.7884650"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.2991\/ijndc.k.190710.003","volume":"7","author":"W Dingman","year":"2019","unstructured":"Dingman, W., et al.: Defects and vulnerabilities in smart contracts, a classification using the NIST bugs framework. IJNDC 7(3), 121\u2013132 (2019)","journal-title":"IJNDC"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MIS.2020.2977594","volume":"35","author":"W Duo","year":"2020","unstructured":"Duo, W., Huang, X., Ma, X.: Formal analysis of smart contract based on colored petri nets. IEEE Intell. Syst. 35(3), 19\u201330 (2020)","journal-title":"IEEE Intell. Syst."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Evangelista, S.: High level petri nets analysis with helena. In: Applications and Theory of Petri Nets 2005, pp. 455\u2013464. Berlin, Heidelberg (2005)","DOI":"10.1007\/11494744_26"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Garfatta, I., Klai, K., Gaaloul, W., Graiet, M.: A survey on formal verification for solidity smart contracts. In: ACSW \u201921: 2021 Australasian Computer Science Week Multiconference, New Zealand, 2021, pp. 1\u201310. ACM (2021)","DOI":"10.1145\/3437378.3437879"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured petri nets: modelling and validation of concurrent systems, 1st (edn.) Springer Publishing Company, Incorporated (2009)","DOI":"10.1007\/b95112_1"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: ZEUS: analyzing safety of smart contracts. In: 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, 2018 (2018)","DOI":"10.14722\/ndss.2018.23082"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Pasareanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Poland, Proceedings (2003)","DOI":"10.1007\/3-540-36577-X_40"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Klai, K., Poitrenaud, D.: MC-SOG: an LTL model checker based on symbolic observation graphs. In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi\u2019an, China, 2008. Proceedings, pp. 288\u2013306 (2008)","DOI":"10.1007\/978-3-540-68746-7_20"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Liu, Z., Liu, J.: Formal verification of blockchain smart contract based on colored petri net models. In: 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, USA, vol. 2, pp. 555\u2013560. IEEE (2019)","DOI":"10.1109\/COMPSAC.2019.10265"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Pintado, O., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M., Weber, I., Ponomarev, A.: Caterpillar: A business process execution engine on the ethereum blockchain. Softw. Pract. Exp. 49(7), 1162\u20131193 (2019)","DOI":"10.1002\/spe.2702"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Austria, 2016, pp. 254\u2013269 (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Mavridou, A., Laszka, A., Stachtiari, E., Dubey, A.: Verisolid: correct-by-design smart contracts for ethereum. In: Financial Cryptography and Data Security - 23rd International Conference, FC 2019, St. Kitts and Nevis, 2019, pp. 446\u2013465 (2019)","DOI":"10.1007\/978-3-030-32101-7_27"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4018\/IJSI.2020010102","volume":"8","author":"S Meghzili","year":"2020","unstructured":"Meghzili, S., Chaoui, A., Strecker, M., Kerkouche, E.: An approach for the transformation and verification of BPMN models to colored petri nets models. Int. J. Softw. Innov. 8(1), 17\u201349 (2020)","journal-title":"Int. J. Softw. Innov."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Mendling, J., et al.: Blockchains for business process management - challenges and opportunities. ACM Trans. Manag. Inf. Syst. 9(1), 1\u201316 (2018)","DOI":"10.1145\/3183367"},{"key":"8_CR21","unstructured":"Mukkamala, R.R.: A formal model for declarative workflows dynamic condition response graphs. (2012)"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"key":"8_CR23","unstructured":"OMG: Business process model and notation (bpmn) 2.0. (2011). www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus declarative process modeling languages: an empirical investigation. In: Business Process Management Workshops - BPM 2011 International Workshopsvol, pp. 383\u2013394. Clermont-Ferrand, France, 2011 (2011)","DOI":"10.1007\/978-3-642-28108-2_37"},{"key":"8_CR25","unstructured":"Siegel, D., et al.: The dao attack: understanding what happened (2020). www.coindesk.com\/understanding-dao-hack-journalists"},{"key":"8_CR26","unstructured":"Team, S.: Parity multi-sig wallets funds frozen (explained) (2021). www.springworks.in\/blog\/parity-multi-sig-wallets-funds-frozen-explained\/"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Torres, C.F., Sch\u00fctte, J., State, R.: Osiris: hunting for integer bugs in ethereum smart contracts. In: Proceedings of the 34th Annual Computer Security Applications Conference, pp. 664\u2013676. ACSAC 2018, PR, USA (2018)","DOI":"10.1145\/3274694.3274737"},{"key":"8_CR28","unstructured":"Tran, A.B., Lu, Q., Weber, I.: Lorikeet: A model-driven engineering tool for blockchain-based business process execution and asset management. In: Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM 2018, vol. 2196, pp. 56\u201360. Sydney, Australia (2018)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91431-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T00:04:23Z","timestamp":1637280263000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91431-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030914301","9783030914318"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91431-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dubai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Arab Emirates","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icsoc.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"189","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}