Dynamic Management of e-Business Services: A Situation Calculus Based Approach

Bing Li, Junichi Iijima
2007 2007 International Conference on Service Systems and Service Management  
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.
doi:10.1109/icsssm.2007.4280220 fatcat:lcozkxxgcjfpxczkiny465cyna