Formal Description and Verification of Web Service Composition Based on OOPN.
Jindian SuShanshan YuHeqing GuoPublished in: ICIC (1) (2008)
Keyphrases
- web service composition
- service composition
- web services
- discrete particle swarm optimization
- petri net
- automated web service composition
- service selection
- model checking
- web services composition
- ai planning
- description language
- semantic matching
- formal specification
- composition of web services
- web service selection
- service discovery
- service oriented
- web service compositions
- genetic algorithm
- composite services
- open source
- software architecture