Dynamic Management of e-Business Services: A Situation Calculus Based Approach
Bing Li, Junichi Iijima · 2007
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.