A New Context-aware Application Validation Method Based on Quality-driven Petri Net Models

There is a problem that the crash in devices or service components may occur during executing context-aware applications when developing multiple context-aware applications in context-aware middleware. It will lead to the abnormal execution of context-aware applications. In this paper, a method based on quality-driven Petri nets (QPN) derived from Petri nets is proposed to solve it. In this method, a context-aware application is qualified, simulated, and validated based on QPN. Through QPN, we can simulate the execution process of context-aware applications. In QPN, Petri Nets´ behavioral properties involved reachability. Reachability will detect and reflect the crash in devices or component services before executing context-aware applications.