{"id":"https://openalex.org/W3198733108","doi":"https://doi.org/10.1109/brains52497.2021.9569809","title":"Model-driven approach for the design of Multi-Chain Smart Contracts","display_name":"Model-driven approach for the design of Multi-Chain Smart Contracts","publication_year":2021,"publication_date":"2021-09-27","ids":{"openalex":"https://openalex.org/W3198733108","doi":"https://doi.org/10.1109/brains52497.2021.9569809","mag":"3198733108"},"language":"en","primary_location":{"id":"doi:10.1109/brains52497.2021.9569809","is_oa":false,"landing_page_url":"https://doi.org/10.1109/brains52497.2021.9569809","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03338936","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023573106","display_name":"Ankica Bari\u0161i\u0107","orcid":"https://orcid.org/0000-0001-7513-7907"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ankica Barisic","raw_affiliation_strings":["Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, Inria, I3S, Sophia Antipolis, France","KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, Inria, I3S, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071627766","display_name":"Enlin Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Enlin Zhu","raw_affiliation_strings":["Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, Inria, I3S, Sophia Antipolis, France","KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, Inria, I3S, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090695840","display_name":"Fr\u00e9d\u00e9ric Mallet","orcid":"https://orcid.org/0000-0002-9088-9821"},"institutions":[{"id":"https://openalex.org/I4210117840","display_name":"Institut de Biologie Valrose","ror":"https://ror.org/03bnma344","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I201841394","https://openalex.org/I4210096427","https://openalex.org/I4210117840"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4390039363","display_name":"Infection et inflammation","ror":"https://ror.org/021sh3243","country_code":null,"type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039363"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frederic Mallet","raw_affiliation_strings":["Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, Inria, I3S, Sophia Antipolis, France","KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)","Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","UCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, Inria, I3S, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)","institution_ids":[]},{"raw_affiliation_string":"Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","institution_ids":["https://openalex.org/I4390039363"]},{"raw_affiliation_string":"UCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","institution_ids":["https://openalex.org/I4210117840","https://openalex.org/I201841394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5023573106"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I201841394","https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":1.45565068,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.85367614,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"12232 lncs","issue":null,"first_page":"37","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":1.0,"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":1.0,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9879000186920166,"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.9858999848365784,"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/software-deployment","display_name":"Software deployment","score":0.7884378433227539},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6993626952171326},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.642856240272522},{"id":"https://openalex.org/keywords/business-model","display_name":"Business model","score":0.5547665953636169},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.5336222052574158},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.5317448973655701},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5014970302581787},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4694124162197113},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.4558829069137573},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4405113458633423},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42657795548439026},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.418832927942276},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.32946592569351196},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.15650898218154907},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1482919156551361}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.7884378433227539},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6993626952171326},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.642856240272522},{"id":"https://openalex.org/C4216890","wikidata":"https://www.wikidata.org/wiki/Q815823","display_name":"Business model","level":2,"score":0.5547665953636169},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.5336222052574158},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.5317448973655701},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5014970302581787},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4694124162197113},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.4558829069137573},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4405113458633423},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42657795548439026},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.418832927942276},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.32946592569351196},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.15650898218154907},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1482919156551361},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/brains52497.2021.9569809","is_oa":false,"landing_page_url":"https://doi.org/10.1109/brains52497.2021.9569809","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03338936v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03338936","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03338936v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03338936","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.44999998807907104,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1508641834","https://openalex.org/W2048417351","https://openalex.org/W2090051150","https://openalex.org/W2537902738","https://openalex.org/W2931706589","https://openalex.org/W2970967309","https://openalex.org/W3049516769","https://openalex.org/W3202887189","https://openalex.org/W4247047932","https://openalex.org/W6745932695","https://openalex.org/W6768061769","https://openalex.org/W6778554630"],"related_works":["https://openalex.org/W4297798448","https://openalex.org/W4388187043","https://openalex.org/W4396713893","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W4396636834","https://openalex.org/W3092627261","https://openalex.org/W4396241386","https://openalex.org/W4399333949","https://openalex.org/W4285166115"],"abstract_inverted_index":{"Blockchain-based":[0],"smart":[1],"contracts":[2],"provide":[3],"transparent":[4],"automation":[5],"in":[6],"a":[7,61],"broad":[8],"range":[9],"of":[10,16,24,40,52,68,80,98],"services,":[11],"including":[12],"finance,":[13],"the":[14,22,55,77,86,95],"Internet":[15],"Things,":[17],"and":[18,32,66],"autonomous":[19],"systems.":[20],"However,":[21],"implementation":[23],"such":[25],"services":[26,38,70],"may":[27],"easily":[28],"involve":[29],"security":[30],"risks":[31],"functional":[33],"errors,":[34],"especially":[35,93],"for":[36,94],"complex":[37],"composed":[39,69],"different":[41],"blockchains.":[42],"To":[43],"help":[44],"developers":[45],"focus":[46],"on":[47,85],"their":[48],"business":[49],"model":[50,87],"instead":[51],"diving":[53],"into":[54],"blockchain":[56],"architecture":[57],"heterogeneity,":[58],"we":[59],"propose":[60],"framework":[62],"to":[63],"enable":[64],"analysis":[65],"comparison":[67],"before":[71,88],"deployment.":[72],"This":[73],"is":[74],"achieved":[75],"through":[76],"intensive":[78],"use":[79],"model-based":[81],"engineering":[82],"allowing":[83],"reasoning":[84],"generating":[89],"concrete":[90],"deployment":[91],"artifacts,":[92],"safe":[96],"orchestration":[97],"contract":[99],"calling":[100],"transactions.":[101]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}