Keyphrases
- web services
- formal methods
- service oriented
- service composition
- business processes
- business process
- web services composition
- business process management
- colored petri nets
- business process modeling
- service oriented architecture
- petri net
- web service composition
- description language
- database
- modeling language
- service selection
- orders of magnitude
- machine learning
- databases