Keyphrases
- web services
- service oriented
- business process
- service composition
- business processes
- input output
- composition of web services
- web services composition
- formal methods
- semi automated
- fully automated
- generation process
- data driven
- computer aided
- semi automatic
- web service composition
- petri net
- operating system
- colored petri nets