Formal modeling and verification of a service composition approach in the social customer relationship management system.
Alireza SouriAmir Masoud RahmaniNima Jafari NavimipourReza RezaeiPublished in: Inf. Technol. People (2019)
Keyphrases
- service composition
- management system
- web service composition
- petri net model
- petri net
- web services
- service oriented
- goal driven
- qos aware
- web services composition
- social networks
- service selection
- service oriented computing
- composition of web services
- ai planning
- service integration
- formal methods
- service oriented architecture
- asynchronous communication
- ws bpel
- web service compositions
- discrete particle swarm optimization
- response time
- modeling language
- business requirements