A Framework for Modeling Situation Dependent Service Process

The use of situational information is becoming increasingly important in the domain of mobile commerce. Applications and services in mobile environments are expected to be situation dependent in order to adapt themselves to continuously changing situations. However, little attention has been given to the issue on modeling situation dependent service process formally to understand a user's situation better and further enable us to promote the implementation of situation dependent applications and services. In this paper, we present a framework for modeling situation dependent service process based on the situation calculus. We also propose a systematic and stepwise approach that allows specifications of the service process to be formulated so as to facilitate development of various situation dependent applications and services.