Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.
Ikram GarfattaKaïs KlaiMahamed GraïetWalid GaaloulPublished in: ICSOC Workshops (2020)
Keyphrases
- formal verification
- business processes
- coloured petri nets
- business process
- model checking
- web services
- model checker
- workflow management systems
- workflow systems
- business process management
- inter organizational
- workflow management
- business process models
- process model
- business rules
- process management
- business objectives
- ws bpel
- competitive advantage
- business applications
- temporal constraints
- business process modeling