| Summary: | 碩士 === 國立成功大學 === 資訊工程學系碩博士班 === 95 === Three major problems may affect the reliability of context-aware applications. The first problem is that the expected status of context-aware applications may be not reacha-ble. Secondly, the overloading actuators may lead to the unexpected failure or degrade the quality of context-aware applications because of the limited resources. Finally, the resource preemption among context-aware applications may lead to the deadlock. Then, it will cause that context-aware applications can not achieve users’ requirements. However, there are still no mature validation approaches to prevent such problems. In this paper, a validation approach based on a Petri net is proposed to solve these problems.
To analyze these problems, the workflow of multiple context-aware applications is modeled by Quality-driven Petri Net (QPN). On the basis of QPN, we propose an ap-proach for validating the reliability of the workflow.
In this paper, Context-aware QPN-based Validator (CQV) that we developed can help users model the workflow of multiple context-aware applications. Through the mod-el, the reliability of multiple context-aware applications is validated. Finally, we design and plan a study case to illustrate the physical process of multiple context-aware applica-tions.
|
|---|
