Towards concurrent task verification in context-aware applications
Shinji Iwamoto, Ren Ohmura · 2015
For achieving advanced support in a practical context-aware system, the system requires not only to recognize a user's activity sequence but also to verify the correctness of the sequence, especially in complex work, such as medical treatment and nursing. However, since those users generally undertake multiple tasks simultaneously and perform them concurrently, the verification of a work increases in complexity. In this study, we propose a method to define a task and to verify multiple tasks that are performed concurrently. We first consider the definition of a single task by regarding it as an ordinal state machine and categorize events into three categories. Then, we propose a verification method for those concurrent tasks by assigning priorities on the transition categories. Our method has been confirmed to perform appropriately by use of a simulation that includes practical vital measurement tasks.