点击次数：

论文类型：期刊论文

发表时间：2012-01-01

发表刊物：International Journal of Advancements in Computing Technology

收录刊物：EI、Scopus

卷号：4

期号：1

页面范围：535-549

ISSN号：20058039

摘要：With the remarkable increase of mobile worker, it is important to provide support for them to work more efficiently and conveniently in mobile environment. Compared with stationary office workers, the requirements of support for mobile workers are quite different. Mobile work support should be proactive and pervasive. This requires that the support system should be inherently context-aware. However, despite of technological possibility, context-aware support for mobile-worker is still in its infancy. Lack of unified and systematic method for the logic design of the context-aware support model is one of the problems. This paper proposes a scenario-based approach to construct context-aware support model. We firstly define a formal context-aware support model based on colored petri net, and then propose a scenario-based method which can be used in logic design phase. The method focuses on dealing with different scenarios, in particular consistency checking and model synthesis. A support model in hull painting and deck maintenance, which are two activities in ship repair, are designed according to this method.