Context-Aware Workflow Management Based on Formal Knowledge Representation Models

In existing literature, different methodologies for the design of context-aware systems have been proposed. However, workflow models have not been considered in these methodologies. Despite the fact that many context-awareness projects have been launched, few address the issues of context-aware user interface generation and automated resource allocation. Our interests in this paper are to propose a framework to develop workflow driven context-aware human computer interaction to effectively control resource allocation. To achieve the objective, a model for knowledge management is required. In existing literature, one formal knowledge representation and reasoning model is Petri net. We first propose Petri net models to describe the workflows in the systems. Next, we propose models to capture resource activities in the systems. Finally, the interactions between workflows and resources are combined to obtain a complete model for the systems. Based on the aforementioned model, we propose architecture to automatically generate context-aware graphical user interface to guide the users and control resource allocation.