Petri Net-Based Modelling and Analysis of Context Aware System Considering Context Timeliness

Abstract

Context-aware applications become very popular due to its providing intelligent and customized services to the front-end users. However, most of them focus on context management flow and don’t consider time constraints of context and business process. To make full use of context information in business environment and provide more accurate services, this paper extends CPN with context and proposes a merging modeling approach considering business process, context and its timeliness. Then to verify whether the time constraint of merged model is satisfied, the available time allowance algorithm is presented. Eventually, a case of intelligent care exemplifies the effectiveness of the model and algorithm.