Keyphrases
- business process management
- web services
- business process
- business processes
- service oriented
- formal methods
- service composition
- web services composition
- colored petri nets
- petri net
- process model
- business process execution language
- process management
- description language
- service oriented architecture
- workflow management systems
- web service composition
- business process modeling
- information systems
- artificial intelligence
- service selection
- test suite
- modeling language
- semantic annotation