Runtime verification for business processes utilizing the Bitcoin blockchain.
Christoph PrybilaStefan SchulteChristoph HochreinerIngo WeberPublished in: Future Gener. Comput. Syst. (2020)
Keyphrases
- business processes
- business process
- web services
- business rules
- process model
- business applications
- business process models
- business objectives
- model checking
- competitive advantage
- workflow management systems
- workflow management
- ws bpel
- business process management
- inter organizational
- workflow systems
- process management
- business partners
- credit card
- business environment
- process execution
- business process reengineering
- workflow processes
- business activities
- trading partners
- electronic commerce
- data mining