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

Abstract

This paper proposes a framework for composing and formally verifying adaptable semantic Web services. This framework enables, on one hand, the service provider to describe and publish adaptable semantic Web services. On the other hand, it allows users to compose and verify Web services according to their contexts. By our verification process, two important properties for the composition of adaptable semantic Web services namely the liveness and the adaptability are verified. Unlike previous works, our framework permits to take into accounts context information throughout the whole Web services life cycle.