Ali Khebizi
Department of Computer Science
LabSTIC LaboratoryLabSTIC Laboratory,
8 May 1945 University P.O. Box 401, 24000 Guelma
This email address is being protected from spambots. You need JavaScript enabled to view it.
Abstract
We investigate the problem of extracting web ser- vices’ protocols basing on execution log events, i.e., how to recon- struct protocols’ specifications expressing the observed behaviors from service’s execution traces ?
We propose a comprehensive logic-based approach to...