Trace-Based Verification of Rule-Based Service Choreographies.

Sotiris Moschoyiannis Leandros A. Maglaras Nurulhuda A. Manaf

Published in: SOCA (2018)

Keyphrases

customer satisfaction
service quality
customer service
service providers
model checking
expert systems
data driven
face verification
data sets
management system
fuzzy logic
functional verification
protocol specification