Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1.
Kais KlaiSamir TataHanen OchiPublished in: Int. J. Web Serv. Res. (2012)
Keyphrases
- web service composition
- service composition
- high level
- web services
- service selection
- domain specific
- web services composition
- petri net
- discrete particle swarm optimization
- automated web service composition
- description language
- web service selection
- formal methods
- ai planning
- composition of web services
- genetic algorithm
- description languages
- formal specification
- web service compositions