earticle

영어

Recently, location-based service (LBS) is a hot issue in the field of computer applications. So many papers introducing new techniques of implementing a LBS and new application fields of LBS have been published recently. However, to the best of our knowledge, none of them discusses feasibility test in the prior to the implementation. The importance of a feasibility test for a design prior to the implementation cannot be overemphasized. This paper presents a method of feasibility test for a LBS design. Our method performs three steps. At the first step, we build a Petri net model of the LBS system which is depicted in natural language. The second step is to analyse the Petri net to find errors and flaws in the design. We also improve the Petri net model by fixing the errors and flaws in this step. A feasibility test is the third and final step. In this step, we verify if the design satisfies the user's requirement in the senses of quality of service (QoS) and of minimizing the implementation cost. The third step is performed in the manner of mathematical analysis of the Petri net.