Conference PaperPDF Available

Abstract and Figures

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be coordinated via smart contracts operating on the blockchain. The consensus mechanism governing the blockchain thereby guarantees that the process model is followed by each party. However, the cost required for blockchain use is highly dependent on the volume of data recorded and the frequency of data updates by smart contracts. This paper proposes an optimized method for executing business processes on top of commodity blockchain technology. Our optimization targets three areas specifically: initialization cost for process instances, task execution cost by means of a space-optimized data structure, and improved runtime components for maximized throughput. The method is empirically compared to a previously proposed baseline by replaying execution logs and measuring resource consumption and throughput.
Content may be subject to copyright.
1 2
1 2,3
1
{luciano.garcia, marlon.dumas}@ut.ee
2
{alex.ponomarev, ingo.weber}@data61.csiro.au
3
108
× ×108
0false
255 true
BPMN
process
mode l
Simplified
net with
data
conditions
Solidity
contract
code
Petri net
Data
conditions
A, B, g1. . .
Check application
completeness
Check credit
history
Assess
credit risk
Application
complete?
Pledged
property?
New loan
application
Application
disqualified
Assess
eligibility
Application
assessed
AB
C
D
E
F
GH
Appraise
property
g1
g2
g3
g4
g5
Dummy task to
be added here
τ
S
S
y
P(S,y)
y
M
x M
P(M,y)P(x,M)
x
y1
y2
y1
y2
x
P(G,y1)
P(x,G)
P(G,y2)
P(G,y1)
P(G,y2)
P(x,G)
x
E
E
P(x,E)
T
P(T,y)P(x,T)
yx T
x1
y
P(x1,G)
P(x2,G)
P(G,y)
x2
y
P(G,y)
P(x1,G)
P(x2,G)
x1
x2
y1
y2T
x
P(G,y1)
P(G,y2)
M
T
P(x,G)
M
τ
τ
τ
τ
τ
τ
T1
T0T2
T3
T1
T2
T0T3
p0
p1p2
p3
p4
p5
p6
p7
(P, Q)
[¬P]
[P]
[P∧¬Q]
[PQ]
τ
τ
true true
h 7→ i = h i ∅
← ∪
∈ 6∈
true
[A, B, g1, g2, g3, E , . . .]
A, true
A B
true
{(A, true),(B, true)}
g1
{(A, true),(B, true),(g1, true)}g1
g2
(true P)P P
[A, B, g1, g2, g3, E , . . .]
E
{(A, true),(B, true),(g1, true),(g2, P ),(g3, P ),(E, P Q)}Q
P Q B E
E
true E
true
τ
τ
{C, D, E , τ}
B P Q B
(P, Q)B
p020
A A
p0p1
p1
21
B P
Q2021
τ
τ
τ
B E
τ B
p2
P Q
p1
P
Q
p3PQ
p3P∧ ¬Q
B P
E τ E
B Q
E
B p2p3PQ
E
25×
0
200
400
600
800
1000
1200
Number of active instances
Blocks since start of experiment
Default
Opt-CF
Opt-Full
0
50
100
150
200
250
Number of transactions
Blocks since start of experiment
Smooth 20 (avg over 20 blocks)
Default
Opt-CF
Opt-Full
... Specifically, it checks whether the invoking client corresponds to the predefined sender during the modeling phase, as determined by the MSPID (lines 7-13). Additionally, it ensures that the message state is Enable, allowing only messages in this state to invoke the method (lines [14][15][16][17]. Upon meeting these condition, the method transitions the message state to WAIT-FOR-CONFIRM, indicating that the message awaits confirmation of its content's validity by the receiver (line 18). ...
... If this condition is met, the gateway proceeds to update its own state to DONE(lines 11). Following this, the contract evaluates the output flows of the Exclusive Gateway (lines [13][14][15][16][17]. It constructs an if-else structure based on the output flows, with the conditions specified in the sequence flows serving as the decision criteria. ...
... The tool also employs Petri-net execution semantics and further optimizes smart contract generation by reducing Petri-net spaces to minimize gas consumption. Di Ciccio, Claudio et al. [15] summarize two tools, one of which is [31], integrating the registry editor Regerator and implementing BPMN translation algorithms from both [33] and [17]. It also supports asset control and access control to restrict access to operations and data. ...
... In [35], Xu et al. propose a method to translate DCR graphs to TEAL contracts. In contrast, we study a petri-net based translation technique as proposed in [10], but adapted for BPMN Choreographies. More importantly, our study also differs in scope. ...
... Since García-Bañuelos et al. [10], the state of the art in optimised code generation for smart contracts is to parse a process model into a petri net, which can then be reduced according to equivalence rules. In the target output, the marking of this net is then encoded as a bit array (the net is 1-safe), which allows efficient storage as an unsigned integer i ∈ N 0 . ...
... For the purpose of this study, we made use of this to implement a target for the Algorand virtual machine (AVM). The AVM's native language is TEAL, an assembly-like 10 Remark. The number of supported places is limited by the virtual machine's supported unsinged integer size. ...
... A CMS faces several challenges that impact its efficiency and effectiveness. Centralized control and dependency create bottlenecks, leading to lengthy registration processing times [13]. This makes it difficult for creators and rights holders to protect and manage their works promptly. ...
... [4] is the method proposed by Weber et al. for executing BPMN choreography on Ethereum, which addresses trust issues in cross-organizational collaboration without the need for an authoritative body. [40] summarizes two tools, one of which is a tool called Lorikeet [30,31], integrating the registry editor Regerator and implementing BPMN translation algorithms from both [4] and [41]. ...
Preprint
Full-text available
In the rapidly evolving digital business landscape, organizations increasingly need to collaborate across boundaries to achieve complex business objectives, requiring both efficient process coordination and flexible decision-making capabilities. Traditional collaboration approaches face significant challenges in transparency, trust, and decision flexibility, while existing blockchain-based solutions primarily focus on process execution without addressing the integrated decision-making needs of col-laborative enterprises. This paper proposes BlockCollab, a novel model-driven framework that seamlessly integrates Business Process Model and Notation (BPMN) with Decision Model and Notation (DMN) to standardize and implement collaborative business processes and decisions on permissioned blockchain platforms. Our approach proposes a multi-party collaboration lifecycle supported by BlockCollab, and automatically translates integrated BPMN-DMN models into smart contracts(SCs) compatible with Hyperledger Fabric, enabling privacy-aware multi-organizational process execution through blockchain-based Attribute-Based Access Control (ABAC). The framework introduces three key innovations: (1) a standardized method for modeling collaborative processes and decisions using integrated BPMN-DMN model, (2) an automated SC generator that preserves both process logic and decision rules while maintaining privacy constraints, and (3) a hybrid on-chain/off-chain execution environment that optimizes collaborative workflows through secure data transfer and external system integration. Experimental evaluation across 11 real-world collaboration scenarios demonstrates that our approach achieves 100% accuracy in process execution. Furthermore , an analysis of various execution processes highlights the strong practical applicability and reliability of our approach. The proposed framework includes an open-source 1 third-party collaboration platform based on blockchain.
... The Blockchain consists of a sequential series of blocks, which store sets of transaction record packages affixed to the Blockchain. Each block is linked to the prior blocks via a cryptographic link that is exclusive to each block and is provided in the chain over time (Gartner, 2019;Gupta, 2018;García-Bañuelos et al., 2017), where and design is provided in figure 1. Anyone with access rights can trace any previous transaction and the parties involved. This leads to a high level of confidence that all transactions can be linked to its source (Gupta, 2018). ...
Article
Full-text available
Blockchain technology has great potential for widespread application in education. Although the scope of work on the use of Blockchain in higher education institutions has increased in recent years, it is still a few, and lack methodical review has been carried out on this issue. Therefore, the present study concentrated on the potential use of Blockchain technology in institutions of higher learning. This study also discusses the benefits of Blockchain technology by exploring some of Blockchain's accessible applications for educational purposes. Also, this research used the quantitative method and surveyed academics. The surveys were completed by academics who understood Blockchain well. The investigation of the survey is accessible based on a valid response from 125 academics. A specified investigation of the results of every topic became conducted. This assessment also offers insights into other areas of learning that can gain from Blockchain technology.
... The first use of blockchain technology in the field of business process management mapped processes models entirely on blockchains by translating models to Smart Contracts (Weber et. al. 2016, García-Bañuelos et. al. 2017, López-Pintado et. al. 2019. This initial approach of mapping all data (including actors, gateways, etc.) on the blockchain is problematic for several reasons: Generally, when implementing processes, which involve multiple stakeholders, two fundamental obstacles occur. Firstly, basic privacy requirements of companies are violated: compa ...
Conference Paper
Full-text available
Existing challenges in policy, practice, and digital innovation, and their integration into Circular Economy (CE) result in a complex undertaking. Currently, frameworks for the digital optimization of a building’s End-of-Life (EoL) and its related processes are mainly lacking. This paper explores the digitalization of the EoL process with blockchain technology, by analysing an applied Use Case of a closed loop reuse product in Austria. A blockchain based solution designed to enhance the verifiability of the reuse process is proposed, by introducing a semi-private zero-knowledge proof application which can increase, among other things, transparency and trust to promote Circular Economy.
Preprint
Full-text available
Blockchain technology promises a sizable potential for executing inter-organizational business processes without requiring a central party serving as a single point of trust (and failure). This paper analyzes its impact on business process management (BPM). We structure the discussion using two BPM frameworks, namely the six BPM core capabilities and the BPM lifecycle. This paper provides research directions for investigating the application of blockchain technology to BPM.
Conference Paper
Full-text available
This paper addresses the problem of discovering business process models from event logs. Existing approaches to this problem strike various tradeoffs between accuracy and understandability of the discovered models. With respect to the second criterion, empirical studies have shown that block-structured process models are generally more understandable and less error-prone than unstructured ones. Accordingly, several automated process discovery methods generate block-structured models by construction. These approaches however intertwine the concern of producing accurate models with that of ensuring their structuredness, sometimes sacrificing the former to ensure the latter. In this paper we propose an alternative approach that separates these two concerns. Instead of directly discovering a structured process model, we first apply a well-known heuristic that discovers more accurate but sometimes unstructured (and even unsound) process models, and then transform the resulting model into a structured one. An experimental evaluation shows that our “discover and structure” approach outperforms traditional “discover structured” approaches with respect to a range of accuracy and complexity measures.
Conference Paper
Full-text available
Shared ledger technologies, as exemplified by Blockchain, provide a new framework for supporting business collaborations that is based on having a high-reliability, shared, trusted, privacy-preserving, nonrepudiable data repository that includes programmable logic in the form of “smart contracts”. The framework has the potential to dramatically transform business collaboration across numerous industry sectors, including finance, supply chain, food production, pharmaceuticals, and healthcare. Widespread adoption of this technology will be accelerated by the development of business-level languages for specifying smart contracts. This paper proposes that data-aware business processes, and in particular the Business Artifact paradigm, can provide a robust basis for a shared ledger Business Collaboration Language (BCL). The fundamental rationale for adopting data-aware processes is that shared ledgers focus on both data and process in equal measure. The paper examines potential advantages of the artifact-based approach from two perspectives: conceptual modeling, and opportunities for formal reasoning (verification). Broad research challenges for the development, understanding, and usage of a shared ledger BCL are highlighted.
Conference Paper
Full-text available
The integration of business processes across organizations is typically beneficial for all involved parties. However, the lack of trust is often a roadblock. Blockchain is an emerging technology for decentralized and transactional data sharing across a network of untrusted participants. It can be used to find agreement about the shared state of collaborating parties without trusting a central authority or any particular participant. Some blockchain networks also provide a computational infrastructure to run autonomous programs called smart contracts. In this paper, we address the fundamental problem of trust in collaborative process execution using blockchain. We develop a technique to integrate blockchain into the choreography of processes in such a way that no central authority is needed, but trust maintained. Our solution comprises the combination of an intricate set of components, which allow monitoring or coordination of business processes. We implemented our solution and demonstrate its feasibility by applying it to three use case processes. Our evaluation includes the creation of more than 500 smart contracts and the execution over 8,000 blockchain transactions.
Conference Paper
Full-text available
Electronic communities of decentralized autonomous organizations (DAO) that engage in agile business-network collaborations, are enabled by recent blockchain-technology related innovations using smart contracting. DAOs utilize service-oriented cloud computing in a loosely-coupled collaboration lifecycle that commences with the setup phase. The latter supports the selection of services provided and used by DAOs in combination with smart contract negotiations. Such setup phases for DAO-communities use blueprints of business-network models that DAOs populate with tentative service offers. The negotiation phase may result either in a consensual agreement, a counteroffer, or a disagreement. In the latter case, the smart contract negotiation collapses and the lifecycle returns to the beginning of the selected collaboration blueprints. To the best of our knowledge, such a smart-contracting setup lifecycle has not been formalized so far. The paper fills the gap and evaluates the model with means of model-checking methods.
Article
Full-text available
Abstract. Although workflow management emerged as a research area well over a decade ago, little consensus has been reached as to what should be essential ingredients of a workflow specification language. As a result, the market is flooded with workflow management systems, based on different paradigms and using a large variety of concepts. The goal of this paper is to establish a formal foundation for control-flow aspects of workflow specification languages, that assists in understanding fundamental properties of such languages, in particular their expressive power. Workflow languages can be fully characterized in terms of the evaluation strategy they use, the concepts they support, and the syntactic restrictions they impose. A number of results pertaining to this classification will be proven. This should not only aid those developing workflow specifications in practice, but also those developing new workflow engines.
Article
Any business, no matter what physical goods or services it produces, relies on business records. It needs to record details of what it produces in terms of concrete information. Business artifacts are a mechanism to record this information in units that are concrete, identifiable, self-describing, and indivisible. We developed the concept of artifacts, or semantic objects, in the context of a technique for constructing formal yet intuitive operational descriptions of a business. This technique, called OpS (Operational Specification), was developed over the course of many business-transformation and business-process-integration engagements for use in IBM's internal processes as well as for use with customers. Business artifacts (or business records) are the basis for the factorization of knowledge that enables the OpS technique. In this paper we present a comprehensive discussion of business artifacts—what they are, how they are represented, and the role they play in operational business modeling. Unlike the more familiar and popular concept of business objects, business artifacts are pure instances rather than instances of a taxonomy of types. Consequently, the key operation on business artifacts is recognition rather than classification.
Article
The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to create models with semantic errors. Such errors are especially serious, because errors in the early phases of systems development are among the most costly and hardest to correct. The ability to statically check the semantic correctness of models is thus a desirable feature for modelling tools based on BPMN. Accordingly, this paper proposes a mapping from BPMN to a formal language, namely Petri nets, for which efficient analysis techniques are available. The proposed mapping has been implemented as a tool that, in conjunction with existing Petri net-based tools, enables the static analysis of BPMN models. The formalisation also led to the identification of deficiencies in the BPMN standard specification.