Formal Verification for Feature-Based Composition of Workflows.
Stephan AdelsbergerBashar IgriedMarkus MoserVadim SavenkovAnton SetzerPublished in: EDCC (2018)
Keyphrases
- service composition
- web service composition
- formal verification
- web services
- web services composition
- model checking
- bounded model checking
- symbolic model checking
- transactional properties
- automated verification
- data processing
- model checker
- image features
- program slicing
- workflow management systems
- business process
- inter organizational
- control flow
- workflow systems
- multi agent systems
- knowledge base