Analyzing BPEL4Chor: Verification and Participant Synthesis.
Niels LohmannOliver KoppFrank LeymannWolfgang ReisigPublished in: WS-FM (2007)
Keyphrases
- formal methods
- colored petri nets
- web services
- petri net
- service composition
- service oriented
- business processes
- business process
- model checking
- information systems
- artificial intelligence
- software engineering
- neural network
- service oriented architecture
- program synthesis
- texture synthesis
- semantic web services
- face verification
- business process modeling
- real world