Verifying web services composition based on hierarchical colored petri nets.
Yanping YangQingPing TanYong XiaoPublished in: IHIS (2005)
Keyphrases
- web services composition
- colored petri nets
- web services
- petri net
- web service composition
- service composition
- composition of web services
- service selection
- process algebra
- highly reliable
- composite web services
- quality of service
- hierarchical structure
- service discovery
- hierarchical model
- hierarchical clustering
- information systems
- business processes
- hierarchical classification
- service oriented
- web applications
- hierarchical tree
- case study
- end to end
- orders of magnitude