A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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