A Framework for the composition and formal verification of adaptable semantic Web services.

Rihab Ben Lamine Raoudha Ben Djemaa Ikram Amous

Published in: MoMM (2018)

Keyphrases

semantic web services
formal verification
case study
service description
machine learning
knowledge base
web services
model checking