{"id":"https://openalex.org/W4381389704","doi":"https://doi.org/10.1145/3587828.3587846","title":"Goal Driven Code Generation for Smart Contract Assemblies","display_name":"Goal Driven Code Generation for Smart Contract Assemblies","publication_year":2023,"publication_date":"2023-02-23","ids":{"openalex":"https://openalex.org/W4381389704","doi":"https://doi.org/10.1145/3587828.3587846"},"language":"en","primary_location":{"id":"doi:10.1145/3587828.3587846","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3587828.3587846","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 12th International Conference on Software and Computer Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033334584","display_name":"Konstantinos Tsiounis","orcid":"https://orcid.org/0000-0001-7347-538X"},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Konstantinos Tsiounis","raw_affiliation_strings":["Department of Computer Science, Western University, Canada"],"raw_orcid":"https://orcid.org/0000-0001-7347-538X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Western University, Canada","institution_ids":["https://openalex.org/I125749732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060736678","display_name":"Kostas Kontogiannis","orcid":"https://orcid.org/0009-0001-5623-256X"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kostas Kontogiannis","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, York University, Canada"],"raw_orcid":"https://orcid.org/0009-0001-5623-256X","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, York University, Canada","institution_ids":["https://openalex.org/I192455969"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033334584"],"corresponding_institution_ids":["https://openalex.org/I125749732"],"apc_list":null,"apc_paid":null,"fwci":0.3139,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60880503,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"112","last_page":"121"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.995199978351593,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.995199978351593,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9882000088691711,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/solidity","display_name":"Solidity","score":0.9490396976470947},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.766210675239563},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5399749875068665},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.522715151309967},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.48349931836128235},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.46053317189216614},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.449449747800827},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.4253583550453186},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4176537096500397},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37149572372436523},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.12302267551422119}],"concepts":[{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.9490396976470947},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.766210675239563},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5399749875068665},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.522715151309967},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.48349931836128235},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.46053317189216614},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.449449747800827},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.4253583550453186},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4176537096500397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37149572372436523},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.12302267551422119},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3587828.3587846","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3587828.3587846","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 12th International Conference on Software and Computer Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W2061545062","https://openalex.org/W2096557388","https://openalex.org/W2218646876","https://openalex.org/W2261607688","https://openalex.org/W2344554929","https://openalex.org/W2414443661","https://openalex.org/W2419578922","https://openalex.org/W2532143498","https://openalex.org/W2567541028","https://openalex.org/W2804400041","https://openalex.org/W2883052346","https://openalex.org/W2907736084","https://openalex.org/W2916821990","https://openalex.org/W2931706589","https://openalex.org/W2941493901","https://openalex.org/W2962941562","https://openalex.org/W2970967309","https://openalex.org/W2979602992","https://openalex.org/W2989763394","https://openalex.org/W2997876541","https://openalex.org/W3093575891","https://openalex.org/W3193263647","https://openalex.org/W3217631598","https://openalex.org/W4253041212","https://openalex.org/W4254062556","https://openalex.org/W4299515296","https://openalex.org/W6912507263"],"related_works":["https://openalex.org/W3047895653","https://openalex.org/W4386953084","https://openalex.org/W2119542776","https://openalex.org/W2014596857","https://openalex.org/W2582410692","https://openalex.org/W3114658934","https://openalex.org/W2140083133","https://openalex.org/W1485300234","https://openalex.org/W4287995944","https://openalex.org/W2996623661"],"abstract_inverted_index":{"We":[0],"are":[1,151],"currently":[2],"witnessing":[3],"the":[4,18,63,84,98,117,139,194,217,230],"proliferation":[5],"of":[6,14,20,25,66,86,102,121,143,198,237],"blockchain":[7,56],"environments":[8],"to":[9,36,62,111,115,162,181,203,250],"support":[10],"a":[11,75,105,125,135,176,188,200,224,235],"wide":[12],"spectrum":[13],"corporate":[15],"applications":[16],"through":[17],"use":[19],"smart":[21,29,68,76,89,144,208,219],"contracts.":[22],"It":[23,79],"is":[24,80,114,227],"no":[26],"surprise":[27],"that":[28,83,166,216,226,241],"contract":[30,77,220],"programming":[31],"language":[32],"technology":[33,57],"constantly":[34],"evolves":[35],"include":[37],"not":[38],"only":[39,92],"specialized":[40],"languages":[41,49],"such":[42,50,103,122,199],"as":[43,51,146,148,234],"Solidity,":[44],"but":[45],"also":[46],"general":[47],"purpose":[48],"GoLang":[52],"and":[53,70,100,119,127,141,186,245],"JavaScript.":[54],"Furthermore,":[55],"imposes":[58],"unique":[59],"challenges":[60],"related":[61],"monetary":[64],"cost":[65],"deploying":[67],"contracts,":[69],"handling":[71],"roll-back":[72],"issues":[73],"when":[74],"fails.":[78],"therefore":[81],"evident":[82],"complexity":[85],"systems":[87,104,123],"involving":[88],"contracts":[90],"will":[91,247],"increase":[93],"over":[94],"time":[95],"thus":[96],"making":[97],"maintenance":[99,246],"evolution":[101],"very":[106],"challenging":[107],"task.":[108],"One":[109],"solution":[110],"these":[112],"problems":[113],"approach":[116,137],"implementation":[118],"deployment":[120],"in":[124],"disciplined":[126],"automated":[128],"way.":[129],"In":[130],"this":[131],"paper,":[132],"we":[133,173],"propose":[134],"model-driven":[136],"where":[138],"structure":[140],"inter-dependencies":[142],"contract,":[145],"well":[147],"stakeholder":[149],"objectives,":[150],"denoted":[152],"by":[153],"extended":[154,183],"goal":[155,184],"models":[156,185],"which":[157,191,232],"can":[158],"then":[159],"be":[160,204,248],"transformed":[161,205],"yield":[163],"Solidity":[164,207],"code":[165,222],"conforms":[167],"with":[168,229],"those":[169],"models.":[170],"More":[171],"specifically,":[172],"present":[174],"first":[175],"Domain":[177],"Specific":[178],"Language":[179],"(DSL)":[180],"denote":[182],"second,":[187],"transformation":[189,213],"process":[190,214],"allows":[192],"for":[193],"Abstract":[195],"Syntax":[196],"Trees":[197],"DSL":[201],"program":[202],"into":[206],"contact":[209],"source":[210],"code.":[211],"The":[212],"ensures":[215],"generated":[218],"skeleton":[221],"yields":[223],"system":[225,239],"conformant":[228],"model,":[231],"serves":[233],"specification":[236],"said":[238],"so":[240],"subsequent":[242],"analysis,":[243],"understanding,":[244],"easier":[249],"achieve.":[251]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}