A model-driven approach for the verification of an adaptive service composition.
Sara ZatoutMahmoud BoufaïdaMaya Souilah BenabdelhafidMohamed Lamine BerkanePublished in: Int. J. Web Eng. Technol. (2020)
Keyphrases
- service composition
- petri net model
- web service composition
- service oriented architecture
- petri net
- service oriented
- web services
- qos aware
- web services composition
- goal driven
- service oriented computing
- service integration
- composition of web services
- asynchronous communication
- service discovery
- model checking
- service selection
- ai planning
- neural network
- metamodel
- ws bpel
- adaptive learning
- business requirements
- web service selection
- network architecture
- discrete particle swarm optimization
- end to end