Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking Article Swipe
Yang Liu
,
Ziyu Zhou
,
Yongsheng Yang
,
Yan Ma
·
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.3390/systems10010019
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.3390/systems10010019
Port supply chains play a very important role in the process of economic globalization. Lack of trust of the mechanism is the main factor in restricting the development of port supply chains. Blockchains have great potential to solve the trust problem among all participants using port supply chains, which can reduce costs and improve efficiency. As the bridge between blockchains and port supply chains, smart contracts reconstruct the business process of blockchain-empowered port supply chains. In this article, we present an architecture of a consortium blockchain-empowered port supply chain system, and propose a system verification framework for the smart contracts of port supply chains with probabilistic behaviors. The smart contracts are modeled as DTMCs (Discrete-Time Markov Chains), which are automatically transformed through the BPMN (Business Process Model and Notation) description of the smart contracts. The requirements are specified by PCTL (Probabilistic Computation Tree Logic). Moreover, we implement the customs clearance process of the Shanghai Yangshan Port based on blockchain Hyperledger Fabric, and reconstruct the clearance process with smart contracts. We use it to demonstrate the effectiveness of this framework, and identify the smart contracts that do not meet the expected needs of users.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.3390/systems10010019
- https://www.mdpi.com/2079-8954/10/1/19/pdf?version=1645171696
- OA Status
- gold
- Cited By
- 22
- References
- 43
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4212912761
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4212912761Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.3390/systems10010019Digital Object Identifier
- Title
-
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model CheckingWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2022Year of publication
- Publication date
-
2022-02-16Full publication date if available
- Authors
-
Yang Liu, Ziyu Zhou, Yongsheng Yang, Yan MaList of authors in order
- Landing page
-
https://doi.org/10.3390/systems10010019Publisher landing page
- PDF URL
-
https://www.mdpi.com/2079-8954/10/1/19/pdf?version=1645171696Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
goldOpen access status per OpenAlex
- OA URL
-
https://www.mdpi.com/2079-8954/10/1/19/pdf?version=1645171696Direct OA link when available
- Concepts
-
Supply chain, Port (circuit theory), Smart contract, Computer science, Process (computing), Probabilistic logic, Process management, Risk analysis (engineering), Business, Computer security, Engineering, Operating system, Blockchain, Electrical engineering, Marketing, Artificial intelligenceTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
22Total citation count in OpenAlex
- Citations by year (recent)
-
2025: 5, 2024: 7, 2023: 8, 2022: 2Per-year citation counts (last 5 years)
- References (count)
-
43Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4212912761 |
|---|---|
| doi | https://doi.org/10.3390/systems10010019 |
| ids.doi | https://doi.org/10.3390/systems10010019 |
| ids.openalex | https://openalex.org/W4212912761 |
| fwci | 8.35980443 |
| type | article |
| title | Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking |
| biblio.issue | 1 |
| biblio.volume | 10 |
| biblio.last_page | 19 |
| biblio.first_page | 19 |
| topics[0].id | https://openalex.org/T10270 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9969000220298767 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1710 |
| topics[0].subfield.display_name | Information Systems |
| topics[0].display_name | Blockchain Technology Applications and Security |
| topics[1].id | https://openalex.org/T10328 |
| topics[1].field.id | https://openalex.org/fields/14 |
| topics[1].field.display_name | Business, Management and Accounting |
| topics[1].score | 0.9283999800682068 |
| topics[1].domain.id | https://openalex.org/domains/2 |
| topics[1].domain.display_name | Social Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1404 |
| topics[1].subfield.display_name | Management Information Systems |
| topics[1].display_name | Supply Chain and Inventory Management |
| is_xpac | False |
| apc_list.value | 1600 |
| apc_list.currency | CHF |
| apc_list.value_usd | 1732 |
| apc_paid.value | 1600 |
| apc_paid.currency | CHF |
| apc_paid.value_usd | 1732 |
| concepts[0].id | https://openalex.org/C108713360 |
| concepts[0].level | 2 |
| concepts[0].score | 0.8012990355491638 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q1824206 |
| concepts[0].display_name | Supply chain |
| concepts[1].id | https://openalex.org/C32802771 |
| concepts[1].level | 2 |
| concepts[1].score | 0.7847357988357544 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q2443617 |
| concepts[1].display_name | Port (circuit theory) |
| concepts[2].id | https://openalex.org/C2779950589 |
| concepts[2].level | 3 |
| concepts[2].score | 0.6877637505531311 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q7544035 |
| concepts[2].display_name | Smart contract |
| concepts[3].id | https://openalex.org/C41008148 |
| concepts[3].level | 0 |
| concepts[3].score | 0.6670445203781128 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[3].display_name | Computer science |
| concepts[4].id | https://openalex.org/C98045186 |
| concepts[4].level | 2 |
| concepts[4].score | 0.5504608154296875 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q205663 |
| concepts[4].display_name | Process (computing) |
| concepts[5].id | https://openalex.org/C49937458 |
| concepts[5].level | 2 |
| concepts[5].score | 0.5167719125747681 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q2599292 |
| concepts[5].display_name | Probabilistic logic |
| concepts[6].id | https://openalex.org/C195094911 |
| concepts[6].level | 1 |
| concepts[6].score | 0.35069239139556885 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q14167904 |
| concepts[6].display_name | Process management |
| concepts[7].id | https://openalex.org/C112930515 |
| concepts[7].level | 1 |
| concepts[7].score | 0.33040982484817505 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q4389547 |
| concepts[7].display_name | Risk analysis (engineering) |
| concepts[8].id | https://openalex.org/C144133560 |
| concepts[8].level | 0 |
| concepts[8].score | 0.29336732625961304 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q4830453 |
| concepts[8].display_name | Business |
| concepts[9].id | https://openalex.org/C38652104 |
| concepts[9].level | 1 |
| concepts[9].score | 0.25330865383148193 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q3510521 |
| concepts[9].display_name | Computer security |
| concepts[10].id | https://openalex.org/C127413603 |
| concepts[10].level | 0 |
| concepts[10].score | 0.13538795709609985 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q11023 |
| concepts[10].display_name | Engineering |
| concepts[11].id | https://openalex.org/C111919701 |
| concepts[11].level | 1 |
| concepts[11].score | 0.09285274147987366 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q9135 |
| concepts[11].display_name | Operating system |
| concepts[12].id | https://openalex.org/C2779687700 |
| concepts[12].level | 2 |
| concepts[12].score | 0.07328233122825623 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q20514253 |
| concepts[12].display_name | Blockchain |
| concepts[13].id | https://openalex.org/C119599485 |
| concepts[13].level | 1 |
| concepts[13].score | 0.0 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q43035 |
| concepts[13].display_name | Electrical engineering |
| concepts[14].id | https://openalex.org/C162853370 |
| concepts[14].level | 1 |
| concepts[14].score | 0.0 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q39809 |
| concepts[14].display_name | Marketing |
| concepts[15].id | https://openalex.org/C154945302 |
| concepts[15].level | 1 |
| concepts[15].score | 0.0 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[15].display_name | Artificial intelligence |
| keywords[0].id | https://openalex.org/keywords/supply-chain |
| keywords[0].score | 0.8012990355491638 |
| keywords[0].display_name | Supply chain |
| keywords[1].id | https://openalex.org/keywords/port |
| keywords[1].score | 0.7847357988357544 |
| keywords[1].display_name | Port (circuit theory) |
| keywords[2].id | https://openalex.org/keywords/smart-contract |
| keywords[2].score | 0.6877637505531311 |
| keywords[2].display_name | Smart contract |
| keywords[3].id | https://openalex.org/keywords/computer-science |
| keywords[3].score | 0.6670445203781128 |
| keywords[3].display_name | Computer science |
| keywords[4].id | https://openalex.org/keywords/process |
| keywords[4].score | 0.5504608154296875 |
| keywords[4].display_name | Process (computing) |
| keywords[5].id | https://openalex.org/keywords/probabilistic-logic |
| keywords[5].score | 0.5167719125747681 |
| keywords[5].display_name | Probabilistic logic |
| keywords[6].id | https://openalex.org/keywords/process-management |
| keywords[6].score | 0.35069239139556885 |
| keywords[6].display_name | Process management |
| keywords[7].id | https://openalex.org/keywords/risk-analysis |
| keywords[7].score | 0.33040982484817505 |
| keywords[7].display_name | Risk analysis (engineering) |
| keywords[8].id | https://openalex.org/keywords/business |
| keywords[8].score | 0.29336732625961304 |
| keywords[8].display_name | Business |
| keywords[9].id | https://openalex.org/keywords/computer-security |
| keywords[9].score | 0.25330865383148193 |
| keywords[9].display_name | Computer security |
| keywords[10].id | https://openalex.org/keywords/engineering |
| keywords[10].score | 0.13538795709609985 |
| keywords[10].display_name | Engineering |
| keywords[11].id | https://openalex.org/keywords/operating-system |
| keywords[11].score | 0.09285274147987366 |
| keywords[11].display_name | Operating system |
| keywords[12].id | https://openalex.org/keywords/blockchain |
| keywords[12].score | 0.07328233122825623 |
| keywords[12].display_name | Blockchain |
| language | en |
| locations[0].id | doi:10.3390/systems10010019 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4210219410 |
| locations[0].source.issn | 2079-8954 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | 2079-8954 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | True |
| locations[0].source.display_name | Systems |
| locations[0].source.host_organization | https://openalex.org/P4310310987 |
| locations[0].source.host_organization_name | Multidisciplinary Digital Publishing Institute |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310310987 |
| locations[0].source.host_organization_lineage_names | Multidisciplinary Digital Publishing Institute |
| locations[0].license | cc-by |
| locations[0].pdf_url | https://www.mdpi.com/2079-8954/10/1/19/pdf?version=1645171696 |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Systems |
| locations[0].landing_page_url | https://doi.org/10.3390/systems10010019 |
| locations[1].id | pmh:oai:doaj.org/article:512977791c2343a6ae4667c20c97fcb6 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306401280 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | DOAJ (DOAJ: Directory of Open Access Journals) |
| locations[1].source.host_organization | |
| locations[1].source.host_organization_name | |
| locations[1].license | cc-by-sa |
| locations[1].pdf_url | |
| locations[1].version | submittedVersion |
| locations[1].raw_type | article |
| locations[1].license_id | https://openalex.org/licenses/cc-by-sa |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | Systems, Vol 10, Iss 1, p 19 (2022) |
| locations[1].landing_page_url | https://doaj.org/article/512977791c2343a6ae4667c20c97fcb6 |
| locations[2].id | pmh:oai:mdpi.com:/2079-8954/10/1/19/ |
| locations[2].is_oa | True |
| locations[2].source.id | https://openalex.org/S4306400947 |
| locations[2].source.issn | |
| locations[2].source.type | repository |
| locations[2].source.is_oa | True |
| locations[2].source.issn_l | |
| locations[2].source.is_core | False |
| locations[2].source.is_in_doaj | False |
| locations[2].source.display_name | MDPI (MDPI AG) |
| locations[2].source.host_organization | https://openalex.org/I4210097602 |
| locations[2].source.host_organization_name | Multidisciplinary Digital Publishing Institute (Switzerland) |
| locations[2].source.host_organization_lineage | https://openalex.org/I4210097602 |
| locations[2].license | cc-by |
| locations[2].pdf_url | |
| locations[2].version | submittedVersion |
| locations[2].raw_type | Text |
| locations[2].license_id | https://openalex.org/licenses/cc-by |
| locations[2].is_accepted | False |
| locations[2].is_published | False |
| locations[2].raw_source_name | Systems; Volume 10; Issue 1; Pages: 19 |
| locations[2].landing_page_url | https://dx.doi.org/10.3390/systems10010019 |
| indexed_in | crossref, doaj |
| authorships[0].author.id | https://openalex.org/A5100355846 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-2978-0392 |
| authorships[0].author.display_name | Yang Liu |
| authorships[0].countries | CN |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I96733725 |
| authorships[0].affiliations[0].raw_affiliation_string | Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 200120, China |
| authorships[0].institutions[0].id | https://openalex.org/I96733725 |
| authorships[0].institutions[0].ror | https://ror.org/04z7qrj66 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I96733725 |
| authorships[0].institutions[0].country_code | CN |
| authorships[0].institutions[0].display_name | Shanghai Maritime University |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Yang Liu |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 200120, China |
| authorships[1].author.id | https://openalex.org/A5101834341 |
| authorships[1].author.orcid | https://orcid.org/0009-0003-6587-3056 |
| authorships[1].author.display_name | Ziyu Zhou |
| authorships[1].countries | CN |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I96733725 |
| authorships[1].affiliations[0].raw_affiliation_string | Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 200120, China |
| authorships[1].institutions[0].id | https://openalex.org/I96733725 |
| authorships[1].institutions[0].ror | https://ror.org/04z7qrj66 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I96733725 |
| authorships[1].institutions[0].country_code | CN |
| authorships[1].institutions[0].display_name | Shanghai Maritime University |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Ziyu Zhou |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 200120, China |
| authorships[2].author.id | https://openalex.org/A5100606352 |
| authorships[2].author.orcid | https://orcid.org/0000-0003-1616-2453 |
| authorships[2].author.display_name | Yongsheng Yang |
| authorships[2].countries | CN |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I96733725 |
| authorships[2].affiliations[0].raw_affiliation_string | Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 200120, China |
| authorships[2].institutions[0].id | https://openalex.org/I96733725 |
| authorships[2].institutions[0].ror | https://ror.org/04z7qrj66 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I96733725 |
| authorships[2].institutions[0].country_code | CN |
| authorships[2].institutions[0].display_name | Shanghai Maritime University |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Yongsheng Yang |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 200120, China |
| authorships[3].author.id | https://openalex.org/A5102862727 |
| authorships[3].author.orcid | https://orcid.org/0009-0000-2525-0055 |
| authorships[3].author.display_name | Yan Ma |
| authorships[3].countries | CN, SG |
| authorships[3].affiliations[0].institution_ids | https://openalex.org/I137056471 |
| authorships[3].affiliations[0].raw_affiliation_string | School of Accounting, Nanjing University of Finance and Economics, Nanjing 210023, China |
| authorships[3].affiliations[1].institution_ids | https://openalex.org/I165932596 |
| authorships[3].affiliations[1].raw_affiliation_string | School of Computing, National University of Singapore, Singapore 117417, Singapore |
| authorships[3].institutions[0].id | https://openalex.org/I137056471 |
| authorships[3].institutions[0].ror | https://ror.org/031y8am81 |
| authorships[3].institutions[0].type | education |
| authorships[3].institutions[0].lineage | https://openalex.org/I137056471 |
| authorships[3].institutions[0].country_code | CN |
| authorships[3].institutions[0].display_name | Nanjing University of Finance and Economics |
| authorships[3].institutions[1].id | https://openalex.org/I165932596 |
| authorships[3].institutions[1].ror | https://ror.org/01tgyzw49 |
| authorships[3].institutions[1].type | education |
| authorships[3].institutions[1].lineage | https://openalex.org/I165932596 |
| authorships[3].institutions[1].country_code | SG |
| authorships[3].institutions[1].display_name | National University of Singapore |
| authorships[3].author_position | last |
| authorships[3].raw_author_name | Yan Ma |
| authorships[3].is_corresponding | True |
| authorships[3].raw_affiliation_strings | School of Accounting, Nanjing University of Finance and Economics, Nanjing 210023, China, School of Computing, National University of Singapore, Singapore 117417, Singapore |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://www.mdpi.com/2079-8954/10/1/19/pdf?version=1645171696 |
| open_access.oa_status | gold |
| open_access.any_repository_has_fulltext | False |
| created_date | 2022-02-24T00:00:00 |
| display_name | Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10270 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9969000220298767 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1710 |
| primary_topic.subfield.display_name | Information Systems |
| primary_topic.display_name | Blockchain Technology Applications and Security |
| related_works | https://openalex.org/W2753223082, https://openalex.org/W3025119703, https://openalex.org/W2347757802, https://openalex.org/W600655143, https://openalex.org/W4248792787, https://openalex.org/W4385372470, https://openalex.org/W1559940255, https://openalex.org/W2767550285, https://openalex.org/W2373396576, https://openalex.org/W2978632086 |
| cited_by_count | 22 |
| counts_by_year[0].year | 2025 |
| counts_by_year[0].cited_by_count | 5 |
| counts_by_year[1].year | 2024 |
| counts_by_year[1].cited_by_count | 7 |
| counts_by_year[2].year | 2023 |
| counts_by_year[2].cited_by_count | 8 |
| counts_by_year[3].year | 2022 |
| counts_by_year[3].cited_by_count | 2 |
| locations_count | 3 |
| best_oa_location.id | doi:10.3390/systems10010019 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4210219410 |
| best_oa_location.source.issn | 2079-8954 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | 2079-8954 |
| best_oa_location.source.is_core | True |
| best_oa_location.source.is_in_doaj | True |
| best_oa_location.source.display_name | Systems |
| best_oa_location.source.host_organization | https://openalex.org/P4310310987 |
| best_oa_location.source.host_organization_name | Multidisciplinary Digital Publishing Institute |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4310310987 |
| best_oa_location.source.host_organization_lineage_names | Multidisciplinary Digital Publishing Institute |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | https://www.mdpi.com/2079-8954/10/1/19/pdf?version=1645171696 |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Systems |
| best_oa_location.landing_page_url | https://doi.org/10.3390/systems10010019 |
| primary_location.id | doi:10.3390/systems10010019 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4210219410 |
| primary_location.source.issn | 2079-8954 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | 2079-8954 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | True |
| primary_location.source.display_name | Systems |
| primary_location.source.host_organization | https://openalex.org/P4310310987 |
| primary_location.source.host_organization_name | Multidisciplinary Digital Publishing Institute |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310310987 |
| primary_location.source.host_organization_lineage_names | Multidisciplinary Digital Publishing Institute |
| primary_location.license | cc-by |
| primary_location.pdf_url | https://www.mdpi.com/2079-8954/10/1/19/pdf?version=1645171696 |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Systems |
| primary_location.landing_page_url | https://doi.org/10.3390/systems10010019 |
| publication_date | 2022-02-16 |
| publication_year | 2022 |
| referenced_works | https://openalex.org/W2883310540, https://openalex.org/W3121256088, https://openalex.org/W2081245063, https://openalex.org/W3112901540, https://openalex.org/W3146494093, https://openalex.org/W3184810166, https://openalex.org/W3033909971, https://openalex.org/W2939663913, https://openalex.org/W2999510791, https://openalex.org/W2994721421, https://openalex.org/W2951343982, https://openalex.org/W2959621153, https://openalex.org/W3138285049, https://openalex.org/W3146907769, https://openalex.org/W3135409708, https://openalex.org/W3148852035, https://openalex.org/W3136600682, https://openalex.org/W2900343693, https://openalex.org/W3118793045, https://openalex.org/W2946233782, https://openalex.org/W3040285820, https://openalex.org/W2803002029, https://openalex.org/W2998306639, https://openalex.org/W3085470752, https://openalex.org/W3003924369, https://openalex.org/W3008773310, https://openalex.org/W2981518695, https://openalex.org/W3038124938, https://openalex.org/W3006270948, https://openalex.org/W3047945658, https://openalex.org/W2962170189, https://openalex.org/W3119455763, https://openalex.org/W3045493768, https://openalex.org/W3014037294, https://openalex.org/W6768515732, https://openalex.org/W3034103984, https://openalex.org/W3034930144, https://openalex.org/W3128350048, https://openalex.org/W2020273103, https://openalex.org/W3170602251, https://openalex.org/W3127279031, https://openalex.org/W2963096258, https://openalex.org/W2979191315 |
| referenced_works_count | 43 |
| abstract_inverted_index.a | 4, 83, 92 |
| abstract_inverted_index.As | 55 |
| abstract_inverted_index.In | 75 |
| abstract_inverted_index.We | 169 |
| abstract_inverted_index.an | 80 |
| abstract_inverted_index.as | 112 |
| abstract_inverted_index.by | 138 |
| abstract_inverted_index.do | 185 |
| abstract_inverted_index.in | 8, 24 |
| abstract_inverted_index.is | 20 |
| abstract_inverted_index.it | 171 |
| abstract_inverted_index.of | 11, 15, 17, 28, 70, 82, 100, 130, 151, 176, 191 |
| abstract_inverted_index.on | 157 |
| abstract_inverted_index.to | 36, 172 |
| abstract_inverted_index.we | 78, 145 |
| abstract_inverted_index.The | 107, 134 |
| abstract_inverted_index.all | 42 |
| abstract_inverted_index.and | 52, 60, 90, 127, 161, 179 |
| abstract_inverted_index.are | 110, 118, 136 |
| abstract_inverted_index.can | 49 |
| abstract_inverted_index.for | 96 |
| abstract_inverted_index.not | 186 |
| abstract_inverted_index.the | 9, 18, 21, 26, 38, 56, 67, 97, 122, 131, 147, 152, 163, 174, 181, 188 |
| abstract_inverted_index.use | 170 |
| abstract_inverted_index.BPMN | 123 |
| abstract_inverted_index.Lack | 14 |
| abstract_inverted_index.PCTL | 139 |
| abstract_inverted_index.Port | 0, 155 |
| abstract_inverted_index.Tree | 142 |
| abstract_inverted_index.have | 33 |
| abstract_inverted_index.main | 22 |
| abstract_inverted_index.meet | 187 |
| abstract_inverted_index.play | 3 |
| abstract_inverted_index.port | 29, 45, 61, 72, 86, 101 |
| abstract_inverted_index.role | 7 |
| abstract_inverted_index.that | 184 |
| abstract_inverted_index.this | 76, 177 |
| abstract_inverted_index.very | 5 |
| abstract_inverted_index.with | 104, 166 |
| abstract_inverted_index.DTMCs | 113 |
| abstract_inverted_index.Model | 126 |
| abstract_inverted_index.among | 41 |
| abstract_inverted_index.based | 156 |
| abstract_inverted_index.chain | 88 |
| abstract_inverted_index.costs | 51 |
| abstract_inverted_index.great | 34 |
| abstract_inverted_index.needs | 190 |
| abstract_inverted_index.smart | 64, 98, 108, 132, 167, 182 |
| abstract_inverted_index.solve | 37 |
| abstract_inverted_index.trust | 16, 39 |
| abstract_inverted_index.using | 44 |
| abstract_inverted_index.which | 48, 117 |
| abstract_inverted_index.Markov | 115 |
| abstract_inverted_index.bridge | 57 |
| abstract_inverted_index.chains | 2, 103 |
| abstract_inverted_index.factor | 23 |
| abstract_inverted_index.reduce | 50 |
| abstract_inverted_index.supply | 1, 30, 46, 62, 73, 87, 102 |
| abstract_inverted_index.system | 93 |
| abstract_inverted_index.users. | 192 |
| abstract_inverted_index.Fabric, | 160 |
| abstract_inverted_index.Logic). | 143 |
| abstract_inverted_index.Process | 125 |
| abstract_inverted_index.between | 58 |
| abstract_inverted_index.chains, | 47, 63 |
| abstract_inverted_index.chains. | 31, 74 |
| abstract_inverted_index.customs | 148 |
| abstract_inverted_index.improve | 53 |
| abstract_inverted_index.modeled | 111 |
| abstract_inverted_index.present | 79 |
| abstract_inverted_index.problem | 40 |
| abstract_inverted_index.process | 10, 69, 150, 165 |
| abstract_inverted_index.propose | 91 |
| abstract_inverted_index.system, | 89 |
| abstract_inverted_index.through | 121 |
| abstract_inverted_index.Chains), | 116 |
| abstract_inverted_index.Shanghai | 153 |
| abstract_inverted_index.Yangshan | 154 |
| abstract_inverted_index.article, | 77 |
| abstract_inverted_index.business | 68 |
| abstract_inverted_index.economic | 12 |
| abstract_inverted_index.expected | 189 |
| abstract_inverted_index.identify | 180 |
| abstract_inverted_index.(Business | 124 |
| abstract_inverted_index.Moreover, | 144 |
| abstract_inverted_index.Notation) | 128 |
| abstract_inverted_index.clearance | 149, 164 |
| abstract_inverted_index.contracts | 65, 99, 109, 183 |
| abstract_inverted_index.framework | 95 |
| abstract_inverted_index.implement | 146 |
| abstract_inverted_index.important | 6 |
| abstract_inverted_index.mechanism | 19 |
| abstract_inverted_index.potential | 35 |
| abstract_inverted_index.specified | 137 |
| abstract_inverted_index.behaviors. | 106 |
| abstract_inverted_index.blockchain | 158 |
| abstract_inverted_index.consortium | 84 |
| abstract_inverted_index.contracts. | 133, 168 |
| abstract_inverted_index.framework, | 178 |
| abstract_inverted_index.Blockchains | 32 |
| abstract_inverted_index.Computation | 141 |
| abstract_inverted_index.Hyperledger | 159 |
| abstract_inverted_index.blockchains | 59 |
| abstract_inverted_index.demonstrate | 173 |
| abstract_inverted_index.description | 129 |
| abstract_inverted_index.development | 27 |
| abstract_inverted_index.efficiency. | 54 |
| abstract_inverted_index.reconstruct | 66, 162 |
| abstract_inverted_index.restricting | 25 |
| abstract_inverted_index.transformed | 120 |
| abstract_inverted_index.architecture | 81 |
| abstract_inverted_index.participants | 43 |
| abstract_inverted_index.requirements | 135 |
| abstract_inverted_index.verification | 94 |
| abstract_inverted_index.automatically | 119 |
| abstract_inverted_index.effectiveness | 175 |
| abstract_inverted_index.probabilistic | 105 |
| abstract_inverted_index.(Discrete-Time | 114 |
| abstract_inverted_index.(Probabilistic | 140 |
| abstract_inverted_index.globalization. | 13 |
| abstract_inverted_index.blockchain-empowered | 71, 85 |
| cited_by_percentile_year.max | 99 |
| cited_by_percentile_year.min | 94 |
| corresponding_author_ids | https://openalex.org/A5102862727 |
| countries_distinct_count | 2 |
| institutions_distinct_count | 4 |
| corresponding_institution_ids | https://openalex.org/I137056471, https://openalex.org/I165932596 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/17 |
| sustainable_development_goals[0].score | 0.4300000071525574 |
| sustainable_development_goals[0].display_name | Partnerships for the goals |
| citation_normalized_percentile.value | 0.96988884 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | True |