Skip to Main Content
In the era of e-business, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. This paper proposes a situation calculus based approach to dynamically manage e-business services in the ubiquitous and networked environment. By employing this formalism, the approach can implement service model verification and automatic composition.