A Validation Approach for Context-aware Applications Based on Quality-driven Petri Net Model

• Main Authors: Hsien-tsung Cho, 卓憲宗
• Other Authors: Yao-hwang Kuo
• Format: Others
• Language: en_US
• Published: 2007
• Online Access: http://ndltd.ncl.edu.tw/handle/60748348751551867110

碩士 === 國立成功大學 === 資訊工程學系碩博士班 === 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.