<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>The Fifth International Workshop on Computer Modeling and Intelligent Systems, May</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.5281/zenodo.2585717</article-id>
      <title-group>
        <article-title>Towards the Tokenization of Business Process Models using the  Blockchain Technology and Smart Contracts </article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Andrii Kopp</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dmytro Orlovskyi</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>National Technical University “Kharkiv Polytechnic Institute”</institution>
          ,
          <addr-line>Kyrpychova str. 2, Kharkiv, 61001</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2022</year>
      </pub-date>
      <volume>12</volume>
      <issue>2022</issue>
      <fpage>0000</fpage>
      <lpage>0002</lpage>
      <abstract>
        <p>   Business process modeling helps organizations to capture their workflows visually as diagrams that could be then used to share best practices, identify inefficiencies in ongoing activities, instruct employees, use them as reference solutions, etc. Design and analysis of business process models are essential technologies of the Business Process Management approach, which is successfully adopted and practiced nowadays by many large and medium enterprises. Therefore, business process models should be considered as organizational assets that depict usable and competitive business solutions, which value could be proven by benchmarking. Single reference business process models or even collections of business process models are already accessible on Internet, sometimes for free or, usually, for purchasing because of the value of transferred knowledge. However, peer-to-peer exchange of business process models on a commercial basis is still far from a unification. At the same time, the tremendous growth of the cryptocurrency market and the adoption of Bitcoin by governments (first by El Salvador in June 2021) makes crypto-economics, also referred to as “tokenomics”, usable for organizational knowledge sharing and exchanging without third party authorities, such as banks, or payment systems. Moreover, collaborating parties could reach a consensus when exchanging business process models using smart contracts and crypto-tokens to access shared knowledge artifacts. Therefore, this paper proposes an approach to business process model tokenization using blockchain technology and smart contracts. There was proposed as an Ethereum smart contract that combines features of the business process model collection and the non-fungible token. A prototype of a decentralized application was developed and its usage was demonstrated.</p>
      </abstract>
      <kwd-group>
        <kwd> 1  Business Process Modeling</kwd>
        <kwd>Blockchain</kwd>
        <kwd>Smart Contract</kwd>
        <kwd>Tokenization</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction: Related Work and Problem Statement </title>
      <p>
        Nowadays digital transformation is a trend in enterprise management. In the first place, digital
transformation is associated with Business Process Management (BPM) and its applications in
business process modeling, and automation using BPM suites. However, business process modeling is
used not only to draw executable workflows – they are usually simplified enough and describe mostly
routine document flows. The main goal of business process modeling includes a visual representation
of business activities as graphical diagrams to identify and understand ongoing workflows, find
bottlenecks for improvement, and ensure communication between IT (Information Technology) staff
and business stakeholders. Widely used reference models of typical enterprise business processes are
used by organizations to adopt and tune concerning industry and internal needs. At the highest levels
of BPM, maturity organizations have in their possession large collections of business process models
that are extremely valuable for them and their competitors. Therefore, successful and time-proven
business scenarios captured as process models could be sold to other organizations willing to achieve
positive BPM outcomes. Secure and peer-to-peer exchange of business process models could be
organized using blockchain technologies, including cryptocurrencies and smart contracts. The only
problem of business process models tokenization, i.e. representation of them as digital tradable assets
on a certain crypto-platform [
        <xref ref-type="bibr" rid="ref2">1</xref>
        ], must be solved to reach such BPM-driven tokenomics. The object of
this research includes sharing and exchange of business process models. The subject of research is the
approach to business process model tokenization using blockchain and smart contracts.
      </p>
      <p>This paper is structured as follows: in the introductory section is given an overview of related
work (sub-section 1.1) and the problem statement is made (sub-section 1.2); section 2 outlines the
approach to business process models tokenization based on smart contracts usage; section 3 contains
results and their discussion regarding decentralized application prototype development and validation;
conclusion and further research plans are outlined in section 4.</p>
    </sec>
    <sec id="sec-2">
      <title>1.1. Related Work </title>
    </sec>
    <sec id="sec-3">
      <title>1.1.1. Business Process Modeling </title>
      <p>
        In general business processes are considered as structured collections of manual or automatic (by
IT systems, e.g. BPMS, CRM, ERP, and others) executed activities necessary to achieve business
goals and satisfy end customers [
        <xref ref-type="bibr" rid="ref1 ref3">2</xref>
        ]. According to the BPM approach, which focuses on the
automation of business processes and support of human interaction with IT applications, there are
different phases of business process analysis, modeling, implementation, and deployment to the
execution environment of a certain IT system, monitoring, and evaluation [
        <xref ref-type="bibr" rid="ref1 ref3">2</xref>
        ]. Despite business
process models could be defined in two ways: textual or visual [
        <xref ref-type="bibr" rid="ref1 ref3">2</xref>
        ], graphical diagrams are much more
informative in describing how to process activities are triggered by events, which data objects are
processed, which organizational units are responsible for process execution, and which outputs are
produced [
        <xref ref-type="bibr" rid="ref4">3</xref>
        ]. Business process modeling is considered the approach to the depiction of current or
future organization activities driven by events and control flow logic [
        <xref ref-type="bibr" rid="ref5">4</xref>
        ]. Also in [
        <xref ref-type="bibr" rid="ref5">4</xref>
        ], business process
models are named as the key tools for process-aware information systems design, business process
reengineering, and service-oriented architectures design [
        <xref ref-type="bibr" rid="ref5">4</xref>
        ]. Business process models are also
considered graphical knowledge resources and could be used as guidelines to introduce best practices
for BPM adoption across multiple enterprises, as it is done by industry reference models that share
knowledge of other organizations [
        <xref ref-type="bibr" rid="ref5">4</xref>
        ].
      </p>
      <p>
        An extensive classification of business process modeling perspectives was given by J. Krogstie in
[
        <xref ref-type="bibr" rid="ref6">5</xref>
        ]. There are object, communication, role, topological, functional, and behavioral perspectives. Some
of the most well-known and widely used modeling standards, notations, and languages were covered
in this classification: UML (Unified Modeling Language), IDEF0 (Integrated Definition for
Functional Modeling), DFD (Data Flow Diagrams), EPC (Event-driven Process Chains), and BPMN
(Business Process Modeling and Notation) [
        <xref ref-type="bibr" rid="ref6">5</xref>
        ]. A combined behavioral and functional approach was
chosen as the most suitable for business process modeling, whereas the BPMN process diagramming
notation has been adopted as the standard in BPM in general and, in particular, in business process
modeling [
        <xref ref-type="bibr" rid="ref6">5</xref>
        ].
      </p>
      <p>
        Even though EPC notation is still in use in the area of business process modeling, many users have
replaced it with BPMN since it is a standard [
        <xref ref-type="bibr" rid="ref7">6</xref>
        ], moreover, most modern EPC modeling software
tools support BPMN as the second or even alternative modeling notation (e.g. ARIS Express) [
        <xref ref-type="bibr" rid="ref7">6</xref>
        ]. As
for other languages and standards, such as UML, DFD, and IDEF0, they did not become popular and
are rarely used for business-oriented process modeling in practice [
        <xref ref-type="bibr" rid="ref7">6</xref>
        ]. In the last decade, BPMN has
become a leading business process modeling notation [
        <xref ref-type="bibr" rid="ref7">6</xref>
        ], there are over 70 BPMN modeling tools
listed on the “BPMN Tool Matrix” [
        <xref ref-type="bibr" rid="ref8">7</xref>
        ] and over 50 open-source tools related to BPMN listed on
“Source Forge” [
        <xref ref-type="bibr" rid="ref9">8</xref>
        ]. BPMN is a complicated notation, there are four core symbols in use [
        <xref ref-type="bibr" rid="ref10">9</xref>
        ]:
 Activities. Tasks or units of work that have a certain duration.
 Events. Things that happen instantaneously and indicate when process instances begin (start
events), complete (end events), or when something happens inside a process (intermediate events).
 Gateways. Model parallel (AND), exclusive (XOR), and inclusive (OR) branches of a process
using combinations of splits and joins.
 Sequence flows. Model logical relations between elements, when one is followed by another.
      </p>
      <p>
        Pools and lanes are used to model process resources: pools define business parties, i.e. boundaries
of a business process, while lanes define roles, i.e. organizational units or persons, that take part in a
business process execution [
        <xref ref-type="bibr" rid="ref10">9</xref>
        ]. There are also data objects and data stores (containers of data objects
that could be databases for electronic objects or some places for physical objects) that could be
depicted in BPMN models to represent information or material flows between activities [
        <xref ref-type="bibr" rid="ref10">9</xref>
        ]. As for
limitations of the BPMN notation, authors of [
        <xref ref-type="bibr" rid="ref10">9</xref>
        ] do not recommend using OR-gateways without
strong necessity because of their confusing logic, as well as to use data objects and data stores that
make diagrams less readable and only useful when communicating to the IT development team for
process automation.
      </p>
      <p>Sample BPMN model of a goods purchase business process, which outlines considered symbols, is
demonstrated in Fig. 1 below.</p>
      <sec id="sec-3-1">
        <title>Figure 1: The BPMN model of a goods purchase business process </title>
        <p>This diagram contains one pool “Goods purchase” that defined business process boundaries, three
lanes “Supply department”, “Warehouse”, and “Accounting department” that define responsible roles
for the process execution. As for core BPMN symbols, there are: start event “Out of stock” that starts
process instance, intermediate events (e.g. “Goods received” and “Order placed”), end event “Goods
supplied” that completes process instances, tasks (e.g. “Place order”, “Receive goods”, “Store goods”,
and “Verify invoice”), split and join AND-gateways to implement parallel execution of “Store goods”
and “Verify invoice” tasks (see Fig. 1).</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>1.1.2. Blockchain Technology </title>
      <p>
        The term “blockchain” means an immutable or read-only data structure – a linked list of blocks, a
directed acyclic graph (DAG), or a tree-like data structure, in which new data can be only appended at
the end of the blockchain [
        <xref ref-type="bibr" rid="ref11">10</xref>
        ]. Blockchain systems are considered trustless distributed networks
where a ledger is replicated over several nodes, each of which can participate in the decision-making
process (i.e. a consensus protocol used to achieve an agreement between nodes when adding new
blocks to the blockchain) in a decentralized and democratic manner [
        <xref ref-type="bibr" rid="ref11">10</xref>
        ]. Moreover, blocks contain
transactions with certain data about transferred cryptocurrency, assets, tokens, etc. [
        <xref ref-type="bibr" rid="ref11">10</xref>
        ].
      </p>
      <p>There are the following principles of blockchain technology that make it adaptable in many
industries where security, transparency, and consistency are necessary features: decentralization,
peerto-peer communication, transparency, pseudonymity, irreversibility, and computational logic [11]. In
general, blockchain is useful only when several entities are collaborating and sharing data since local
copies are maintained on participating nodes to ensure consistency and tamper resistance [11].</p>
      <p>The underlying idea of blockchain is using cryptography to link data blocks of referred distributed
and decentralized chains. The first block is called the “genesis block”, it does not refer to any
previous block in the chain [12]. However, each block contains data (usually as strings), nonce (the
unique number usually related to mining – none generated repeatedly until meets consensus
requirements of new block adding), and the hash value of all fields of the previous block (i.e. the
cryptographic link to a preceding block, also referred as “previous hash”), the hash value of all fields
of the current block [12]. The original consensus algorithm Proof-of-Work (PoW) was used to
confirm transactions and add new blocks to the Bitcoin blockchain. This algorithm assumes miners
(persons who share their computational power to support the network) are competing to confirm
transactions and get rewarded in cryptocurrency [11]. Today PoW is used by such most popular
cryptocurrencies like Bitcoin and Ethereum. However, Ethereum is planned to be switched to another
popular consensus algorithm referred to as Proof-of-Stake (PoS). This algorithm overcomes high
energy use since transactions are confirmed by validators who stake coins instead of sharing their
computing resources. The higher stake is, the higher the probability to add a new block with pending
transactions and getting rewarded [11].</p>
      <p>However, in comparison to Bitcoin and other cryptocurrency-oriented blockchain platforms (such
as Dogecoin, Bitcoin Cash, Litecoin, etc.), Ethereum was designed as a “world computer” with the
ability to host smart contracts – programs to be executed within a blockchain platform [13].</p>
    </sec>
    <sec id="sec-5">
      <title>1.1.3. Smart Contracts </title>
      <p>Bitcoin as the first cryptocurrency was proposed in 2008 by Satoshi Nakamoto, who is presumably
an anonymous person or group of persons hiding by this pseudonym. The difference from traditional
payment systems is that electronic currency could be transferred in a peer-to-peer manner without a
central party that needs to check the records of ownership. Blockchain technology helps to prevent the
double-spending problem and enforce the validity of transaction records [13]. One more crypto-asset
“token” is almost the same as the cryptocurrency – a bearer instrument used to transfer value between
parties over the blockchain network; whereas tokens are created by a single party to represent a
certain value, cryptocurrency is generated by the network as the reward for miners or validators [13].</p>
      <p>Token technology was introduced and standardized by Ethereum and its smart contracts, which
code describes how each token should work [13]. However, Ethereum was planned as a globally
distributed computing network that uses publically stored immutable programs – smart contracts also
referred to as decentralized applications [14]. However, decentralized applications usually include a
client-side created using markup, style sheets, and JavaScript (JS). Decentralized applications (or
DApps) use the Web3 JS library to interact with the smart contracts deployed on the blockchain [12].
DApps are immutable (as any data stored on the blockchain) and perform exactly as they were
developed, without the possibility of fraud, downtime, censorship, or interference [14].</p>
    </sec>
    <sec id="sec-6">
      <title>1.1.4. Tokenization </title>
      <p>In the context of blockchain, tokenization means a representation of real physical or electronic
assets digitally on the blockchain [15]. There could be commodities, real estate, ownership rights for
arts or other collectibles, currency, or any other kinds of assets. As advantages tokenization offers
faster and cheaper transaction processing, flexibility, decentralization, security, and transparency [15],
but there are disadvantages, such as regulatory and legality issues, as well as technical barriers caused
by the use of DApps [15]. There are two types of crypto-tokens [16]:
 Fungible Tokens (FT), which value is identical among all tokens, and which are exchangeable
to each other (i.e. one FT token could be replaced by another FT token similarly to digital cash).
 Non-fungible Tokens (NFT) are unique and not equal to each other in value (i.e. each NFT
token is different from others and cannot be replaced by any of them).</p>
      <p>Another explanation of FT and NFT given in [16] says that dollar bills are exchangeable to other
dollar bills, so they are fungible, whereas baseball cards or other collectibles are unequal in their value
and cannot be replaced with another one.</p>
      <p>From the technological point of view, both FT and NFT are implemented as smart contracts, which
are programmed in a specific way. Several smart contract standards for tokens were developed by the
Ethereum community [17]. The most popular contract standards are [17]:
 ERC20 standard for fungible tokens, which is suitable for multiple use cases, such as payment
tokens, loyalty coins, gift cards, etc. A great example of NT implemented as the ERC20 token on
the Ethereum blockchain is Tether USD, a stable cryptocurrency (also referred to as the
“stablecoin”) that digitally represents USD (United States Dollar) [18].
 ERC721 standard for non-fungible tokens, which is suitable for documents, land titles, digital
identities, real estate, collectibles, etc. A great example of NFT implemented as the ERC721 token
on the Ethereum blockchain is CryptoKitties, an Ethereum-based game in which players buy, sell,
and breed collectible digital cats [19].</p>
      <p>Nowadays OpenZeppelin organization provides extensive references for the development of
ERC20, ERC721, and other smart contract standards [20].
1.2.</p>
    </sec>
    <sec id="sec-7">
      <title>Problem Statement </title>
      <p>The problem of blockchain-driven cross-organizational business process modeling, versioning, and
executing was considered by Härer in [21] and Fill in [22], Hull in [23], Viriyasitavat and Hoonsopon
in [24], De Sousa and Corentin in [25], Milani and Garcia-Banuelos in [26], and others. Thanks to the
considered blockchain advantages, inter-organizational storage of tokenized business process models
provides collaborative parties with proof of authorship, censorship resistance, timestamping, and
immutability. Smart contracts and token standards provide decentralized financial (DeFi) capabilities,
such as peer-to-peer exchange of enterprise knowledge presented as business process models without
the need of any third-party authorities, i.e. banks or payment systems. Therefore, the problem of
business process model tokenization remains relevant and respective information technologies should
consider the latest trends in blockchain technology and digital economics. Since in Spring 2021 NFTs
got a focus in global crypto attention, mostly for collectibles and digital art (the entire market exceeds
130 USD by Spring 2021) [27], it seems like a great opportunity to extend the use cases of NFTs with
tokenization of enterprise models, in particular – business process models.</p>
      <p>
        The NFT better suites process models that are unique and unequal in terms of their syntactic and
semantic properties, which could be used to define the value of shared models. There could be used
SEQUAL (Semiotic Quality) framework [
        <xref ref-type="bibr" rid="ref6">5</xref>
        ] for the evaluation of syntactic and semantic validity and
completeness of BPMN business process models given as graphic diagrams (i.e. images). Hence, the
following business process model tokenization workflow could be used (see Fig. 2).
      </p>
      <sec id="sec-7-1">
        <title>Figure 2: The business process model tokenization workflow </title>
        <p>As for the blockchain platform, there could be chosen Ethereum as the pioneering and still leading
smart contracts platform despite its competitors, such as Binance Smart Chain, Polkadot, Solana, and
others [28]. Thus, the ERC721 standard may be used for business process model tokenization. As it is
shown in Fig. 2, the URI (Uniform Resource Identifier) of a business process model should be used as
the token URI. Besides the token URI, the ERC721 standard should be extended with syntactic and
semantic features of business process models. After NFT is minted (i.e. published on the blockchain),
syntactic and semantic features are used to evaluate the validity and completeness of a process model
to define its value for collaborating parties (Fig. 2).</p>
        <p>
          According to [
          <xref ref-type="bibr" rid="ref6">5</xref>
          ], an extensive contribution to the domain of quality of business process models by
J. Krogstie, syntactic and semantic qualities of business process models could be defined as following
(according to the proposed specialization of SEQUAL framework for business process models):
 Syntactic quality is formulated as the correspondence of all statements (i.e. symbols, such as
activities, etc.) in a business process model to the vocabulary and syntax of modeling notation – in
our case BPMN.
 Semantic quality, in its turn, is defined as the correspondence between all statements and the
modeling domain (i.e. a real business process).
        </p>
        <p>
          In terms of formalisms proposed in [
          <xref ref-type="bibr" rid="ref6">5</xref>
          ], there could be presented phenomena of syntactic invalidity
or syntactic incompleteness:
 Syntactic invalidity – when symbols are not part of BPMN notation (i.e. elements differ from
events, activities, gateways, etc.).
 Syntactic incompleteness – when symbols do not obey BPMN syntax (i.e. elements connected
improperly).
        </p>
        <p>
          Formally, syntactic quality is defined as following [
          <xref ref-type="bibr" rid="ref6">5</xref>
          ]:
        </p>
        <sec id="sec-7-1-1">
          <title>Syntactic quality  1 </title>
          <p># M \ L  M missing ,  
# M
where:
 # M \ L is the number of business process model M statements that do not correspond to the
BPMN language L ;
 M missing is the number of missing statements that make a model syntactically incomplete (i.e.
missing sequence flows or events);
 # M is the total number of business process model statements.</p>
          <p>
            As for semantic properties, there are also validity and completeness phenomena [
            <xref ref-type="bibr" rid="ref6">5</xref>
            ]:
 Semantic invalidity – when statements are not part of the modeling domain.
 Semantic incompleteness – when statements are not correct or relevant to the modeling
domain.
          </p>
          <p>
            In [
            <xref ref-type="bibr" rid="ref6">5</xref>
            ] there are two metrics of semantic quality:
          </p>
        </sec>
        <sec id="sec-7-1-2">
          <title>Semantic validity  1 </title>
          <p># M \ D
Semantic completeness  1</p>
          <p>,  
,  
# M
# D \ M
# D
(1) 
(2) 
(3) 
where:
 # M \ D is the number of business process model M statements that do not belong to the
modeling domain D ;
 # D \ M is the number of model M statements that are not correct or relevant to the
modeling domain D ;
 # D is the number of statements in the modeling domain.</p>
          <p>
            Therefore, a quality-oriented smart contract that may be used to assess tokenized business process
models should consider formalisms of SEQUAL framework (1), (2), and (3) regarding syntactic and
semantic quality of business process models given in [
            <xref ref-type="bibr" rid="ref6">5</xref>
            ]. Thus, each tokenized BPMN model should
be described by the following tuples:
          </p>
          <p>Nisnyvnatlid , Nisnycnotmplete ,  </p>
          <p>N isnevmalid , N isnecmomplete ,  
where:



</p>
          <p>Nisnyvnatlid is the number of syntactically invalid statements in a business process model;
Nisnycnotmplete is the number of syntactically incomplete statements in a business process model;
Nisnevmalid is the number of semantically invalid statements in a business process model;
Nisnecmomplete is the number of semantically incomplete statements in a business process model.</p>
          <p>In addition to (4) and (5), there should be noted the total number of statements N , which could be
considered as equal to # M and # D , since the syntax and semantics of real business process models
are completing each other in order to reflect business activities.</p>
          <p>Finally, there are following mapping should be noted:</p>
          <p>Syntactic : tokenId  Nisnyvnatlid , Nisnycnotmplete , Nisnyvnatlid  Nisnycnotmplete   N ,   (6) 
Semantic : tokenId </p>
          <p>Nisnevmalid , Nisnecmomplete , Ninvalid  Nisnecmomplete   N ,  </p>
          <p> sem</p>
          <p>Total : tokenId  N ,   (8) 
where tokenId is the unique identifier of each tokenized business process model.</p>
          <p>Whereas (6), (7), and (8) define the structure of business process model properties, there are
following metrics should be calculated then:</p>
          <p>Syntactic validity  1  N isnyvnatlid ,  </p>
          <p>N
Nisnycnotmplete ,  </p>
          <p>N
N isnecmomplete .  
(4) 
(5) 
(7) 
(9) 
(10) 
(11) 
(12) </p>
        </sec>
        <sec id="sec-7-1-3">
          <title>Syntactic completeness  1 </title>
          <p>Semantic validity  1  N isnevmalid ,  
N</p>
        </sec>
        <sec id="sec-7-1-4">
          <title>Semantic completeness  1 </title>
          <p>N</p>
          <p>Interpretation of calculated metrics (9) – (12) may be done using the Harrington scale [29] to
transform crisp values of syntactic and semantic validity and completeness into linguistic values. To
visualize obtained linguistic values, it is proposed to use “Green”, “Yellow”, and “Red” color codes
for “Good”, “Satisfied”, and “Bad” values respectively (see Table 1).</p>
          <p>Table 1 </p>
        </sec>
      </sec>
      <sec id="sec-7-2">
        <title>Translation of syntactic and semantic quality metrics into linguistic values and color codes </title>
      </sec>
      <sec id="sec-7-3">
        <title>Linguistic value  Threshold  Color code </title>
        <p>Good  Syntactic validity  0.8,Syntactic completeness  0.8, Green </p>
      </sec>
      <sec id="sec-7-4">
        <title>Satisfied  Bad </title>
        <p> </p>
        <p>Obtained evaluation results will help collaborating parties define values and formulate prices of
shared business process models for further exchange.</p>
        <sec id="sec-7-4-1">
          <title>Semantic validity  0.8,Semantic completeness  0.8</title>
          <p>Syntactic validity  0.63, Syntactic completeness  0.63,</p>
        </sec>
        <sec id="sec-7-4-2">
          <title>Semantic validity  0.63, Semantic completeness  0.63</title>
          <p>Syntactic validity  0.63, Syntactic completeness  0.63,</p>
        </sec>
        <sec id="sec-7-4-3">
          <title>Semantic validity  0.63, Semantic completeness  0.63</title>
          <p> 
 
 </p>
        </sec>
      </sec>
      <sec id="sec-7-5">
        <title>Yellow  Red </title>
      </sec>
    </sec>
    <sec id="sec-8">
      <title>NFT‐Compatible Smart Contract to Store Business Process Models </title>
      <p>As it was outlined before, the ERC721 NFT standard [30] will be used for business process model
tokenization. According to the problem statement, the ERC721 standard should be extended with the
following behavior: model publishing and contacts data publishing (so parties can reach each other for
collaboration). Before a model is published to the blockchain, i.e. the respective NFT is minted,
special metadata JSON (JavaScript Object Notation) file should be published to the Internet and be
accessible by a certain URI (later will be used as the token URI). Such JSON document accessible by
the token URI might include the following properties [30]:
 Name (i.e. a brief description of a depicted business process).
 Description (i.e. a more detailed description of a depicted business process).
 Image URI (i.e. an image of a BPMN diagram).</p>
      <p>Obviously token metadata stored in JSON files will not be stored on the blockchain. However,
such an approach is considered the most efficient from the perspective of transactions’ speed and cost
[31]. Whereas to save tamper resistance provided by the blockchain technology, only the hash value
of an entire document could be found using the secure algorithm (e.g. SHA-256 or others) and stored
on the blockchain to verify the identity of the original document [31].</p>
      <p>Then, to summarize, we may define two more mappings in addition to formalisms (6), (7), and (8)
denoted earlier:</p>
      <p>Party : address  contacts, contacts   UTF8 , ,  </p>
      <p>Hash : tokenId  sha256tokenURI ,  
(13) 
(14) 
where:
 address is the user address in the Ethereum network;
 contacts is the user’s contact information outside the blockchain (e.g. email address, phone
or messenger number, etc.) represented as the string value of UTF-8 characters set UTF8 or even
the empty characters set  (i.e. the empty string) if a party decided to keep pseudonymity;
 sha256 is the hashing algorithm SHA-256 applied to the JSON document tokenURI .</p>
      <p>Moreover, besides the (6) – (8) and (13) – (14) mappings, the smart contract should store a number
of models modelsCount used both as the capacity and the identifier of next minted token. In general,
the minting or model publishing sequence diagram may look as following (see Fig.3).</p>
      <sec id="sec-8-1">
        <title>Figure 3: The model publishing sequence diagram </title>
        <p>Thus, as depicted in Fig. 3 behavior should be implemented in the form of an ERC721-compatible
smart contract that allows for the publication and read tokenized business process models and related
data. In terms of UML class diagrams, the smart contract can be depicted as follows (see Fig. 4).</p>
        <p>Contract “ERC721” with the dashed border line represents OpenZeppelin ERC721 implementation
provided at [30] (see Fig. 4), which is used as the generic for developed contract “EtherBPMNNFT”.
The smart contract also contains two structures “SyntacticStatements” and “SemanticStatements” that
serve as tuples of semantic and syntactic characteristics of tokenized BPMN models. As shown in Fig.
4 mappings of “EtherBPMNNFT” smart contract implement formalisms (6) – (8) and (13) – (14),
while functions “publishModel” and “publishContacts” are used to mint NFT tokens and store
collaborator contact information respectively. Some of ERC721 standard functions can be called from
the developed contract, these functions are also mentioned in Fig. 4.</p>
      </sec>
    </sec>
    <sec id="sec-9">
      <title>3. Results and Discussion </title>
    </sec>
    <sec id="sec-10">
      <title>3.1. Design and Development of a Decentralized Application Prototype </title>
      <p>Considered smart contract is barely useless without having a special decentralized application that
allows ordinary users to interact with the blockchain. The following use cases should be supported by
the DApp prototype for BPMN model tokenization (see Fig. 5).</p>
      <sec id="sec-10-1">
        <title>Figure 5: The use cases of DApp prototype </title>
        <p>The system architecture of the decentralized application is similar to any client-server web
application, whereas instead of an application server and persistent storage the smart contract and
blockchain ledger is used respectively [12]. The structure of the DApp prototype is shown in Fig. 6.</p>
        <p>Components with dashed border lines are third-party libraries, such as Bootstrap for user interface,
CryptoJS for SHA-256 calculation, Web3 for interaction with the Ethereum platform, Ethereum
blockchain ledger itself, MetaMask Web3 provider (as the Google Chrome extension), and also some
Ethereum mobile, desktop, or web wallet that can be used to hold business process models in the form
of ERC721-compatible NFTs, which are tradable and exchangeable as any other digital crypto-assets.
3.2.</p>
      </sec>
    </sec>
    <sec id="sec-11">
      <title>Validation of a Decentralized Application Prototype </title>
      <p>Developed prototype of a decentralized application for business process model tokenization that
can be used only with MetaMask or another Web3 provider. In the authors’ opinion, MetaMask is the
easiest and the most popular tool to work with Ethereum networks, either the main network or test
network, since it only requires the installation of the Google Chrome extension. According to the
sequence diagram (Fig. 3), the tokenization procedure starts with the storing of the JSON metadata
and BPMN diagram image in the third-party non-blockchain storage. Let us imagine we are intending
to store BPMN shown in Fig. 1. It is image is already given and could be stored somewhere on the
Internet with the permanent URI. As for other metadata properties, the following could be given:
 Name: “Goods purchase”.
 Description: “The BPMN model of a goods purchase business process”.</p>
      <p>Therefore, respective JSON (as well as the BPMN diagram image) could be stored in the GitHub
repository of this project and may look like the following (see Fig. 7).</p>
      <sec id="sec-11-1">
        <title>Figure 7: The JSON document representing the NFT metadata </title>
        <p>The URI of future NFT is following –
“https://raw.githubusercontent.com/andriikopp/blockchainrepository/main/nft/models/0.json”. Now, after the non-blockchain data is stored, let us fill and submit
the model publishing form in the DApp (see Fig. 8).</p>
      </sec>
      <sec id="sec-11-2">
        <title>Figure 8: The model publishing form of the DApp </title>
        <p>When the “Publish” button is pressed, the MetaMask appears with the request to sign a transaction
as it is shown in Fig. 9. In case of the transaction is successfully mined, a respective token will be
minted and can be accessed by the address “0xabc33640b17def441cfb455efa1c3f8f490f4616” and ID
“0” (since it is the first NFT in a collection). A respective token could be added to MetaMask for
future exchange with other parties (see Fig. 9).</p>
        <p>Now BPMN diagram shown in Fig. 1 can be kept in the MetaMask wallet or any other Ethereum
wallet that supports ERC721 tokens, exchanged with other Ethereum users, or even traded using NFT
exchanges and marketplaces like other crypto-tokens that represent collectibles or digital art.</p>
        <p>The developed DApp prototype also displays tokenized business process models with all given
JSON-based data and owner’s address, but also with the specific characteristics of BPMN diagrams:
quality metrics of syntactic and semantic validity and completeness, a hash value used to ensure the
identity of business process model metadata, and owner’s contact information (if it was preliminary
published to the smart contract, of course) as it is shown in Fig. 10.</p>
        <p>According to Fig. 10, each tokenized BPMN model are displayed syntactic and semantic metrics
that correspond to (9) – (12) formulas and color codes given in Table 1. Besides metrics, it is possible
to reach the owner by retrieving its contact information (in case it was provided) and checking
identity by comparing the SHA-256 hash value (stored on the blockchain in the smart contract
mapping) to the actual SHA-256 hash value of JSON requested by token URI.</p>
        <p>The form of contacts information publishing, as well as examples of requested contact information
and SHA-256 hash of the NFT data, are shown in Fig. 11.</p>
      </sec>
      <sec id="sec-11-3">
        <title>Figure 11: The contacts publishing form, contacts request window, and identity check window </title>
        <p>Provided quality metrics may help to define the value of the business process model when
exchanged, while the hash value may help to check whether the BPMN has been tampered with by the
previous owner. Currently, the DApp is at the software prototype stage being under construction and
testing [32]. The MetaMask or another wallet with an in-built Web3 provider should be installed to
use the DApp, as well as the Ropsten testnet account should be present for basic usage.</p>
      </sec>
    </sec>
    <sec id="sec-12">
      <title>4. Conclusion and Future Work </title>
      <p>In this research paper, we proposed the approach to business process model tokenization based on
blockchain technology and smart contracts. Based on the performed state-of-the-art overview, the
BPMN business process modeling notation was chosen to describe tokenized business process models
as the most widely used and considered standard in the BPM industry. Essentials of blockchain
technology were considered to prove the relevance of business process model tokenization, and the
essentials of smart contracts and decentralized applications were overviewed as well. Two standards
of tokens – ERC20 and ERC721, which represent fungible and non-fungible tokens respectively were
considered to select the appropriate token standard for BPMN diagrams. Based on features of NFTs,
the ERC721 standard has been chosen, as well as Ethereum as the pioneering and still leading smart
contracting platform has been chosen for implementation.</p>
      <p>
        To provide tokenized business process models with specific features useful to define their value
for exchanging and trading, essential syntactic and semantic quality metrics were used: validity and
completeness [
        <xref ref-type="bibr" rid="ref6">5</xref>
        ]. Hence, originally provided by OpenZeppelin ERC721 smart contract for NFTs has
been extended to keep syntactic and semantic properties of business process models, SHA-256 hash
values of token metadata documents to ensure identity, and owner contact information to ensure
collaboration of parties.
      </p>
      <p>Developed DApp prototype allows to publish a model as the NFT, review already published NFTs,
including model names, descriptions, BPMN diagram images (preview and full size), quality metrics,
owner addresses, request owner contact information (if provided), check the identity of tokenized
BPMN models, and share own contact information if necessary. The smart contract has been deployed
to the Ropsten Ethereum test network, while the DApp is under development and testing.</p>
      <p>Future work in this area includes the development of the decentralized marketplace and exchange
for BPMN models as NFTs, as well as a more rigorous evaluation of tokenized business process
models using special methods and algorithms, rather than human judgment. The DApp should evolve
into the full-scale ecosystem of tokenized BPMN diagrams that could be traded and swapped in the
same way it could be done with cryptocurrency and NFTs nowadays.</p>
    </sec>
    <sec id="sec-13">
      <title>5. References </title>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          2. Tokenization of Business Process 
          <article-title>Models using Smart Contracts  2.1</article-title>
          . Evaluation of Tokenized Business Process Models 
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>B.</given-names>
            <surname>Hines</surname>
          </string-name>
          , What Types of Assets May be Tokenized?, in: Digital Finance:
          <article-title>Security Tokens and Unlocking the Real Potential of Blockchain</article-title>
          , John Wiley &amp; Sons,
          <year>2020</year>
          , pp.
          <fpage>47</fpage>
          -
          <lpage>60</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>C.</given-names>
            <surname>Gerth</surname>
          </string-name>
          , Business Process Modeling,
          <source>in: Business Process Models: Change Management, Lecture Notes in Computer Science</source>
          , Springer,
          <year>2013</year>
          , pp.
          <fpage>14</fpage>
          -
          <lpage>23</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>642</fpage>
          -38604-6.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>A.-W.</given-names>
            <surname>Scheer</surname>
          </string-name>
          ,
          <article-title>Strategic Business Process Analysis</article-title>
          ,
          <source>in: ARIS - Business Process Modeling</source>
          , Springer Science &amp; Business
          <string-name>
            <surname>Media</surname>
          </string-name>
          ,
          <year>2013</year>
          , pp.
          <fpage>7</fpage>
          -
          <lpage>20</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>642</fpage>
          -57108-4.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>A.</given-names>
            <surname>Bitkowska</surname>
          </string-name>
          ,
          <article-title>The relationship between Business Process Management and Knowledge Management - selected aspects from a study of companies in Poland</article-title>
          , in: R. Gabryelczyk, T. Hernaus (Eds.), Business Process Management:
          <article-title>Current Applications and the Challenges of Adoption, Cognitione Foundation for Dissemination of Knowledge and Science,</article-title>
          <year>2020</year>
          , pp
          <fpage>169</fpage>
          -
          <lpage>193</lpage>
          . doi:
          <volume>10</volume>
          .7341/20201616.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>J.</given-names>
            <surname>Krogstie</surname>
          </string-name>
          , Quality of Business Process Models, in: Quality in Business Process Modeling, Springer,
          <year>2016</year>
          , pp.
          <fpage>53</fpage>
          -
          <lpage>102</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>319</fpage>
          -42512-2.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>T.</given-names>
            <surname>Allweyer</surname>
          </string-name>
          , BPMN
          <article-title>- A Standard from Business Process Modeling</article-title>
          ,
          <source>in: BPMN 2</source>
          .
          <article-title>0: Introduction to the Standard for Business Process Modeling</article-title>
          , BoD - Books on Demand,
          <year>2016</year>
          , pp.
          <fpage>9</fpage>
          -
          <lpage>14</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>BPMN</given-names>
            <surname>Tool</surname>
          </string-name>
          <article-title>Matrix</article-title>
          . URL: https://bpmnmatrix.github.io/.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          <article-title>[8] SourceForge - Search results for “bpmn”</article-title>
          . URL: https://sourceforge.net/directory/?q=bpmn.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>M.</given-names>
            <surname>Dumas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. La</given-names>
            <surname>Rosa</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Mendling</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H. A.</given-names>
            <surname>Reijers</surname>
          </string-name>
          , Essential Process Modeling, in: Fundamentals of Business Process Management, Springer,
          <year>2018</year>
          , pp.
          <fpage>75</fpage>
          -
          <lpage>116</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>662</fpage>
          -56509-4.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M. H.</given-names>
            <surname>Rehmani</surname>
          </string-name>
          , Introduction to Blockchain Systems,
          <source>in: Blockchain Systems and Communication Networks: From Concepts to Implementation</source>
          , Springer Nature,
          <year>2021</year>
          , pp.
          <fpage>3</fpage>
          -
          <lpage>14</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>030</fpage>
          -71788-9.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>