English
Related papers

Related papers: Supporting Long-term Transactions in Smart Contrac…

200 papers

This paper addresses the challenge of creating smart contracts for applications represented using Business Process Management and Notation (BPMN) models. In our prior work we presented a methodology that automates the generation of smart…

Software Engineering · Computer Science 2025-05-29 C. G. Liu , P. Bodorik , D. Jutla

Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other…

Software Engineering · Computer Science 2025-06-04 Christian Gang Liu , Peter Bodorik , Dawn Jutla

Research on blockchains addresses multiple issues, with one being writing smart contracts. In our previous research we described methodology and a tool to generate, in automated fashion, smart contracts from BPMN models. The generated smart…

Software Engineering · Computer Science 2025-05-29 C. G. Liu , P. Bodorik , D. Jutla

In our previous research, we addressed the problem of automated transformation of models, represented using the business process model and notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN…

Software Engineering · Computer Science 2025-06-05 Christian Gang Liu , Peter Bodorik , Dawn Jutla

Blockchain technology provides a tamper-proof mechanism to execute inter-organizational business processes involving mutually untrusted parties. Existing approaches to blockchain-based process execution are based on code generation. In…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

Business process collaboration between independent parties can be challenging, especially if the participants do not have complete trust in each other. Tracking actions and enforcing the activity authorizations of participants via…

Cryptography and Security · Computer Science 2023-11-14 Balázs Ádám Toldi , Imre Kocsis

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…

Software Engineering · Computer Science 2024-12-03 Xinzhe Shen , Jiale Luo , Hao Wang , Mingyi Liu , Schahram Dustdar , Zhongjie Wang

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

BPMN is a specification language widely used by industry and researchers for business process modeling and execution. It defines clearly how to articulate its concepts, but do not provide mechanism to represent the semantics of the produced…

Software Engineering · Computer Science 2020-12-18 Sérgio Guerreiro , Pedro Sousa

Currently, inter-organizational process collaboration (IOPC) has been widely used in the design and development of distributed systems that support business process execution. Blockchain-based IOPC can establish trusted data sharing among…

Software Engineering · Computer Science 2023-03-17 Tianhong Xiong , Shangqing Feng , Maolin Pan , Yang Yu

Blockchain platforms, such as Ethereum, allow a set of actors to maintain a ledger of transactions without relying on a central authority and to deploy scripts, called smart contracts, that are executed whenever certain transactions occur.…

Software Engineering · Computer Science 2019-04-23 Orlenys López-Pintado , Luciano García-Bañuelos , Marlon Dumas , Ingo Weber , Alex Ponomarev

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…

Software Engineering · Computer Science 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

With the development of smart cities, not only are all corners of the city connected to each other, but also connected from city to city. They form a large distributed network together, which can facilitate the integration of distributed…

Networking and Internet Architecture · Computer Science 2022-06-08 Jianxiong Guo , Xingjian Ding , Weili Wu

The digital transformation of companies is expected to increase the digital interconnection between different companies to develop optimized, customized, hybrid business models. These cross-company business models require secure, reliable,…

Cryptography and Security · Computer Science 2020-07-29 Kevin Wallis , Jan Stodt , Eugen Jastremskoj , Christoph Reich

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

Computers and Society · Computer Science 2018-01-09 Henry Kim , Marek Laskowski

Blockchain has attracted broad interests to build decentralised applications. Blockchain has attracted broad interests to build decentralised applications. However, developing such applications without introducing vulnerabilities is hard…

Software Engineering · Computer Science 2020-11-11 Qinghua Lu , An Binh Tran , Ingo Weber , Hugo O'Connor , Paul Rimba , Xiwei Xu , Mark Staples , Liming Zhu , Ross Jeffery

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

Cryptography and Security · Computer Science 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing platforms allow such processes to be modeled using high-level notations and compiled into smart contracts that…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

More than eight million smart contracts have been deployed into Ethereum, which is the most popular blockchain that supports smart contract. However, less than 1% of deployed smart contracts are open-source, and it is difficult for users to…

Software Engineering · Computer Science 2020-07-21 Xiaoqi Li , Ting Chen , Xiapu Luo , Tao Zhang , Le Yu , Zhou Xu
‹ Prev 1 2 3 10 Next ›