{"id":"https://openalex.org/W4415482535","doi":"https://doi.org/10.1109/access.2025.3625101","title":"Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study","display_name":"Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4415482535","doi":"https://doi.org/10.1109/access.2025.3625101"},"language":"en","primary_location":{"id":"doi:10.1109/access.2025.3625101","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3625101","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2025.3625101","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063961732","display_name":"Joshua Ellul","orcid":"https://orcid.org/0000-0002-4796-5665"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":true,"raw_author_name":"Joshua Ellul","raw_affiliation_strings":["Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","Centre for DLT, University of Malta, Msida, Malta"],"affiliations":[{"raw_affiliation_string":"Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","institution_ids":["https://openalex.org/I197854408"]},{"raw_affiliation_string":"Centre for DLT, University of Malta, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073668681","display_name":"Gordon J. Pace","orcid":"https://orcid.org/0000-0003-0743-6272"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Gordon J. Pace","raw_affiliation_strings":["Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","Centre for DLT, University of Malta, Msida, Malta"],"affiliations":[{"raw_affiliation_string":"Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","institution_ids":["https://openalex.org/I197854408"]},{"raw_affiliation_string":"Centre for DLT, University of Malta, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068503458","display_name":"Ryan Falzon","orcid":"https://orcid.org/0000-0001-7513-3658"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Ryan Falzon","raw_affiliation_strings":["Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","Centre for DLT, University of Malta, Msida, Malta"],"affiliations":[{"raw_affiliation_string":"Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","institution_ids":["https://openalex.org/I197854408"]},{"raw_affiliation_string":"Centre for DLT, University of Malta, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079186662","display_name":"Matthew Scerri","orcid":"https://orcid.org/0009-0002-1672-9018"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Matthew Scerri","raw_affiliation_strings":["Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","Centre for DLT, University of Malta, Msida, Malta"],"affiliations":[{"raw_affiliation_string":"Centre for Distributed Ledger Technologies, University of Malta, Msida, MSD, Malta","institution_ids":["https://openalex.org/I197854408"]},{"raw_affiliation_string":"Centre for DLT, University of Malta, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063961732"],"corresponding_institution_ids":["https://openalex.org/I197854408"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.43717886,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"13","issue":null,"first_page":"186075","last_page":"186089"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":0.9128999710083008,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/supply-chain","display_name":"Supply chain","score":0.5022000074386597},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4643999934196472},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.4641999900341034},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46070000529289246},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.44119998812675476},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.43479999899864197},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.42179998755455017},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.38499999046325684},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.37059998512268066}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8014000058174133},{"id":"https://openalex.org/C108713360","wikidata":"https://www.wikidata.org/wiki/Q1824206","display_name":"Supply chain","level":2,"score":0.5022000074386597},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4643999934196472},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.4641999900341034},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46070000529289246},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.44119998812675476},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.43479999899864197},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.42179998755455017},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4189999997615814},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39989998936653137},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.38499999046325684},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.37059998512268066},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.35249999165534973},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.3513999879360199},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.3465999960899353},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.34220001101493835},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.3206000030040741},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.27720001339912415},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.26759999990463257},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.25949999690055847},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2025.3625101","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3625101","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6aaa4e4d65a54693bcbec6a9441fd8b9","is_oa":true,"landing_page_url":"https://doaj.org/article/6aaa4e4d65a54693bcbec6a9441fd8b9","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 13, Pp 186075-186089 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2025.3625101","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3625101","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Blockchain":[0],"and":[1,8,64,107,111,140,171,178,188],"smart":[2,81],"contracts":[3,82,95,102,115],"promise":[4],"to":[5,28,145,167,175],"increase":[6],"transparency":[7,170],"provide":[9,73],"guarantees":[10,157],"for":[11,183],"supply":[12,57],"chains,":[13],"yet":[14],"existing":[15],"process":[16],"modeling":[17],"languages":[18],"either":[19],"impose":[20],"unnecessary":[21],"complexity":[22],"or":[23],"lack":[24],"the":[25,77,90,118,159],"primitives":[26],"needed":[27],"capture":[29],"attestation-centric":[30],"workflows":[31],"that":[32,47,87,96,103,116,135],"are":[33,53],"simpler":[34],"in":[35,79,122],"nature.":[36],"This":[37],"paper":[38],"introduces":[39],"Attestation-Flow":[40],"Diagrams":[41],"(AFDs),":[42],"a":[43,56,129,180],"domain-specific":[44],"graph-based":[45],"notation":[46],"focuses":[48],"exclusively":[49],"on":[50,128,186],"how":[51],"attestations":[52,106],"issued":[54],"along":[55],"chain.":[58],"We":[59],"first":[60],"formalize":[61],"AFD":[62],"syntax":[63],"trace-based":[65],"operational":[66],"semantics.":[67],"To":[68],"demonstrate":[69],"practical":[70],"viability,":[71],"we":[72],"an":[74,146],"implementation":[75],"of":[76,148],"semantics":[78],"EVM-based":[80],"by":[83,143],"generating":[84],"three":[85],"implementations":[86],"span":[88],"across":[89],"decentralization":[91],"spectrum:":[92],"(i)":[93],"logging-only":[94],"immutably":[97],"store":[98],"attestations;":[99],"(ii)":[100],"hybrid":[101],"record":[104],"both":[105],"off-chain\u2013computed":[108],"state":[109],"transitions;":[110],"(iii)":[112],"fully":[113],"on-chain":[114,152],"execute":[117],"entire":[119],"verification":[120,153],"logic":[121],"Solidity.":[123],"A":[124],"detailed":[125],"gas-cost":[126],"study":[127],"representative":[130],"viticulture":[131],"use":[132],"case":[133],"shows":[134],"event-based":[136],"logging":[137],"reduces":[138],"deployment":[139],"per-transaction":[141],"costs":[142],"up":[144],"order":[147],"magnitude,":[149],"while":[150],"full":[151],"offers":[154],"maximal":[155],"trust":[156],"at":[158],"highest":[160],"cost.":[161],"The":[162],"resulting":[163],"framework":[164],"enables":[165],"designers":[166],"tune":[168],"cost,":[169],"computational":[172],"load":[173],"according":[174],"application":[176],"needs,":[177],"lays":[179],"formal":[181],"foundation":[182],"further":[184],"research":[185],"optimizing":[187],"verifying":[189],"attestation-driven":[190],"supply-chain":[191],"processes.":[192]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-23T00:00:00"}