相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Runtime verification for business processes utilizing the Bitcoin blockchain
Christoph Prybila et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2020)
Parameterized model checking of networks of timed automata with Boolean guards
Luca Spalazzi et al.
THEORETICAL COMPUTER SCIENCE (2020)
Public and private blockchain in construction business process and information integration
Rebecca Yang et al.
AUTOMATION IN CONSTRUCTION (2020)
Engineering Trustable Choreography-based Systems using Blockchain
F. Corradini et al.
PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20) (2020)
Preparing construction supply chains for blockchain technology: An investigation of its potential and future directions
Algan Tezel et al.
FRONTIERS OF ENGINEERING MANAGEMENT (2020)
A Survey of Distributed Consensus Protocols for Blockchain Networks
Yang Xiao et al.
IEEE COMMUNICATIONS SURVEYS AND TUTORIALS (2020)
Caterpillar: A business process execution engine on the Ethereum blockchain
Orlenys Lopez-Pintado et al.
SOFTWARE-PRACTICE & EXPERIENCE (2019)
Blockchain in the built environment and construction industry: A systematic review, conceptual models and practical use cases
Jennifer Li et al.
AUTOMATION IN CONSTRUCTION (2019)
Decentralized enforcement of document lifecycle constraints
Sylvain Halle et al.
INFORMATION SYSTEMS (2018)
Parameterized model checking of rendezvous systems
Benjamin Aminof et al.
DISTRIBUTED COMPUTING (2018)
Application of RFID combined with blockchain technology in logistics of construction materials
A. Lanko et al.
INTERNATIONAL SCIENCE CONFERENCE SPBWOSCE-2017 BUSINESS TECHNOLOGIES FOR SUSTAINABLE URBAN DEVELOPMENT (2018)
Blockchains for Business Process Management - Challenges and Opportunities
Jan Mendling et al.
ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS (2018)
Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies
Adel Khaled et al.
IEEE TRANSACTIONS ON SERVICES COMPUTING (2017)
Potentials of Blockchain Technology for Construction Management
Ziga Turk et al.
CREATIVE CONSTRUCTION CONFERENCE 2017, CCC 2017 (2017)
Optimized Execution of Business Processes on Blockchain
Luciano Garcia-Banuelos et al.
BUSINESS PROCESS MANAGEMENT, BPM 2017 (2017)
Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes
Richard Hull et al.
SERVICE-ORIENTED COMPUTING, (ICSOC 2016) (2016)
CHOReOSynt: Enforcing Choreography Realizability in the Future Internet
Marco Autili et al.
22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014) (2014)
Insuring Sensitive Processes through Process Mining
Jorge Munoz-Gama et al.
2012 9TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INTELLIGENCE & COMPUTING AND 9TH INTERNATIONAL CONFERENCE ON AUTONOMIC & TRUSTED COMPUTING (UIC/ATC) (2012)
What can you verify and enforce at runtime?
Yliès Falcone et al.
International Journal on Software Tools for Technology Transfer (2011)