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 users 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.
mobile commerce situation dependent service process situation calculus
Xiaojun Ding Junichi Iijima
Department of Industrial Engineering and Management Tokyo Institute of Technology Tokyo, Japan
国际会议
上海
英文
2007-09-21(万方平台首次上网日期,不代表论文的发表时间)