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.
各種検索
サポート
ヘルプ