Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain.
Christoph PrybilaStefan SchulteChristoph HochreinerIngo WeberPublished in: CoRR (2017)
Keyphrases
- business processes
- business process
- web services
- process model
- model checking
- business process management
- competitive advantage
- business applications
- business objectives
- business rules
- inter organizational
- business process models
- process mining
- electronic commerce
- workflow management systems
- business environment
- workflow systems
- process management
- decision making
- service oriented architecture
- credit card
- business process modeling
- distributed systems
- supply chain
- business partners
- model driven development