bibliography.bib

@book{ref_article1,
  title = {LaTeX : A Documentation Preparation System User's Guide and Reference Manual},
  publisher = {Addison-Wesley Professional},
  year = {1994},
  author = {Leslie Lamport}
}

@article{ref_lncs1,
    title = {Natural Deduction as Higher-Order Resolution},
    journal = {The Journal of Logic Programming},
    year={1986},
    author = {Lawrence Paulson}
}

@article{ref_book1,
    title = {Isabelle/PIDE after 10 years of development},
    year = {2018},
    journal = {UITP workshop: User Interfaces for Theorem Provers},
    author = {Makarius Wenzel}
}


@inproceedings{akhtar_blockchain_2020,
	title = {Blockchain Based Auditable Access Control for Distributed Business Processes},
	doi = {10.1109/ICDCS47774.2020.00015},
	abstract = {The use of blockchain technology has been proposed to provide auditable access control for individual resources. However, when all resources are owned by a single organization, such expensive solutions may not be needed. In this work we focus on distributed applications such as business processes and distributed workflows. These applications are often composed of multiple resources/services that are subject to the security and access control policies of different organizational domains. Here, blockchains can provide an attractive decentralized solution to provide auditability. However, the underlying access control policies may be overlapping in terms of the component conditions/rules, and simply using existing solutions would result in repeated evaluation of user's authorization separately for each resource, leading to significant overhead in terms of cost and computation time over the blockchain. To address this challenge, we propose an approach that formulates a constraint optimization problem to generate an optimal composite access control policy. This policy is in compliance with all the local access control policies and minimizes the policy evaluation cost over the blockchain. The developed smart contract(s) can then be deployed to the blockchain, and used for access control enforcement. We also discuss how the access control enforcement can be audited using a game-theoretic approach to minimize cost. We have implemented the initial prototype of our approach using Ethereum as the underlying blockchain and experimentally validated the effectiveness and efficiency of our approach.},
	eventtitle = {2020 {IEEE} 40th International Conference on Distributed Computing Systems ({ICDCS})},
	pages = {12--22},
	booktitle = {2020 {IEEE} 40th International Conference on Distributed Computing Systems ({ICDCS})},
	author = {Akhtar, Ahmed and Shafiq, Basit and Vaidya, Jaideep and Afzal, Ayesha and Shamail, Shafay and Rana, Omer},
	date = {2020-11},
	note = {{ISSN}: 2575-8411},
	keywords = {Blockchain, Access control, Access Control, Business Processes, Constraint optimization, Distributed computing, Organizations, Process control, Prototypes, Workflows, {XACML}},
	file = {Accepted Version:C\:\\Users\\denis\\Zotero\\storage\\K4XGYVSC\\Akhtar et al. - 2020 - Blockchain Based Auditable Access Control for Dist.pdf:application/pdf;IEEE Xplore Abstract Record:C\:\\Users\\denis\\Zotero\\storage\\LX3XHNDE\\9355624.html:text/html},
}

@inproceedings{alves_exploring_2022,
	title = {Exploring Blockchain Technology to Improve Multi-party Relationship in Business Process Management Systems},
	isbn = {978-989-758-423-7},
	url = {https://www.scitepress.org/Link.aspx?doi=10.5220/0009565108170825},
	abstract = {Digital Library},
	eventtitle = {22nd International Conference on Enterprise Information Systems},
	pages = {817--825},
	author = {Alves, Paulo and Paskin, Ronnie and Frajhof, Isabella and Miranda, Yang and Jardim, João and Cardoso, Jose and Tress, Eduardo and Cunha, Rogério Ferreira da and Nasser, Rafael and Robichez, Gustavo},
	urldate = {2022-11-26},
	date = {2022-11-26},
	file = {Snapshot:C\:\\Users\\denis\\Zotero\\storage\\AMLHCJKR\\Link.html:text/html},
}

@inproceedings{atzei2017survey,
  title={A survey of attacks on ethereum smart contracts (sok)},
  author={Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana},
  booktitle={Principles of Security and Trust: 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 6},
  pages={164--186},
  year={2017},
  organization={Springer}
}

@article{biswas_pobt_2020,
	title = {{PoBT}: A Lightweight Consensus Algorithm for Scalable {IoT} Business Blockchain},
	volume = {7},
	issn = {2327-4662},
	doi = {10.1109/JIOT.2019.2958077},
	shorttitle = {{PoBT}},
	abstract = {Efficient and smart business processes are heavily dependent on the Internet of Things ({IoT}) networks, where end-to-end optimization is critical to the success of the whole ecosystem. These systems, including industrial, healthcare, and others, are large scale complex networks of heterogeneous devices. This introduces many security and access control challenges. Blockchain has emerged as an effective solution for addressing several such challenges. However, the basic algorithms used in the business blockchain are not feasible for large scale {IoT} systems. To make them scalable for {IoT}, the complex consensus-based security has to be downgraded. In this article, we propose a novel lightweight proof of block and trade ({PoBT}) consensus algorithm for {IoT} blockchain and its integration framework. This solution allows the validation of trades as well as blocks with reduced computation time. Also, we present a ledger distribution mechanism to decrease the memory requirements of {IoT} nodes. The analysis and evaluation of security aspects, computation time, memory, and bandwidth requirements show significant improvement in the performance of the overall system.},
	pages = {2343--2355},
	number = {3},
	journaltitle = {{IEEE} Internet of Things Journal},
	author = {Biswas, Sujit and Sharif, Kashif and Li, Fan and Maharjan, Sabita and Mohanty, Saraju P. and Wang, Yu},
	date = {2020-03},
	note = {Conference Name: {IEEE} Internet of Things Journal},
	keywords = {Blockchain, Internet of Things, Business, consensus, Cryptography, distributed ledger technology, Fabrics, Internet of Things ({IoT}), interoperability, ledger size, Peer-to-peer computing, scalability, transaction rate},
	file = {IEEE Xplore Abstract Record:C\:\\Users\\denis\\Zotero\\storage\\BEZKCVGW\\8926457.html:text/html},
}

@inproceedings{di_ciccio_business_2020,
	location = {Cham},
	title = {Business Process Monitoring on Blockchains: Potentials and Challenges},
	isbn = {978-3-030-49418-6},
	doi = {10.1007/978-3-030-49418-6_3},
	series = {Lecture Notes in Business Information Processing},
	shorttitle = {Business Process Monitoring on Blockchains},
	abstract = {The ability to enable a tamper-proof distribution of immutable data has boosted the studies around the adoption of blockchains also in Business Process Management. In this direction, current research work primarily focuses on blockchain-based business process design, or on execution engines able to enact processes through smart contracts. Although very relevant, less studies have been devoted so far on how the adoption of blockchains can be beneficial to business process monitoring. This work goes into this direction by providing an insightful analysis to understand the benefits as well as the hurdles of blockchain-enabled business process monitoring. In particular, this work considers the adoption of programmable blockchain platforms to manage the generation, distribution, and analysis of business process monitoring data.},
	pages = {36--51},
	booktitle = {Enterprise, Business-Process and Information Systems Modeling},
	publisher = {Springer International Publishing},
	author = {Di Ciccio, Claudio and Meroni, Giovanni and Plebani, Pierluigi},
	editor = {Nurcan, Selmin and Reinhartz-Berger, Iris and Soffer, Pnina and Zdravkovic, Jelena},
	date = {2020},
	langid = {english},
	keywords = {Blockchain, Business Process Management, Business process monitoring},
	file = {Full Text PDF:C\:\\Users\\denis\\Zotero\\storage\\JL5KADPY\\Di Ciccio et al. - 2020 - Business Process Monitoring on Blockchains Potent.pdf:application/pdf},
}

@inproceedings{fang_workflow_2020,
	location = {Cham},
	title = {A Workflow Interoperability Approach Based on Blockchain},
	isbn = {978-3-030-38651-1},
	doi = {10.1007/978-3-030-38651-1_24},
	series = {Lecture Notes in Computer Science},
	abstract = {Workflow interoperability generally refers to the ability for workflow enactment services to coordinate work. However, the lack of trust is often a roadblock, especially when workflow enactment services interoperate across organizational boundaries. Blockchain technology is a technology for data sharing across a network of untrusted participants. In this paper, we propose a blockchain-based workflow interoperability approach. Workflow enactment services communicate and interoperate with each other via blockchain instead of trusting a central authority, but trust is maintained. Furthermore, blockchain documents interoperation of workflow enactment services, such an audit trail can be used to depict a complete inter-organizational collaboration. Our approach comprises the combination of an interoperability interface and a general interoperability service. Interoperability service runs on a blockchain environment, and workflow enactment services can call interoperability service through their interoperability interface to communicate with each other. We implement the prototype of our approach and demonstrate its feasibility by applying it to an inter-organizational collaboration case. We evaluate our approach mainly via conducting a performance evaluation.},
	pages = {303--317},
	booktitle = {Internet of Vehicles. Technologies and Services Toward Smart Cities},
	publisher = {Springer International Publishing},
	author = {Fang, Yuchen and Tang, Xuanzhao and Pan, Maolin and Yu, Yang},
	editor = {Hsu, Ching-Hsien and Kallel, Sondès and Lan, Kun-Chan and Zheng, Zibin},
	date = {2020},
	langid = {english},
	keywords = {Blockchain, Inter-organizational collaboration, Workflow enactment service, Workflow interoperability},
}

@book{henry_cross-collaboration_2021,
	title = {Cross-Collaboration Processes based on Blockchain and {IoT}: a survey},
	isbn = {978-0-9981331-4-0},
	url = {http://hdl.handle.net/10125/71138},
	shorttitle = {Cross-Collaboration Processes based on Blockchain and {IoT}},
	abstract = {Cross-collaboration processes are decentralized by nature and their centralized monitoring can trigger mistrust. Nevertheless, a decentralized monitoring facility such as a blockchain-based and Internet-of-Things-aware ({IoT}-aware) business process management system can reduce this pitfall. However, concerns related to usability, privacy, and performance, hamper the wide adoption of these systems. To better understand the challenges at stake, this paper reviews the use of blockchain and {IoT} devices in cross-collaboration processes. This survey sheds some light on standard uses such as model engineering or permissioned blockchains which help adopt cross-collaboration business process management systems. Moreover, with respect to process design, two schools of thought coexist, addressing both constrained and loosely processes. Furthermore, a focus on data-centric processes appears to get some momentum, as many industries go digital. Finally, this survey underlines the need to orient future research towards a more flexible, scalable, and data-aware blockchain-based business process management system.},
	author = {Henry, Tiphaine and Laga, Nassim and Hatin, Julien and Gaaloul, Walid and Boughzala, Imed},
	urldate = {2022-11-26},
	date = {2021-01-05},
	file = {Full Text PDF:C\:\\Users\\denis\\Zotero\\storage\\FE2I6KA2\\Henry et al. - 2021 - Cross-Collaboration Processes based on Blockchain .pdf:application/pdf;Snapshot:C\:\\Users\\denis\\Zotero\\storage\\C7D32R93\\d3cbbc8c-917f-42ad-b0c2-412ddd85ab92.html:text/html},
}

@article{lopez-pintado_controlled_2022,
	title = {Controlled flexibility in blockchain-based collaborative business processes},
	volume = {104},
	issn = {0306-4379},
	url = {https://www.sciencedirect.com/science/article/pii/S0306437920300946},
	doi = {10.1016/j.is.2020.101622},
	abstract = {Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing tools allow such processes to be modeled using high-level notations and compiled into smart contracts that can be deployed on blockchain platforms. However, these tools do not provide mechanisms to cope with the flexibility requirements inherent to open and dynamic collaboration environments. In particular, existing tools adopt a static role binding approach wherein roles are bound to actors upfront when a process instance is created. Also, these tools do not allow participants to collectively make choices regarding alternative sub-processes or branches in the process model, at runtime. This paper presents a model for dynamic binding of actors to roles in collaborative processes and an associated binding policy specification language. The proposed language is endowed with a Petri net semantics, thus enabling policy consistency verification. Furthermore, the paper introduces a model for consensus-based control-flow flexibility, wherein participants in a process can collectively agree on how to steer the business process within the boundaries defined by control-flow agreement policies. The paper also outlines an approach to compile policy specifications into smart contracts for enforcement. An experimental evaluation shows that the cost of policy enforcement increases linearly with the number of roles, control-flow elements, and policy constraints.},
	pages = {101622},
	journaltitle = {Information Systems},
	shortjournal = {Information Systems},
	author = {López-Pintado, Orlenys and Dumas, Marlon and García-Bañuelos, Luciano and Weber, Ingo},
	urldate = {2022-11-26},
	date = {2022-02-01},
	langid = {english},
	keywords = {Blockchain, Collaborative business process, Flexibility},
	file = {ScienceDirect Snapshot:C\:\\Users\\denis\\Zotero\\storage\\LZHDHJHR\\S0306437920300946.html:text/html},
}

@inproceedings{milani_business_2020,
	title = {Business Process Redesign Heuristics for Blockchain Solutions},
	doi = {10.1109/EDOC49727.2020.00033},
	abstract = {Blockchain has emerged as one of the most promising and revolutionary technologies in the past years. Companies are exploring use cases in the hope of reaping benefits from this technology. However, to achieve the desired impact, it is not sufficient to merely replace existing technologies. Current business processes must be redesigned to realize benefits. This paper shows how a number of best practices for Business Process Redesign can be applied to leverage blockchain technology. Specifically, we adapt these best practices for redesigning processes intended to execute on blockchain. We further explore their applicability using a case study. The major elements of process redesign for blockchain are: (1) changing the view from intra- to inter-organizational processes by using the shared data ledger of blockchain, (2) using smart contracts performers of tasks and connectors of processes, (3) using blockchain as means for data communication, and (4) using tokens to manage digitally represented assets.},
	eventtitle = {2020 {IEEE} 24th International Enterprise Distributed Object Computing Conference ({EDOC})},
	pages = {209--216},
	booktitle = {2020 {IEEE} 24th International Enterprise Distributed Object Computing Conference ({EDOC})},
	author = {Milani, Frederik and García-Bañuelos, Luciano and Reijers, Hajo A. and Stepanyan, Lilit},
	date = {2020-10},
	note = {{ISSN}: 2325-6362},
	keywords = {Blockchain, business process management, Smart contracts, Task analysis, Collaboration, Automation, Best practices, blockchain, business process redesign, Memory},
	file = {IEEE Xplore Abstract Record:C\:\\Users\\denis\\Zotero\\storage\\YD4M9IXS\\9233248.html:text/html},
}

@inproceedings{muller_silver_2020,
	location = {Cham},
	title = {Silver Bullet for All Trust Issues? Blockchain-Based Trust Patterns for Collaborative Business Processes},
	isbn = {978-3-030-58779-6},
	doi = {10.1007/978-3-030-58779-6_1},
	series = {Lecture Notes in Business Information Processing},
	shorttitle = {Silver Bullet for All Trust Issues?},
	abstract = {In recent years, the advancing digitization and internationalization of business processes led to increasing inter-organizational collaboration. In such collaborative processes, different organizations work together towards a single objective. Usually, subprocesses carried out by one collaborator are beyond the domain of influence of all other collaborators. This leads to uncertainty regarding the execution of the collaborative business process. If collaborators still want to engage in the process, trust is needed. Several studies identified blockchain and distributed ledger technologies as a promising tool to enhance trust in business processes. Therefore, this paper proposes and analyzes a taxonomy of blockchain-based trust design patterns from a process-centric perspective. Process engineers can utilize the taxonomy as an overview of how the blockchain technology can enhance trust in collaborative processes.},
	pages = {3--18},
	booktitle = {Business Process Management: Blockchain and Robotic Process Automation Forum},
	publisher = {Springer International Publishing},
	author = {Müller, Marcel and Ostern, Nadine and Rosemann, Michael},
	editor = {Asatiani, Aleksandre and García, José María and Helander, Nina and Jiménez-Ramírez, Andrés and Koschmider, Agnes and Mendling, Jan and Meroni, Giovanni and Reijers, Hajo A.},
	date = {2020},
	langid = {english},
	keywords = {Blockchain, Business process management, Trust},
	file = {Submitted Version:C\:\\Users\\denis\\Zotero\\storage\\7JGFLUIZ\\Müller et al. - 2020 - Silver Bullet for All Trust Issues Blockchain-Bas.pdf:application/pdf},
}

@article{prybila_runtime_2020,
	title = {Runtime verification for business processes utilizing the Bitcoin blockchain},
	volume = {107},
	issn = {0167-739X},
	url = {https://www.sciencedirect.com/science/article/pii/S0167739X1731837X},
	doi = {10.1016/j.future.2017.08.024},
	abstract = {The usage of process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business process orchestration. In choreographies, control over a process instance is shared between independent parties, and no party has full control or knowledge during process runtime. Nevertheless, it is necessary to monitor and verify process instances during runtime for purposes of documentation, accounting, or compensation. To achieve business process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the process participants. Furthermore, the prototype is evaluated in a performance analysis.},
	pages = {816--831},
	journaltitle = {Future Generation Computer Systems},
	shortjournal = {Future Generation Computer Systems},
	author = {Prybila, Christoph and Schulte, Stefan and Hochreiner, Christoph and Weber, Ingo},
	urldate = {2022-11-26},
	date = {2020-06-01},
	langid = {english},
	keywords = {Blockchain, Business process management, Choreographies, Runtime verification},
	file = {ScienceDirect Snapshot:C\:\\Users\\denis\\Zotero\\storage\\CVXH8XZC\\S0167739X1731837X.html:text/html;Submitted Version:C\:\\Users\\denis\\Zotero\\storage\\55BCUBIT\\Prybila et al. - 2020 - Runtime verification for business processes utiliz.pdf:application/pdf},
}

@article{rimba_quantifying_2020,
	title = {Quantifying the Cost of Distrust: Comparing Blockchain and Cloud Services for Business Process Execution},
	volume = {22},
	issn = {1572-9419},
	url = {https://doi.org/10.1007/s10796-018-9876-1},
	doi = {10.1007/s10796-018-9876-1},
	shorttitle = {Quantifying the Cost of Distrust},
	abstract = {Blockchain is of rising importance as a technology for engineering applications in cross-organizational settings, avoiding reliance on central trusted third-parties. The use of blockchain, instead of traditional databases or services, is an architectural choice in the development of a software system. Architecture impacts the non-functional qualities of systems, creating design trade-offs between these qualities. The costs of execution and storage are important non-functional qualities, but as yet little is known about them for blockchain-based systems. How expensive is it to use blockchains compared to conventional execution and storage infrastructure? We investigate this question using business process execution as a lens. Specifically, we compare the cost for computation and storage of business process execution on blockchain vs. a popular cloud service. Besides monetary cost, blockchains like Ethereum limit the complexity of new blocks by capping costs through network-defined limits. For applications using such blockchains, the limit per block, thus, translates into an upper bound on throughput scalability. First, we implement and measure the cost of business process execution on blockchain and cloud services for a business process model from a large-scale industrial dataset and an example from literature. We observe two orders of magnitude difference in this cost. Second, we illustrate how cost models can be used to project the impact of different workload assumptions. Finally, we discuss throughput scalability limits as well as trade-offs between cost and other non-functional qualities in the design of blockchain-based systems.},
	pages = {489--507},
	number = {2},
	journaltitle = {Information Systems Frontiers},
	shortjournal = {Inf Syst Front},
	author = {Rimba, Paul and Tran, An Binh and Weber, Ingo and Staples, Mark and Ponomarev, Alexander and Xu, Xiwei},
	urldate = {2022-11-26},
	date = {2020-04-01},
	langid = {english},
	keywords = {Blockchain, Business process, Cloud, Cost, Design},
}

@inproceedings{schinle_integration_2020,
	title = {Integration, Execution and Monitoring of Business Processes with Chaincode},
	doi = {10.1109/BRAINS49436.2020.9223283},
	abstract = {The digitization of business processes makes it possible to automate and monitor their execution in real-time and thus to optimize them. However, for inter-organizational business processes the lack of trust and transparency between organizations makes it difficult to realize this potential. Distributed Ledger Technology addresses this issue by design, which makes it attractive as a platform for the execution of digitized inter-organizational business processes. In research, especially the mapping of standardized business process notations on smart contract definition languages is discussed recently, to ease the process development for different kinds of stakeholders. Within this work, we present an approach for the integration, execution and monitoring of modeled business processes based on Hyperledger Fabric’s chaincode. Our aim is the reduction of required knowledge about this framework for the integration of business processes in such systems. Therefore, we introduce a reverse translation approach to enable the monitoring of processes defined within a chaincode by providing {BPMN} 2.0 models, that specify business processes as graphical representations.},
	eventtitle = {2020 2nd Conference on Blockchain Research \& Applications for Innovative Networks and Services ({BRAINS})},
	pages = {63--70},
	booktitle = {2020 2nd Conference on Blockchain Research \& Applications for Innovative Networks and Services ({BRAINS})},
	author = {Schinle, Markus and Erler, Christina and Andris, Philip Nicolai and Stork, Wilhelm},
	date = {2020-09},
	keywords = {Blockchain, Distributed ledger, Smart contracts, Organizations, Brain modeling, Business Process Model and Notation, chain-code, Distributed Ledger Technology, Hyperledger Fabric, Inter-organizational Business Process Management, Process monitoring, Process Monitoring, Real-time systems, Standards organizations},
	file = {IEEE Xplore Abstract Record:C\:\\Users\\denis\\Zotero\\storage\\XRCU3YBP\\9223283.html:text/html},
}