Verification of Functional and Non-functional Requirements of Web Service Composition.
Manman ChenTian Huat TanJun SunYang LiuJun PangXiaohong LiPublished in: ICFEM (2013)
Keyphrases
- web service composition
- service composition
- functional and non functional requirements
- web services
- functional requirements
- web services composition
- service oriented
- petri net
- ai planning
- service selection
- automated web service composition
- discrete particle swarm optimization
- composition of web services
- description language
- model checking
- service oriented architecture
- web service selection
- multi granularity
- web service compositions
- multi agent systems
- service discovery
- computational intelligence