A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition.
Lígia Maria Soares PassosStéphane JuliaBruno Francisco Martins da SilvaPublished in: SOSE (2019)
Keyphrases
- high precision
- cost function
- detection method
- experimental evaluation
- high accuracy
- similarity measure
- preprocessing
- classification method
- dynamic programming
- real world
- support vector machine
- web service composition
- segmentation method
- computational cost
- response time
- orders of magnitude
- k means
- computational complexity
- linear model
- high level